- Where could SPIN go next? A unifying approach to exploring infinite state spaces (Invited talk given at the 1997 SPIN workshop in Enschede, April 97).
- Partial-Order Methods for Model Checking: From Linear Time to Branching Time (Invited talk given at the ``Journées Bordelaises sur les ordres partiels et algorithmes distribués'', May 1997).
- Handling Constraints in Temporal Databases (Seminar given at the University of Antwerp, Belgium, May 1998).
- Temporal Logics and Automata (Invited talk given at the Symposoum on ``Logic and Computer Science'' organized on the occasion of the Honorary Doctorate awarded to Yuri Gurevich by the University of Limburg , Belgium, May 1998 and at the COST 15 Seminar on Non Classical Logics for Computer Science Applications, Liège, April 1998).
- Algorithms for Synthesizing Reactive Systems: A Perspective (Invited Talk given at the 8th International Workshop on Logic-based Program Synthesis and Transformation, LOPSTR'98, June 1998).
- Verifying Systems with Infinite but Regular State Spaces (Invited Talk given at the 10th International Conference on Computer Aided Verification - CAV98 - and at the ``Journees Modelisation et Verification'' - Marseilles, December 1998)
- Using and Avoiding Temporal Logic (Invited Talk given at the Seminar in the Honor of Amir Pnueli - Grenoble, December 98)
- Infinite Structures in Databases and Verification (Invited Talk given at the Dagstuhl Seminar on Finite-Model Theory, Databases, and Computer-Aided Verification - Dagstuhl, October 99)
- An introduction to model Checking (Invited tutorial given at the Summer School on Formal Methods in Performance Analysis - Nijmegen, July 2000)
- A representation Framework for Verifying Systems with Integer and Real Variables (Invited talk presented at the Workshop on the Automated Verification of Critical Systems - Oxford, April 2001)
- Dynamics and Verification, Where is the link ? (Introduction presented at the Workshop on Dynalmics and Verification - Brussels, July 2001)
- Exploring Infinite State Spaces with Finite Automata (Talk presented at the Dahsthul Seminar on Large State Spaces - Dagsthul, November 2001)
- Handling Real Arithmetic with Infinite-Word Automata (Invited talk presented at the Symposium in Honor of Moshe Vardi - Saarburecken, March 2002)
- Handling Real Arithmetic with Infinite-Word Automata (Invited talk presented at the Symposium in Honor of Zohar Manna - Cachan, Mars 2002)
- Representing Arithmetic Constraints with Automata: An overview (Invited talk presented at the Iternational Conference on Logic Programming - Copenhagen, July 2002)