Publications of Thierry Jéron

Load the BibTeX file

Books

1. R. Hierons, T. Jéron (eds.). FATES'02, Formal Approaches to Testing of Software, A Satellite Workshop of CONCUR'02. Inria Report, August 2002.

Academic Journals

1. Y. Falcone, J-C Fernandez, T. Jéron, H. Marchand, L. Mounier. More Testable Properties. STTT: Software Tools for Technology Transfer, (Extension of the ICTSS'10 paper), 14(2):403-437, 2012.
2. C. Constant, T. Jéron, H. Marchand, V. Rusu. Integrating formal verification and conformance testing for reactive systems. IEEE Transactions on Software Engineering, 33(8):558-574, August 2007.
3. S. Pickin, C. Jard, T. Jéron, J-M Jézéquel, Y. Le Traon. Test Synthesis from UML Models of Distributed Software. IEEE Transactions on Software Engineering, 33(4):252-269, April 2007.
4. T. Jéron, H. Marchand, V. Rusu, V. Tschaen. Ensuring the conformance of reactive discrete-event systems by means of supervisory control. International Journal of Production Research, 42(14):2809-2826, 2004.
5. C. Jard, T. Jéron. TGV: theory, principles and algorithms, A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Software Tools for Technology Transfer (STTT), 6, October 2004.
6. T. Jéron. TGV: théorie, principes et algorithmes. Techniques et Sciences Informatiques, numéro spécial Test de Logiciels, (21), 2002.
7. C. Jard, T. Jéron. An educational case study in protocol verification and distributed observation. Journal of Computer Science Education, ECASP Special Issue, 10(3), 2000.
8. S. Ramangalahy, P. Le Gall, T. Jéron. Une application de la théorie des jeux au test de conformité. Revue Electronique sur les Réseaux et l'Informatique Répartie (RERIR), 9(0):3-23, May 2000.
9. Y. Le Traon, T. Jéron, J.-M. Jézéquel, P. Morel. Efficient OO Integration and Regression Testing. IEEE Transactions on Reliability, 49(1):12-25, March 2000.
10. M. Bozga, J.-C. Fernandez, L. Ghirvu, C. Jard, T. Jéron, A. Kerbrat, P. Morel, L. MounierS. Gnesi, J. R. Cuellor, D. Latella. Verification and test generation for the SSCOP protocol. Journal of Science of Computer Programming, special issue on Formal Methods in Industry, 36(1):27-52, January 2000.
11. T. Jéron, C. Jard, C. Viho, B. Caillaud, H. Kahlouche, P. Morel, J.-C. Fernandez, A. Kerbrat, M. Bozga. Génération automatique de tests pour les protocoles: l'exemple de l'approche formelle de TGV. Revue de l'Electricité et de l'Eléctronique (REE), 3, March 1999.
12. J.-C. Fernandez, C. Jard, T. Jéron, G. Viho. An Experiment in Automatic Generation of Conformance Test Suites for Protocols with Verification Technology. Science of Computer Programming, 29:123-146, 1997. download
13. T. Jéron, C. Jard. Testing for Unboundedness of Fifo Channels. Theoretical Computer Science, 113:93-117, 1993.
14. J.-C. Fernandez, C. Jard, T. Jéron, L. Mounier. On-the-fly Verification of Finite Transition Systems. Formal Methods in System Design, 1(2):251-273, 1992.

Book Chapters

1. C. Constant, T. Jéron, H. Marchand, V. Rusu. Validation of Reactive Systems. In Modeling and Verification of Real-TIME Systems - Formalisms and software Tools, S. Merz, N. Navet (eds.), Chap. 2, pp. 51-76, Hermès Science, January 2008.
2. C. Constant, T. Jéron, H. Marchand, V. Rusu. Combinaison entre vérification et test pour la validation de systèmes réactifs. In Traité I2C. Systèmes Temps Réel: Techniques de Description et de Vérification - Théorie et Outils, Vol. 1, Chap. 2, pp. 59-88, Hermès Science, 2006.

International Conferences

1. S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand, A. Rollet, O. Nguena Timo. Runtime Enforcement of Timed Properties. In Third International Conference on Runtime Verification RV 2012, Istanbul, Turkey, September 2012.
2. S. Chédor, T. Jéron, C. Morvan. Test generation from recursive tiles systems. In TAP - 6th International Conference on Tests & Proofs - 2012, LNCS, Volume 7305, Pages 99-114, Prague, May 2012.
3. N. Bertrand, T. Jéron, A. Stainer, M. Krichen. Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata. In 17th International Conference on Tools and Algorithms for the Construction And Analysis of Systems (TACAS), LNCS, Volume 6605, Pages 96-111, Saarbrücken, Germany, April 2011.
4. N. Bertrand, A. Stainer, T. Jéron, M. Krichen. A game approach to determinize timed automata. In 14th International Conference on Foundations of Software Science and Computation Structures (FOSSACS), LNCS, Volume 6604, Pages 245-259, Saarbrücken, Germany, April 2011.
5. W. L. Andrade, P. Machado, T. Jéron, H. Marchand. Abstracting Time and Data for Conformance Testing of Real-Time Systems. In 7th Workshop on Advances in Model Based Testing A-MOST 2011, Berlin, Germany, March 2011.
6. Y. Falcone, Fernandez J.-C, T. Jéron, H. Marchand, L. Mounier. More Testable Properties. In 22nd IFIP International Conference on Testing Software and Systems, LNCS, Volume 6435, Pages 30-46, Natal, Brazil, November 2010.
7. H. Marchand, J. Dubreil, T. Jéron. Automatic Testing of Access Control for Security Properties. In TestCom'09, LNCS, Volume 5826, Pages 113-128, November 2009.
8. J. Dubreil, T. Jéron, H. Marchand. Monitoring Confidentiality by Diagnosis Techniques. In European Control Conference, Pages 2584-2590, Budapest, Hungary, August 2009.
9. T. Jéron, H. Marchand, S. Genc, S. Lafortune. Predictability of Sequence Patterns in Discrete Event Systems. In IFAC World Congress, Pages 537-453, Seoul, Korea, July 2008.
10. B. Jeannet, T. Jéron, V. Rusu. Model-based test selection for infinite state reactive systems. In Formal Methods of Components and Objects - FMCO 2006, Amsterdam, Netherlands, Revised Lectures, LNCS, Volume 4709, Pages 47-69, 2007.
11. C. Constant, B. Jeannet, T. Jéron. Automatic test generation from interprocedural specifications. In TestCom/Fates07, LNCS, Volume 4581, Pages 41-57, Tallinn, Estonia, June 2007.
12. B. Blanc, F. Bouquet, A. Gotlieb, B. Jeannet, T. Jéron, B. Legeard, B. Marre, C. Michel, M. Rueher. The V3F Project. In Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA06), Nantes, B. Blanc, A. Gotlieb, C. Michel (eds.), 2006.
13. Thierry Jéron. Model-based test selection for infinite state reactive systems. In 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES'06, Braga, Portugal, Invited paper, October 2006.
14. T. Jéron, H. Marchand, V. Rusu. Symbolic Determinisation of Extended Automata. In 4th IFIP International Conference on Theoretical Computer Science, IFIP book series, Pages 197-212, Stantiago, Chile, August 2006.
15. T. Le Gall, B. Jeannet, T. Jéron. Verification of Communication Protocols using Abstract Interpretation of FIFO queues. In 11th International Conference on Algebraic Methodology and Software Technology, AMAST '06, Kuressaare, Estonia, Michael Johnson, Varmo Vene (eds.), LNCS, Volume 4019, Pages 204-219, July 2006.
16. T. Jéron, H. Marchand, S. Pinchinat, M-O. Cordier. Supervision Patterns in Discrete Event Systems Diagnosis. In Workshop on Discrete Event Systems, WODES'06, Also published in DX'06, Penaranda de Duero (Burgos, Spain), Pages 262-268, Ann-Arbor (MI, USA), July 2006.
17. Vlad Rusu, Hervé Marchand, Thierry Jéron. Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. In Formal Methods 2005 (FM05), John Fitzgerald, Andrzej Tarlecki, Ian Hayes (eds.), LNCS, Volume 3582, Pages 189-204, July 2005.
18. B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva. Symbolic Test Selection based on Approximate Analysis. In 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), LNCS, Volume 3440, Pages 349-364, Edinburgh (Scottland), April 2005.
19. V. Rusu, H. Marchand, V. Tschaen, T. Jéron, B. Jeannet. From Safety Verification to Safety Testing. In The 16th IFIP International Conference on Testing of Communicating Systems (TestCom04). Volume 2978 of LNCS, Oxford, UK, March 2004.
20. T. Jéron, H. Marchand, V. Rusu, V. Tschaen. Ensuring the conformance of reactive discrete-event systems using supervisory control. In 42nd IEEE Conference on Decision and Control, Hawaii, USA, December 2003.
21. D. Clarke, T. Jéron, V. Rusu, E. Zinovieva. STG: a Symbolic Test Generation tool. In (Tool paper) Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02). Volume 2280 of LNCS, 2002.
22. S. Pickin, C. Jard, Y. Le Traon, T. Jéron, J.-M. Jezequel, A. Le Guennec. System Test Synthesis from UML Models of Distributed Software. In Forte 2002, 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems. Volume 2529 of LNCS, Houston, Texas, November 2002.
23. C. Jard, T. Jéron. TGV: theory, principles and algorithms. In The Sixth World Conference on Integrated Design & Process Technology (IDPT'02), Pasadena, California, USA, June 2002.
24. D. Clarke, T. Jéron, V. Rusu, E. Zinovieva. Automated Test and Oracle Generation for Smart-Card Applications. In International Conference on Research in Smart Cards (e-Smart'01), Volume 2140 of LNCS, Pages 58-70, 2001.
25. D. Clarke, T. Jéron, V. Rusu, E. Zinovieva. STG : A Tool for Generating Symbolic Test Programs and Oracles from Operational Specifications. In Joint 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), 2001.
26. V. Rusu, L. du Bousquet, T. Jéron. An approach to symbolic test generation. In International Conference on Integrating Formal Methods (IFM'00), LNCS 1945, Pages 338-357, November 2000.
27. C. Jard, T. Jéron, P. Morel. Verification of Test Suites. In TestCom 2000, IFIP TC 6 / WG 6.1, The IFIP 13th International Conference on Testing of Communicating Systems, Ottawa, Ontario, Canada, H. Ural, R.L. Probert, G. v. Bochman (eds.), August 2000.
28. T. Jéron, J.-M. Jézéquel, Y. Le Traon, P. Morel. Efficient Strategies for Integration and Regression Testing of 00 Systems. In 10th IEEE International Symposium on Software Reliability Engineering, ISSRE'99, Boca Raton, Florida, Pages 260-269, November 1999.
29. C. Jard, T. Jéron, L. Tanguy, C. Viho. Remote testing can be as powerful as local testing. In Formal methods for protocol engineering and distributed systems, FORTE XII/ PSTV XIX' 99, Beijing, China, J. Wu, S. Chanson, Q. Gao (eds.), Pages 25-40, October 1999.
30. T. Jéron, P. Morel. Test generation derived from model-checking. In CAV'99, Trento, Italy, N. Halbwachs, D. Peled (eds.), LNCS, Volume 1633, Pages 108-122, July 1999.
31. R. Groz, T. Jéron, A. Kerbrat. Automated Test Generation from SDL specifications. In SDL'99 The Next Millenium, 9th SDL Forum, Montréal, Québec, R. Dssouli, G. von Bochmann, Y. Lahav (eds.), Pages 135-152, June 1999.
32. S. Ramangalahy, P. Le Gall, T. Jéron. Une application de la théorie des jeux au test de conformité. In Colloque Francophone sur l'Ingénierie des Protocoles, CFIP 99, Nancy, France, A. Schaff (ed.), April 1999.
33. C. Jard, T. Jéron, H. Kahlouche, C. Viho. Towards Automatic Distribution of Testers for Distributed Conformance Testing. In FORTE/PSTV'98, Paris, France, November 1998.
34. C. Jard, T. Jéron. Verification and distributed observation of the alternating bit protocol. In FORTE/PSTV'98, ECASP: Special Session on Educational Case Studies in Protocols, Paris, France, November 1998.
35. T. Jéron, J.-M. Jézéquel, A. Le Guennec. Validation and Test Generation for Object-Oriented Distributed Software. In IEEE Proc. Parallel and Distributed Software Engineering, PDSE'98, Kyoto, Japan, April 1998.
36. T. Jéron, P. Morel. Abstraction, $\tau$-réduction et déterminisation à la volée: application à la génération de test. In CFIP'97, Congrès Francophone sur l'Ingéniérie des Protocoles, Liège, Belgique, September 1997.
37. Y.-M. Quemener, T. Jéron. Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. In FORTE/PSTV'96, October 1996. download
38. L. Doldi, V. Encontre, J.-C. Fernandez, T. Jéron, S. Le Bricquir, N. Texier, M. Phalippou. Assessment of Automatic Generation Methods of Conformance Test Suites in an Industrial Context. In IFIP TC6 9th International Workshop on Testing of Communicating Systems, B. Baumgarten, H.-J. Burkhardt, A. Giessler (eds.), September 1996.
39. J.-C. Fernandez, C. Jard, T. Jéron, G. Viho. Using on-the-fly Verification Techniques for the Generation of Test Suites. In Conference on Computer-Aided Verification (CAV'96), New Brunswick, New Jersey, USA, A. Alur, T. Henzinger (eds.), LNCS, Volume 1102, July 1996.
40. Y.-M. Quemener, T. Jéron. Model-Checking of Infinite Kripke Structures Defined by Simple Graph Grammars. In SEGRAGRA'95, Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, Volterra, Italie, A. Corradini, U. Montanari (eds.), ENTCS, Egalement disponible en rapport de recherche Irisa n$^o$ 927 et Inria n$^o$ 2563, Pages 64-74, September 1995. download
41. T. Jéron. Dessin en 3 dimensions de graphes d'accessibilité de processus communicants. In CFIP'95, Colloque Francophone sur l'Ingéniérie des Protocoles, Rennes, France, C. Jard, P. Rolin (eds.), Pages 373-386, May 1995. download
42. C. Jard, T. Jéron. Formal Analysis of Distributed Computations. In (Conférence invitée) Septièmes entretiens du centre Jacques Cartier, Communicating Informatics and Distributed Systems, Grenoble, France, Gv. Bochmann, M. Barbeau, M. Riveill, J. Sifakis (eds.), December 1994.
43. T. Jéron, C. Jard. 3D Layout of Reachability Graphs of Communicating Processes. In Graph Drawing'94, DIMACS Workshop, Princeton, New-Jersey, LNCS, Volume 894, Pages 25-33, October 1994. download
44. C. Jard, T. Jéron, G.-V. Jourdan, J.-X. Rampon. A General Approach to Trace Checking in Distributed Computing Systems. In 14th International Conference on Distributed Computing Systems, Poznan, Pologne, Pages 396-403, June 1994.
45. C. Jard, T. Jéron. Bounded Memory Algorithms for Verification On the fly. In CAV'91: Symposium on Computer Aided Verification, Aalborg, Denmark, LNCS, Volume 575, Pages 192-202, June 1991.
46. T. Jéron. Testing for unboundedness of fifo channels. In STACS 91 : Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, LNCS, Volume 480, Pages 322-333, February 1991.
47. T. Jéron. Prototype of a verification tool. In STACS 91 (Tool Demonstration): Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, LNCS, Volume 480, Pages 322-333, February 1991.
48. M. Adam, P. Burgevin, B. Caillaud, A. Couvert, J.-M. Helary, P. Ingels, C. Jard, T. Jeron, J.-M. Jezequel, R. Pedrono, M. Raynal. Distributed Computers in the Design and Analysis of Distributed Algorithms. In 1er Colloque Européen sur les Hypercubes et Calculateurs Distribués, Rennes, October 1989.
49. C. Jard, T. Jéron. On-line model-checking for finite linear temporal logic specifications. In Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France, LNCS, Volume 407, Pages 275-285, June 1989.

Invited Conferences

1. Thierry Jéron. Symbolic model-based test selection. In Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2008), Salvador, Bahia, Brazil, P. Machado, A. Andrade, A. Duran (eds.), Electronic Version available in ENTCS, Volume 240, pages 167-184, Pages 17-32, August 2008.

National Conferences

1. H. Marchand, J. Dubreil, T. Jéron. Génération automatique de tests pour des propriétés de sécurité. In 4ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Pages 157-174, June 2009.
2. J. Dubreil, T. Jéron, H. Marchand. Construction de moniteurs pour la surveillance de propriétés de sécurité. In 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Pages 105-120, Lyon, France, October 2007.
3. T. Jéron, H. Marchand, M-O. Cordier. Motifs de surveillance pour le diagnostics de systèmes à événements discrets finis. In 15e congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle, Tours, France, January 2006.
4. T. Jéron, H. Marchand, V. Rusu, V. Tschaen. Synthèse de contrôleurs pour une relation de conformité. In 4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'03, Metz, France, October 2003.
5. C. Jard, T. Jéron, P. Morel, C. Viho. Une expérience de génération automatique de tests pour un protocole de cohérence de caches. In Actes de la conférence TESTING'97, Paris, June 1997.
6. T. Jéron. Génération automatique de séquences tests par la technologie de la vérification. In Conférence invitée, Ecole d'été MOVEP, Nantes, June 1996.
7. T. Jéron. La génération de tests pour les protocoles à l'aide de la technologie de la vérification. In Conférence Software Testing'96, Paris, Club Génie Logiciel SEE, June 1996.

Research Reports

1. Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen. Research Report INRIA, No 7501, 2011.
2. N. Bertrand, A. Stainer, T. Jéron, M. Krichen. A game approach to determinize timed automata. Research Report INRIA, No 7381, October 2010.
3. Y. Falcone, Fernandez J.-C, T. Jéron, H. Marchand, L. Mounier. More Testable Properties. Research Report INRIA, No 7279, April 2010.
4. J. Dubreil, T. Jéron, H. Marchand. Monitoring Information flow by Diagnosis Techniques. Research Report IRISA, No 1901, August 2008.
5. T. Jéron, H. Marchand, S. Genc, S. Lafortune. Predictability of Sequence Patterns in Discrete Event Systems. Research Report IRISA, No 1834, March 2007.
6. C. Constant, B. Jeannet, T. Jéron. Automatic Test Generation from Interprocedural Specifications. Research Report IRISA, No 1835, March 2007.
7. T. Jéron, H. Marchand, V. Rusu. Symbolic Determinisation of Extended Automata. Research Report IRISA, No 1176, February 2006.
8. T. Jéron, H. Marchand, S. Pinchinat, M-O. Cordier. Supervision Patterns in Discrete Event Systems Diagnosis. Research Report IRISA, No 1784, February 2006.
9. Bertrand Jeannet, Thierry Jéron, Tristan Le Gall. Abstract lattices for the analysis of systems with unbounded FIFO channels. Research Report IRISA, No 1767, December 2005.
10. B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva. Symbolic test selection using approximate analysis. Research Report IRISA, No 1649, October 2004.
11. V. Rusu, H. Marchand, T. Jéron. Verification and Symbolic Test Generation for Safety Properties. Research Report IRISA, No 1640, August 2004.
12. J.-C. Fernandez, C. Jard, T. Jéron, G. Viho. An Experiment in Automatic Generation of Conformance Test Suites for Protocols with Verification Technology. Research Report IRISA, No 1035, 1997. download
13. Y.-M. Quemener, T. Jéron. Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. Research Report IRISA, No 994, 1996. download
14. Y.-M. Quemener, T. Jéron. Model-Checking of Infinite Kripke Structures Defined by Simple Graph Grammars. Research Report IRISA, No 927, 1995. download
15. T. Jéron, C. Jard. 3D Layout of Reachability Graphs of Communicating Processes. Research Report IRISA, No 852, 1994. download

Misc

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, September 2009.
2. H. Marchand, J. Dubreil, T. Jéron. Automatic Test Generation for Security Property. Delivrable, Politess Project, 2008.
3. L. Hélouët, H. Marchand, T. Jéron. Testing Cover Channel. Delivrable, Politess Project, 2008.
4. 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.
5. F. Ployette, B. Jeannet, T. Jéron. Stg: a symbolic test generation tool for reactive systems. TESTCOM/FATES07 (Tool Paper), Tallinn, Estonia, June 2007.
6. 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.
7. T. Jéron, V. Tschaen. Test Generation Engine Documentation. AGEDIS : Automated Generation and Execution of test suites for DIstributed component-based Software, 2004.
8. Thierry Jéron. Le test de conformité : état de l'art. Rapport pour l'AEE (Architecture Electronique Embarquée), 2001.
9. 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.
10. T. Jéron. Testing Reactive Systems using Model-Based Verification Techniques. Invited presentation, Dutch Testing Day, Philips, Eindhoven, November 1999.
11. 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.
12. 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.
13. T. Jéron. TGV: principles, tool architecture and algorithms. Dagstuhl Seminar on Test Automation for Reactive Systems - Theory and Practice, September 1998.
14. 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.

Thesis

1. T. Jéron. Contribution à la génération automatique de tests pour les systèmes réactifs. Habilitation à diriger des recherches Université de Rennes 1, March 2004.
2. T. Jéron. Contribution à la validation des protocoles : test d'infinitude et vérification à la volée. PhD Thesis Université de Rennes I, May 1991.

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