Publications of Thierry Jéron

Load the BibTeX file

Books

  1. T. Jéron, B. Wolff (eds.). Symbolic methods in testing. Dagstuhl Reports (3)1, January 2013. details download
  2. R. Hierons, T. Jéron (eds.). FATES'02, Formal Approaches to Testing of Software, A Satellite Workshop of CONCUR'02. Inria Report, August 2002. details pdf

Academic Journals

  1. Y. Falcone, T. Jeron, H. Marchand, S. Pinisetty. Runtime enforcement of regular timed properties by suppressing and delaying events. Science of Computer Programming, 123:2-41, 2016. details Hal : Hyper Archive en ligne doi pdf
  2. N. Bertrand, A. Stainer, T. Jéron, M. Krichen. A game approach to determinize timed automata. Formal Methods in System Design, February 2015. details Hal : Hyper Archive en ligne doi download
  3. S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand, A. Rollet, O. Nguema Timo. Runtime enforcement of timed properties revisited. Formal Methods in System Design, 45(3):381-422, 2014. details Hal : Hyper Archive en ligne doi pdf
  4. S. Chédor, T. Jéron, C. Morvan. Test Generation from Recursive Tile Systems. Journal on Software Testing, Verification & Reliability, Accepted for publication, 2013. details
  5. 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. details doi pdf
  6. N. Bertrand, T. Jéron, Stainer A, M. Krichen. Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata. Logical methods in Computer Science, 8(4), March 2012. details doi
  7. 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. details doi pdf
  8. 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. details doi pdf
  9. 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. details doi pdf
  10. 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. details pdf
  11. T. Jéron. TGV: théorie, principes et algorithmes. Techniques et Sciences Informatiques, numéro spécial Test de Logiciels, (21), 2002. details
  12. 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. details ps
  13. 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:3-23, May 2000. details ps
  14. 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. details
  15. 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. details pdf
  16. 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. details
  17. 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. details download
  18. T. Jéron, C. Jard. Testing for Unboundedness of Fifo Channels. Theoretical Computer Science, 113:93-117, 1993. details ps
  19. 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. details

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. details
  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. details

International Conferences

  1. S. Pinisetty, V. Preoteasa, S. Tripakis, T. Jéron, Y. Falcone, H. Marchand. Predictive Runtime Enforcement. In SAC 2016 31st ACM Symposium on Applied Computing, Pisa, Italy, April 2016. details Hal : Hyper Archive en ligne pdf
  2. M. Renard, Y. Falcone, A. Rollet, S. Pinisetty, T. Jéron, H. Marchand. Enforcement of (Timed) Properties with Uncontrollable Events. In 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Theoretical Aspects of Computing - ICTAC 2015, Volume LNCS, Cali, Colombia, October 2015. details Hal : Hyper Archive en ligne doi download
  3. S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand. TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. In RV'2015, 6th International Conference on Runtime Verification, Ezio Bartocci, Rupak Majumdar (eds.), Lecture Notes in Computer Science, Volume 9333, Vienne, Austria, September 2015. details Hal : Hyper Archive en ligne doi download
  4. S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand. Runtime Enforcement of Parametric Timed Properties with Practical Applications. In IEEE International Workshop on Discrete Event Systems, Pages 420-427, Cachan, France, May 2014. details Hal : Hyper Archive en ligne pdf
  5. S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand. Runtime Enforcement of Regular Timed Properties. In Software Verification and Testing, track of the Symposium on Applied Computing ACM-SAC 2014, Pages 1279-1286, Gyeongju, Korea, March 2014. details Hal : Hyper Archive en ligne pdf
  6. 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, LNCS, Volume 7687, Pages 229-244, Istanbul, Turkey, September 2012. details doi pdf
  7. 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. details pdf
  8. 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. details doi pdf
  9. 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. details doi pdf
  10. 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. details pdf
  11. 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. details doi pdf
  12. 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. details doi pdf
  13. J. Dubreil, T. Jéron, H. Marchand. Monitoring Confidentiality by Diagnosis Techniques. In European Control Conference, Pages 2584-2590, Budapest, Hungary, August 2009. details pdf
  14. 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. details pdf
  15. 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. details doi pdf
  16. 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. details doi pdf
  17. 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. details pdf
  18. T. 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. details pdf
  19. 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. details doi pdf
  20. 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. details doi pdf
  21. 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. details doi pdf
  22. V. Rusu, H. Marchand, T. 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. details doi pdf
  23. 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. details pdf
  24. 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. details pdf
  25. 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. details
  26. 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. details ps
  27. 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. details pdf
  28. 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. details ps
  29. 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. details ps
  30. 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. details
  31. 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. details ps
  32. 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. details ps
  33. 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. details ps
  34. 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. details ps
  35. 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. details ps
  36. 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. details ps
  37. 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. details ps
  38. 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. details ps
  39. 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. details ps
  40. 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. details ps
  41. 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. details ps
  42. Y.-M. Quemener, T. Jéron. Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. In FORTE/PSTV'96, October 1996. details download
  43. 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. details
  44. 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. details ps
  45. 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. details download
  46. 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. details download
  47. 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. details
  48. 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. details download
  49. 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. details ps
  50. 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. details ps
  51. 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. details ps
  52. 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. details
  53. 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. details
  54. 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. details ps

