Pierre Wolper - Recent Talks

• 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)