Divers

2009

1. T Jéron, Génération de tests pour les systèmes réactifs et temporisés, Ecole d'Eté Temps-Réel, Télécom ParisTech, Paris, Septembre 2009. (détails)
2. C. Morvan, S. Pinchinat, Diagnosability of pushdown systems, AutomathA, Juin 2009. (détails)

2008

1. J. Dubreil, T. Jéron, L. Hélouët, H. Marchand, Evaluation des techniques de diagnostic pour la construction de détecteurs d'intrusions, Delivrable, Politess Project, 2008. (détails)
2. L. Hélouët, H. Marchand, T. Jéron, Testing Cover Channel, Delivrable, Politess Project, 2008. (détails)
3. H. Marchand, J. Dubreil, T. Jéron, Automatic Test Generation for Security Property, Delivrable, Politess Project, 2008. (détails)

2007

1. F. Ployette, B. Jeannet, T. Jéron, Stg: a symbolic test generation tool for reactive systems, TESTCOM/FATES07 (Tool Paper), Tallinn, Estonia, Juin 2007. (détails)

2006

1. Bruno Legeard, Michel Rueher, Thierry Jéron, Bruno Marre, V3F: Validation et Vérification en présence de calculs à Virgule Flottante, Rapport final de l'Action Concertée Incitative, Sécurité Informatique, Octobre 2006. (détails)
2. L. Besnard, H. Marchand, E. Rutten, The Sigali Tool Box Environment, Workshop on Discrete Event Systems, WODES'06 (Tool Paper), pp. 465-466, Ann-Arbor (MI, USA), Juillet 2006. (détails)

2004

1. T. Jéron, V. Tschaen, Test Generation Engine Documentation, AGEDIS : Automated Generation and Execution of test suites for DIstributed component-based Software, 2004. (détails)

2002

1. V. Tschaen, Compositionality issues in test Synthesis, Proceedings of the Modelling and Verifying Parallel Processes Summer School (MOVEP'02), Juin 2002. (détails)

2001

1. Thierry Jéron, Le test de conformité : état de l'art, Rapport pour l'AEE (Architecture Electronique Embarquée), 2001. (détails)

1999

1. T. Jéron, H. Kahlouche, P. Morel, Document de spécification des algorithmes de TGV, Marché France-Télécom - Vérilog - Irisa - Verimag, Génération automatique de tests, 1999. (détails)
2. T. Jéron, Testing Reactive Systems using Model-Based Verification Techniques, Invited presentation, Dutch Testing Day, Philips, Eindhoven, Novembre 1999. (détails)
3. C. Jard, T. Jéron, Test Generation for Reactive Systems, FM'99: World Congress on Formal Methods in the development of computing systems, Toulouse, France, Industrial Tutorial: Testing & Formal Methods, Septembre 1999. (détails)
4. T. Jéron, Efficient automatic generation of conformance test suites for protocols and reactive systems, Workshop on Formal Methods for Safety Critical Systems, Munich, Germany, Mars 1999. (détails)

1998

1. T. Jéron, TGV: principles, tool architecture and algorithms, Dagstuhl Seminar on Test Automation for Reactive Systems - Theory and Practice, Septembre 1998. (détails)
2. C. Jard, T. Jéron, J.-C. Fernandez, Etat de l'art, outils existants et spécification de l'outil, Marché France-Télécom - Vérilog - Irisa - Verimag, Génération automatique de tests, Août 1998. (détails)

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.