Misc

2009

1. Ch. Baier, N. Bertrand, M. Grösser. The Effect of Tossing Coins in Omega-Automata. Proceedings of the 20th International Conference on Concurrency Theory (CONCUR'09), pp. 15-29, 2009.
2. 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, September 2009.
3. C. Morvan, S. Pinchinat. Diagnosability of pushdown systems. AutomathA, Liège, Belgique, June 2009.

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.
2. L. Hélouët, H. Marchand, T. Jéron. Testing Cover Channel. Delivrable, Politess Project, 2008.
3. H. Marchand, J. Dubreil, T. Jéron. Automatic Test Generation for Security Property. Delivrable, Politess Project, 2008.

2007

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

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, October 2006.
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), July 2006.

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.

2002

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

2001

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

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.
2. T. Jéron. Testing Reactive Systems using Model-Based Verification Techniques. Invited presentation, Dutch Testing Day, Philips, Eindhoven, November 1999.
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, September 1999.
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, March 1999.

1998

1. T. Jéron. TGV: principles, tool architecture and algorithms. Dagstuhl Seminar on Test Automation for Reactive Systems - Theory and Practice, September 1998.
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, August 1998.

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.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic