Séminaire "Vérification": période 98-9918-06-1999Antoine Petit (École Normale Supérieure de Cachan)DECOMPOSITION AND COMPOSITION OF TIMED AUTOMATA10-06-1999Michael W. Mislove (Tulane University)Utilisation des traces en sémantique08-06-1999Marc Zeitoun (Université Paris 7)Deciding global partial-order properties (suite et fin)27-05-1999Marc Zeitoun (Université Paris 7)Deciding global partial-order properties20-05-1999Marc Zeitoun (Université Paris 7)Deciding global partial-order properties06-05-1999Peter Habermehl (Université Paris 7)Vérification de systèmes infinis à l'aide d'abstraction (suite)08-04-1999Peter Habermehl (Université Paris 7)Vérification de systèmes infinis à l'aide d'abstraction01-04-1999Exposés de DEA. Présentation de divers papiers25-03-1999Carole Delporte et Hugues Fauconnier (LIAFA)La Journée Pnueli de Grenoble18-03-1999Luc Boasson (Université Paris 7)Décomposition de langages par produit de mélange11-03-1999Irène Guessarian (Université Paris 6)Window-Accumulated Subsequence Matching Problem is Linear18-02-1999Jean-Baptiste Yunès (Université Paris 7)BDD: Applications à la vérification11-02-1999Hugues Fauconnier (Université Paris 7)Consensus et temps réel (suite)04-02-1999Carole Delporte (LIAFA)PVM (Parallel Virtual Machines)21-01-1999Jean-Baptiste Yunès (Université Paris 7)BDD: Théorie et algorithmes14-01-1999Volker DIEKERT et Paul GASTIN (Université de Stuttgart)An expressively complete temporal logic without past tense operators for Mazurkiewicz traces07-01-1999Jean-François Antoniotti (Université Paris 7)Timed languages, dyadic approximations and regular tree grammars.10-12-1998Christian Choffrut (Université Paris 7)Test de systèmes d'états finis(suite)03-12-1998Christian Choffrut (Université Paris 7)Test de systèmes d'états finis26-11-1998Hugues Fauconnier (Université Paris 7)Consensus et temps réel12-11-1998Jean-Baptiste Yunès (Université Paris 7)Vérification avec le logiciel SMV21-10-1998Michael Baldamus (Dresden University of Technology)THE pi-CALCULUS - A SHORT INTRODUCTION15-10-1998Michael Baldamus (Dresden University of Technology)A COMPOSITIONAL NON-WELL-FOUNDED SETS SEMANTICS FOR THE pi-CALCULUS