Publications de Thierry Jéron

Thèses

  1. T. Jéron, Contribution à la génération automatique de tests pour les systèmes réactifs, Habilitation à diriger des recherches de l'Université de Rennes 1, Mars 2004. (détails)
  2. T. Jéron, Contribution à la validation des protocoles : test d'infinitude et vérification à la volée, Thèse de l'Université de Rennes I, Mai 1991. (détails)

Articles de journaux

  1. 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, Août 2007. (détails)
  2. 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, Avril 2007. (détails)
  3. 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. (détails)
  4. 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, Octobre 2004. (détails)
  5. T. Jéron, TGV: théorie, principes et algorithmes, Techniques et Sciences Informatiques, numéro spécial Test de Logiciels, (21), 2002. (détails)
  6. 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. (détails)
  7. 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, Mai 2000. (détails)
  8. 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, Mars 2000. (détails)
  9. 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, Janvier 2000. (détails)
  10. 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, Mars 1999. (détails)
  11. 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. (détails) download
  12. T. Jéron, C. Jard, Testing for Unboundedness of Fifo Channels, Theoretical Computer Science, 113:93-117, 1993. (détails)
  13. 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. (détails)

Chapitres de livres

  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.), Chapitre 2, Pages 51-76, Hermès Science, Janvier 2008. (détails)
  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, Volume 1, Chapitre 2, Pages 59-88, Hermès Science, 2006. (détails)

Conferences internationales

  1. H. Marchand, J. Dubreil, T. Jéron, Automatic Testing of Access Control for Security Properties, in TestCom'09, 2009. (détails)
  2. J. Dubreil, T. Jéron, H. Marchand, Monitoring Confidentiality by Diagnosis Techniques, in European Control Conference, Pages 2584-2590, Budapest, Hungary, Août 2009. (détails)
  3. 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.), Pages 17-32, 2008. (détails)
  4. T. Jéron, H. Marchand, S. Genc, S. Lafortune, Predictability of Sequence Patterns in Discrete Event Systems, in IFAC World Congress, Seoul, Korea, Juillet 2008. (détails)
  5. 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, F.S de Boer, M.M. Bonsangue, S. Graf, W.-P. de Roever (eds.), Volume 4709, Pages 47-69, 2007. (détails)
  6. C. Constant, B. Jeannet, T. Jéron, Automatic test generation from interprocedural specifications, in TestCom/Fates07, Pages 41-57, Tallinn, Estonia, Juin 2007. (détails)
  7. 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. (détails)
  8. 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, Octobre 2006. (détails)
  9. T. Jéron, H. Marchand, V. Rusu, Symbolic Determinisation of Extended Automata, in 4th IFIP International Conference on Theoretical Computer Science, Stantiago, Chile, Août 2006. (détails)
  10. 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.), Volume 4019, Pages 204-219, Juillet 2006. (détails)
  11. 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, Ann-Arbor (MI, USA), Juillet 2006. (détails)
  12. 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.), Juillet 2005. (détails)
  13. 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), Volume 3440 of LNCS, Pages 349-364, Edinburgh (Scottland), Avril 2005. (détails)
  14. 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, Mars 2004. (détails)
  15. 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, Décembre 2003. (détails)
  16. 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. (détails)
  17. 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, Novembre 2002. (détails)
  18. 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, Juin 2002. (détails)
  19. 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. (détails)
  20. 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. (détails)
  21. V. Rusu, L. du Bousquet, T. Jéron, An approach to symbolic test generation, in International Conference on Integrating Formal Methods (IFM'00), Pages 338-357, Novembre 2000. (détails)
  22. 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.), Août 2000. (détails)
  23. 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, Novembre 1999. (détails)
  24. 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, Octobre 1999. (détails)
  25. T. Jéron, P. Morel, Test generation derived from model-checking, in CAV'99, Trento, Italy, N. Halbwachs, D. Peled (eds.), Volume 1633, Pages 108-122, Juillet 1999. (détails)
  26. 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, Juin 1999. (détails)
  27. 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.), Avril 1999. (détails)
  28. C. Jard, T. Jéron, H. Kahlouche, C. Viho, Towards Automatic Distribution of Testers for Distributed Conformance Testing, in FORTE/PSTV'98, Paris, France, Novembre 1998. (détails)
  29. 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, Novembre 1998. (détails)
  30. 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, Avril 1998. (détails)
  31. 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, Septembre 1997. (détails)
  32. Y.-M. Quemener, T. Jéron, Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars, in FORTE/PSTV'96, Octobre 1996. (détails) download
  33. 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.), Septembre 1996. (détails)
  34. 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.), Volume 1102, Juillet 1996. (détails) download
  35. 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.), Pages 64-74, Septembre 1995. (détails) download
  36. 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, Mai 1995. (détails) download
  37. 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.), Décembre 1994. (détails)
  38. T. Jéron, C. Jard, 3D Layout of Reachability Graphs of Communicating Processes, in Graph Drawing'94, DIMACS Workshop, Princeton, New-Jersey, Volume 894, Pages 25-33, Octobre 1994. (détails) download
  39. 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, Juin 1994. (détails)
  40. C. Jard, T. Jéron, Bounded Memory Algorithms for Verification On the fly, in CAV'91: Symposium on Computer Aided Verification, Aalborg, Denmark, Volume 575, Pages 192-202, Juin 1991. (détails)
  41. T. Jéron, Testing for unboundedness of fifo channels, in STACS 91 : Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, Volume 480, Pages 322-333, Février 1991. (détails)
  42. T. Jéron, Prototype of a verification tool, in STACS 91 (Tool Demonstration): Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, Volume 480, Pages 322-333, Février 1991. (détails)
  43. 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, Octobre 1989. (détails)
  44. 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, Volume 407, Pages 275-285, Juin 1989. (détails)

