Publications 2004

Academic Journals

  1. B. Gaudin, H Marchand. Supervisory Control of Product and Hierarchical Discrete Event Systems. European Journal of Control, Special issue of European Control Conference, ECC 2003, 10(2), 2004. details doi pdf
  2. 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
  3. N. Bertrand, I. Charon, O. Hudry, A. Lobstein. Identifying and Locating-Dominating Codes on Chains and Cycles. European Journal of Combinatorics, 25(7):969-987, October 2004. details download pdf
  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, October 2004. details pdf

International Conferences

  1. B. Gaudin, H. Marchand. Modular Supervisory Control of a class of Concurrent Discrete Event Systems. In Workshop on Discrete Event Systems, WODES'04, Pages 181-186, September 2004. details pdf
  2. B. Jeannet, A. Loginov, T. Reps, M. Sagiv. A Relational Approach to Interprocedural Shape Analysis. In 11th Static Analysis Symposium - SAS 2004. Volume 3148 of LNCS, Verona, Italy, August 2004. details pdf
  3. B. Jeannet, W. Serwe. Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs. In 10th International Conference on Algebraic Methodology And Software Technology AMAST'2004. Volume 3116 of LNCS, July 2004. details pdf
  4. N. Bertrand, Ph. Schnoebelen. Verifying Nondeterministic Channel Systems With Probabilistic Message Losses. In Proceedings of the 3rd International Workshop on Automated Verification of Infinite-State Systems (AVIS'04), Ramesh Bharadwaj (ed.), Barcelona, Spain, April 2004. details pdf
  5. 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
  6. D. Cachera, T. Jensen, D. Pichardie, V. Rusu. Extracting a data flow analyser in constructive logic. In European Symposium on Programming,ESOP'04. Volume 2986 of LNCS, Pages 385-400, February 2004. details pdf

Research Reports

  1. B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva. Symbolic test selection using approximate analysis. Research Report IRISA, No 1649, October 2004. details ps
  2. E. Rutten, H. Marchand. Automatic Generation of Safe Handlers for Multi-Task Systems. Research Report INRIA, No 5345, October 2004. details pdf
  3. V. Rusu, H. Marchand, T. Jéron. Verification and Symbolic Test Generation for Safety Properties. Research Report IRISA, No 1640, August 2004. details pdf
  4. B. Jeannet, A. Loginov, T. Reps, M. Sagiv. A relational approach to interprocedural shape analysis. Research Report University of Wisconsin-Madison, No 0, April 2004. details download
  5. B. Gaudin, H. Marchand. Supervisory control of Concurrent Discrete Event Systems. Research Report IRISA, No 1593, January 2004. details pdf
  6. V. Rusu. Verifying an ATM Protocol Using a Combination of Formal Techniques. Research Report INRIA, No 5089, January 2004. details ps


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


  1. B. Gaudin. Synthèse de contrôleurs sur des systèmes à événements discrets structurés. PhD Thesis Université de Rennes 1, November 2004. details pdf
  2. E. Zinovieva. Méthodes symboliques pour la génération de tests de systèmes réactifs comportant des données. PhD Thesis Université de Rennes 1, November 2004. details pdf
  3. 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

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

| VerTeCs | Team | Publications | New Results | Softwares |
Irisa - Inria - Copyright 2005 © Projet VerTeCs