Invited Conferences

  1. T. Jéron. Symbolic Model-based Test Selection. In Proceedings of the Eleventh Brazilian Symposium on Formal Methods (SBMF 2008), Electronic Notes in Theoretical Computer Science, Volume 40, Pages 167-184, 2009. details doi
  2. T. 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. details doi pdf

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. details pdf
  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 (MSR'07), Pages 105-120, Lyon, France, October 2007. details pdf
  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. details pdf
  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. details pdf
  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. details
  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. details
  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. details

Research Reports

  1. S. Chédor, T. Jéron, C. Morvan. Test Generation from Recursive Tile Systems. Rapport de recherche INRIA, No 0, January 2013. details Hal : Hyper Archive en ligne pdf
  2. Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen. Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata. Research Report INRIA, No 7501, January 2011. details pdf
  3. N. Bertrand, A. Stainer, T. Jéron, M. Krichen. A game approach to determinize timed automata. Research Report INRIA, No 7381, October 2010. details pdf
  4. Y. Falcone, Fernandez J.-C, T. Jéron, H. Marchand, L. Mounier. More Testable Properties. Research Report INRIA, No 7279, April 2010. details pdf
  5. J. Dubreil, T. Jéron, H. Marchand. Monitoring Information flow by Diagnosis Techniques. Research Report IRISA, No 1901, August 2008. details pdf
  6. T. Jéron, H. Marchand, S. Genc, S. Lafortune. Predictability of Sequence Patterns in Discrete Event Systems. Research Report IRISA, No 1834, March 2007. details pdf
  7. C. Constant, B. Jeannet, T. Jéron. Automatic Test Generation from Interprocedural Specifications. Research Report IRISA, No 1835, March 2007. details pdf
  8. T. Jéron, H. Marchand, V. Rusu. Symbolic Determinisation of Extended Automata. Research Report IRISA, No 1176, February 2006. details pdf
  9. T. Jéron, H. Marchand, S. Pinchinat, M-O. Cordier. Supervision Patterns in Discrete Event Systems Diagnosis. Research Report IRISA, No 1784, February 2006. details pdf
  10. B. Jeannet, T. Jéron, T. Le Gall. Abstract lattices for the analysis of systems with unbounded FIFO channels. Research Report IRISA, No 1767, December 2005. details ps
  11. B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva. Symbolic test selection using approximate analysis. Research Report IRISA, No 1649, October 2004. details ps
  12. V. Rusu, H. Marchand, T. Jéron. Verification and Symbolic Test Generation for Safety Properties. Research Report IRISA, No 1640, August 2004. details pdf
  13. 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. details download
  14. Y.-M. Quemener, T. Jéron. Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. Research Report IRISA, No 994, 1996. details download
  15. Y.-M. Quemener, T. Jéron. Model-Checking of Infinite Kripke Structures Defined by Simple Graph Grammars. Research Report IRISA, No 927, 1995. details download
  16. T. Jéron, C. Jard. 3D Layout of Reachability Graphs of Communicating Processes. Research Report IRISA, No 852, 1994. details 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. details pdf
  2. H. Marchand, J. Dubreil, T. Jéron. Automatic Test Generation for Security Property. Delivrable, Politess Project, 2008. details
  3. L. Hélouët, H. Marchand, T. Jéron. Testing Cover Channel. Delivrable, Politess Project, 2008. details
  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. details
  5. L. Hélouet, H. Marchand, T. Jéron. Testing Covert Channels. 2008. details
  6. F. Ployette, B. Jeannet, T. Jéron. Stg: a symbolic test generation tool for reactive systems. TESTCOM/FATES07 (Tool Paper), Tallinn, Estonia, June 2007. details
  7. B. Legeard, M. Rueher, T. Jéron, B. 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. details
  8. T. Jéron, V. Tschaen. Test Generation Engine Documentation. AGEDIS : Automated Generation and Execution of test suites for DIstributed component-based Software, 2004. details
  9. T. Jéron. Le test de conformité : état de l'art. Rapport pour l'AEE (Architecture Electronique Embarquée), 2001. details ps
  10. 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. details
  11. T. Jéron. Testing Reactive Systems using Model-Based Verification Techniques. Invited presentation, Dutch Testing Day, Philips, Eindhoven, November 1999. details
  12. 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. details
  13. 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. details
  14. T. Jéron. TGV: principles, tool architecture and algorithms. Dagstuhl Seminar on Test Automation for Reactive Systems - Theory and Practice, September 1998. details
  15. 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. details

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. details
  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. details

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