Publications 2004

Academic Journals

  1. Eric Badouel, Philippe Darondeau. The synthesis of Petri nets from path-automatic specifications. Information and Computation, 193(2):117-135, 2004. details
  2. 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
  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. details doi 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

Book Chapters

  1. P. Darondeau. Unbounded Petri Net Synthesis. In Lectures on Concurrency and Petri Nets, Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (eds.), Vol. 3098, pp. 413-438, Lecture Notes in Computer Science, Springer, 2004. details pdf

International Conferences

  1. S. Abbes, A. Benveniste, S. Haar. A Petri net model for distributed learning. In Proceedings of MTNS 2004, 2004. details
  2. Eric Badouel, Jules Chenou. Les algèbres de Petri commutatives. In 7th African Conference on Research in Computer Science, CARI'04, 2004. details
  3. B. Genest, A. Muscholl, D. Kuske. A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms. In Developments in Language Theory, Volume LNCS 3340, Pages 30-48, 2004. details
  4. B. Genest, M. Minea, A. Muscholl, D. Peled. Specifying and Verifying Partial Order Properties Using Template MSCs. In FoSSaCS, Volume LNCS 2987, Pages 195-210, 2004. details
  5. J. Klein, B. Caillaud, L. Hélouet. Merging Scenarios. In Proc. of FMICS'04 (Formal Methods in Industrial and Critical Systems, 2004. details ps
  6. T. Ziadi, L. Hélouet, JM. Jézéquel. Revisiting Statechart Synthesis with an Algebraic Approach. In Proc. of ICSE 2004, 2004. details
  7. T. Ziadi, L. Hélouet, JM. Jézéquel. Behaviors Generation From Product Lines Requirements. In Proc. of UML2004 workshop on Software Architecture Description and UML, 2004. details
  8. A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, A.o Sangiovanni-Vincentelli. Heterogeneous Reactive Systems Modeling: Capturing Causality and the Correctness of Loosely Time-Triggered Architectures (LTTA). In Proceedings of the Fourth ACM International Conference on Embedded Software, EMSOFT'04, September 2004. details download pdf
  9. 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
  10. E. Fabre, A. Benveniste, S. Haar, C. Jard, A. Aghasaryan. Algorithms for Distributed Fault Management in Telecommunications Networks. In International Communication Conference (ICT), August 2004. details
  11. E. Fabre. Runs of a Distributed System are a Product of Local Runs. In Mathematical Theory of Networks and Systems (MTNS), July 2004. details
  12. L. Hélouet, M. Zeitoun, A. Degorre. Scenarios and cover channels: yet another game. In Proc. of GDV'04 : 1st workshop on Games In design and Verification, July 2004. details ps
  13. M. Koca, E. Fabre, A. Roumy. Turbo Decoding of multiple descriptions with quantized frame expansions. In International Symposium on Image/Video Communications over fixed and mobile networks, ISIVC'04, July 2004. details
  14. L. Hélouet. Finding covert channels in protocols with Message Sequence Charts: the case of RMTP2. In Proc. of SAM'2004, 4th conference on SDL and MSC, June 2004. details ps
  15. A. Roumy, D. Declercq, E. Fabre. Low Complexity Code Design for the 2-user Gaussian Multiple Access Channel. In Proc. of ISIT, IEEE Int. Conference on Information Theory, June 2004. details pdf
  16. 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
  17. 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

Research Reports

  1. S. Abbes, A. Benveniste, S. Haar. Distributed Probabilities on Locally Finite Event Structures - Extended Version. Research Report IRISA, No 1615, 2004. details
  2. S. Abbes, A. Benveniste. Branching Cells as local states for event structures and nets: probabilistic applications. Research Report IRISA, No 1651, 2004. details
  3. A. Benveniste, S. Haar, C. Fabre, C. Jard. Distributed monitoring of concurrent and asynchronous systems - extended version (update of research report PI-1540). Research Report IRISA, No 1636, 2004. details
  4. B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva. Symbolic test selection using approximate analysis. Research Report IRISA, No 1649, October 2004. details ps
  5. E. Rutten, H. Marchand. Automatic Generation of Safe Handlers for Multi-Task Systems. Research Report INRIA, No 5345, October 2004. details pdf
  6. V. Rusu, H. Marchand, T. Jéron. Verification and Symbolic Test Generation for Safety Properties. Research Report IRISA, No 1640, August 2004. details pdf
  7. A. Benveniste, E. Fabre, C. Jard, S. Haar. Distributed Monitoring of concurrent and asynchronous systems-extended version. Publication Interne INRIA, No 4842, July 2004. details pdf
  8. A. Benveniste, E. Fabre, C. Jard, S. Haar. Distributed Monitoring of concurrent and asynchronous systems-extended version. Publication Interne IRISA, No 1636, July 2004. details pdf
  9. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case. Research Report IRISA, No 1606, May 2004. details
  10. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case. Research Report INRIA, No 5186, May 2004. details
  11. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems, Part 2 : General Case. Publication Interne IRISA, No 1606, May 2004. details
  12. B. Gaudin, H. Marchand. Supervisory control of Concurrent Discrete Event Systems. Research Report IRISA, No 1593, January 2004. details pdf


  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
  2. L. Hélouet. Comparaison de langages de scénarios. Livrable L1.1.1r, CRE CO2, November 2004. details


  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

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