Groupe de travail

Modélisation et Vérification

Calendrier 2006-2007

Date (YYYY-MM-DD)Orateur/AnimateurOrateur/InstitutTitre
2006-10-05Igor WalukiewiczLaBRI, Bordeaux, FranceRéunion de rentrée du thème Modélisation Vérification
2006-10-12Blaise GenestIRISA, Rennes, FranceOn Zielonka's Theorem and its Application to Verification
2006-10-19Morgan MagninIRCCYN, Nantes, FranceRéseaux de Petri à Chronométre - temps dense ou temps discret ?
2006-10-26Relâche, vacances de la Toussaint
2006-11-02Relâche, vacances de la Toussaint
2006-11-09Joel OuaknineOxford University Computing Laboratory, Oxford, EnglandThe Cost of Punctuality
2006-11-16Philippe DarondeauIRISA, Rennes, FranceImplementations distribuees du controle superviseur a la Ramadge et Wonham par synthese de reseaux de Petri
2006-11-23 Free seminar session
2006-11-30The Quang TranLaBRI, Bordeaux, FranceUnfolding Concurrent Well-Structured Transition Systems
2006-12-07Anca MuschollLaBRI, Bordeaux, FranceLogics and automata with infinite alphabets
2006-12-14Antoine MinéLIENS, Paris, France L'analyseur statique Astrée
2006-12-21 Free seminar session
2006-12-28Relâche, vacances de Noel
2007-01-04Relâche, vacances de Noel
2007-01-11Laure GonnordVERIMAG, Grenoble, FranceCombining Widening and Acceleration in Linear Relation Analysis
2007-01-18Kaninda MusumbuLaBRI, Bordeaux, FranceGraf and Saïdi97'algorithm : Construction of abstract state graph Revisited
2007-01-25Julien BertraneLIENS, Paris, FranceCertification de la résistance des réseaux de programmes synchrones aux erreurs matérielles
2007-02-01Nicolas MarkeyLSV, Cachan, FranceVerification of (One-clock) Priced Timed Automata
2007-02-08 Free seminar session
2007-02-15Radu IosifVERIMAG, Grenoble, FranceFlat Parametric Counter Automata
2007-02-22Relâche, vacances de Février
2007-03-01Relâche, vacances de Février
2007-03-08Pierre-Alain ReynierLSV, Cachan, FranceDépliages temporisés de réseaux d'automates temporisés
2007-03-15Axel LegayInstitut Montefiore, Liege, BelgiqueSociable Interfaces: Theory, Implementation, and Future
2007-03-22Nathalie BertrandUniversité de Dresden, AllemagneVérification des Lossy Channel Systems probabilistes et non-déterministes.
2007-03-29ETAPS 2007
2007-04-05Fabrice ChevalierLSV, Cachan, FranceDécidabilité et contrôle de logiques temps-réel
2007-04-12Relâche, vacances de Paques
2007-04-19Relâche, vacances de Paques
2007-04-26Frédéric HerbreteauLaBRI, Bordeaux, FranceHybrid Acceleration
2007-05-03Journées SPACIFY à Bordeaux
2007-05-10 Free seminar session
2007-05-17Relâche, jeudi de l'Ascension
2007-05-24 Free seminar session
2007-05-31Felix KlaedtkeETH-Zentrum, Zurich, SwitzerlandDon't Care Words with an Application to the Automata-based Approach for Real Addition
2007-06-07Patrick ChervetLaBRI, Bordeaux, FranceMinimizing variants of visibly pushdown automata
2007-06-14 Free seminar session
2007-06-21Nicolas CaniartLaBRI, Bordeaux, FranceAccélération de l'algorithme Cegar
2007-06-26Stéphane DemriLSV, Cachan, FranceLogiques pour la Spécification et Vérification
2007-06-28Thomas BrihayeLSV, Cachan, FranceA probabilistic semantic for timed automata