Conferences nationales

  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, Juin 2009. (détails)
  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, Lyon, France, Octobre 2007. (détails)
  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, Janvier 2006. (détails)
  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, Octobre 2003. (détails)
  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, Juin 1997. (détails)
  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, Juin 1996. (détails)
  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, Juin 1996. (détails)

Rapport de recherche

  1. J. Dubreil, T. Jéron, H. Marchand, Monitoring Information flow by Diagnosis Techniques, Rapport de recherche IRISA, No 1901, Août 2008. (détails)
  2. T. Jéron, H. Marchand, S. Genc, S. Lafortune, Predictability of Sequence Patterns in Discrete Event Systems, Rapport de recherche IRISA, No 1834, Mars 2007. (détails)
  3. C. Constant, B. Jeannet, T. Jéron, Automatic Test Generation from Interprocedural Specifications, Rapport de recherche IRISA, No 1835, Mars 2007. (détails)
  4. T. Jéron, H. Marchand, V. Rusu, Symbolic Determinisation of Extended Automata, Rapport de recherche IRISA, No 1176, Février 2006. (détails)
  5. T. Jéron, H. Marchand, S. Pinchinat, M-O. Cordier, Supervision Patterns in Discrete Event Systems Diagnosis, Rapport de recherche IRISA, No 1784, Février 2006. (détails)
  6. Bertrand Jeannet, Thierry Jéron, Tristan Le Gall, Abstract lattices for the analysis of systems with unbounded FIFO channels, Rapport de recherche IRISA, No 1767, Décembre 2005. (détails) download
  7. B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva, Symbolic test selection using approximate analysis, Rapport de recherche IRISA, No 1649, Octobre 2004. (détails)
  8. V. Rusu, H. Marchand, T. Jéron, Verification and Symbolic Test Generation for Safety Properties, Rapport de recherche IRISA, No 1640, Août 2004. (détails)
  9. J.-C. Fernandez, C. Jard, T. Jéron, G. Viho, An Experiment in Automatic Generation of Conformance Test Suites for Protocols with Verification Technology, Rapport de recherche IRISA, No 1035, 1997. (détails) download
  10. Y.-M. Quemener, T. Jéron, Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars, Rapport de recherche IRISA, No 994, 1996. (détails) download
  11. Y.-M. Quemener, T. Jéron, Model-Checking of Infinite Kripke Structures Defined by Simple Graph Grammars, Rapport de recherche IRISA, No 927, 1995. (détails) download
  12. T. Jéron, C. Jard, 3D Layout of Reachability Graphs of Communicating Processes, Rapport de recherche IRISA, No 852, 1994. (détails) download

Divers

  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. H. Marchand, J. Dubreil, T. Jéron, Automatic Test Generation for Security Property, Delivrable, Politess Project, 2008. (détails)
  3. L. Hélouët, H. Marchand, T. Jéron, Testing Cover Channel, Delivrable, Politess Project, 2008. (détails)
  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. (détails)
  5. 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)
  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, Octobre 2006. (détails)
  7. 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)
  8. Thierry Jéron, Le test de conformité : état de l'art, Rapport pour l'AEE (Architecture Electronique Embarquée), 2001. (détails)
  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. (détails)
  10. T. Jéron, Testing Reactive Systems using Model-Based Verification Techniques, Invited presentation, Dutch Testing Day, Philips, Eindhoven, Novembre 1999. (détails)
  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, Septembre 1999. (détails)
  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, Mars 1999. (détails)
  13. T. Jéron, TGV: principles, tool architecture and algorithms, Dagstuhl Seminar on Test Automation for Reactive Systems - Theory and Practice, Septembre 1998. (détails)
  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, 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.

This page has been automatically generated using the bib2html program.