Conference Slides
Transparents présentés dans des conférences

Quelques problèmes fondamentaux posés par l'asynchronisme des systèmes répartis, par Claude Jard. Pampa/IRISA/CNRS. Journées C2A/CNRS 20 Octobre 1995 Ecole des mines, Paris.
La génération de tests pour les protocoles à l'aide de la technologie de la vérification, par Claude Jard. Pampa/IRISA/CNRS. Colloque sur l'application des méthodes formelles au développement des systèmes critiques. 17, 18, 19 Janvier, Grenoble.
Un modèle pour la répartition d'automates réactifs sur réseau asynchrone de processeurs, par B. Caillaud, P. Caspi, A. Girault, C. Jard. Colloque Afcet sur la modélisation des systèmes réactifs. Brest, 28-29 Mars 1996.
Génération automatique de séquences de tests par la technologie de la vérification, par Thierry Jéron. Pampa/IRISA/INRIA. Ecole MOVEP'96, MOdélisation et VErification des Processus Parallès. 18-21 Juin 96, Ecole Centrale de Nantes.
Testing Behavioral Properties of Systems using Model-based Verification techniques , par Claude Jard. Pampa/IRISA/CNRS. FemSys'97 workshop on Formal Design of Safety Critical Embedded Systems, 16-18 April 1997, Munich, Germany.
Fault Detection in Telecommunication Networks Based on Petri Net Representation of Alarm Propagation Ren´e Boubour et Claude Jard. Pampa/IRISA/INRIA/CNRS International Conference on Application and Theory of Petri Nets, June 1997, Toulouse, France
On-the-fly model-checking techniques to generate test cases in conformance testing Claude Jard (and TGV team). Pampa/IRISA/INRIA/CNRS CIRM Workshop on verification and proofs, December 1998, Marseille, France.
Towards formal manipulations of scenarios represented by High-level Message Sequence Charts Claude Jard. Pampa/IRISA/INRIA/CNRS CIRM Workshop on verification and proofs, December 1998, Marseille, France (presented by L. Helouet). Seminaire LIFO, January 1999, Orleans, France. Seminaire IRCYN, January 1999, Nantes, France.
Génération automatique de tests de conformité: l'approche de TGV. Thierry Jéron. Pampa/IRISA/INRIA Séminaire invité, LaMI, Université d'Evry, France, Janvier 99.
Génération automatique de tests de conformité de protocoles. Thierry Jéron. Pampa/IRISA/INRIA. Cours donné au CIRM Marseille, ŕ l'ecole Nouvelles Directions en Modelisation, Test et Validation, 6-9 Avril 99.
pampa@irisa.fr $Date: 1999/01/19 17:15:30 $