Séminaire "Vérification": période 00-01

• 25-06-2001
• Paul Gastin
• (LIAFA)
• Logiques temporelles locales pour les traces

• 11-06-2001
• Peter Habermehl
• (LIAFA)
• Automatic Verification of Recursive Procedures with one Integer Parameter

• 28-05-2001
• Pierre-Yves Schobbens
• ( Institut d'Informatique, Namur, Belgique)
• Agents and Roles: Refinement in Alternating-Time Temporal Logic

• 21-05-2001
• Madhavan Mukund
• (Chennai Mathematical Institute, india)
• Faster Model Checking for Open Systems

• 14-05-2001
• Duncan Clarke et Vlad Rusu
• (IRISA/INRIA Rennes)
• STG : Symbolic Test Generation Technique and Tool

• 07-05-2001
• Madhavan Mukund
• (Chennai Mathematical Institute, india)
• When is an MSC specification finite-state?

• 30-04-2001
• Pierre Le Maigat
• (IRISA)
• Modélisation des équations d'évolution des réseaux de Petri temporisés

• 02-04-2001
• Pierre-Louis Curien
• (PPS)
• Sémantique opérationnelle et machines abstraites: une petite visite et un point de vue logique

• 19-03-2001
• Antoine Petit
• (LSV, ENS Cachan)
• An algebraic characterization of data and timed languages.

• 12-03-2001
• Paul-André Mellies
• (PPS)
• Introduction à la réécriture axiomatique

• 05-03-2001
• Vincent Danos
• (PPS)
• Introduction à la Sémantique des Jeux

• 26-02-2001
• Philippe Schnoebelen
• (LSV, ENS Cachan)
• Bisimulation et autres équivalences indécidables pour les systèmes à canaux non-fiables.

• 19-02-2001
• Helmut Seidl
• (Université de Trier)
• Analyzing Analyzers

• 12-02-2001
• Eugène Asarin
• (VERIMAG)
• Machines de Turing et systèmes hybrides perturbés

• 05-02-2001
• Vlad Rusu
• (IRISA/INRIA Rennes)
• Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols

• 29-01-2001
• Anca Muscholl
• (LIAFA)
• Automates finis versus HMSC

• 22-01-2001
• Carole Delporte et Hugues Fauconnier
• (LIAFA)
• Un générique broadcast économique

• 15-01-2001
• Peter Habermehl
• (LIAFA)
• De la vérification automatique de programmes JAVA et Java Byte Code.

• 08-01-2001
• Danièle Beauquier
• (Université Paris 12)
• Classes décidables de la logique FOTL, applications à la spécification et à la vérification de programmes.

• 18-12-2000
• Mihaela Sighireanu
• (LIAFA)
• Sur la vérification des systèmes temporisés en UPPAAL -- points forts et limites

• 11-12-2000
• Luc Boasson
• (LIAFA)
• Sur les systèmes de communication FIFO avec pertes

• 04-12-2000
• Loïc Hélouët
• (IRISA Rennes)
• Analyse des exigences des systèmes répartis exprimées par des langages de scénarios

• 20-11-2000
• Hugues Fauconnier
• (LIAFA)
• Un algorithme de multi-diffusion atomique authentique résistant aux pannes

• 13-11-2000
• Richard Mayr
• (LIAFA)
• Unfoldings of Ibarra's result on reversal bounded counter machines: How does it work ?

• 30-10-2000
• Parosh Aziz Abdulla
• (Uppsala University)
• Unfoldings of Unbounded Petri Nets (and other infinite-state systems)

• 23-10-2000
• Tayssir Touili
• (LIAFA)
• Vérification de systèmes paramétrés basée sur des techniques de réécriture

• 16-10-2000
• Denis Oddoux
• (LIAFA)
• Génération efficace d'automates de Buchi à partir de formules LTL

• 09-10-2000
• Ahmed Bouajjani
• (LIAFA)
• Projet européen ADVANCE