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

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

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.
2. E. Rutten, H. Marchand. Automatic Generation of Safe Handlers for Multi-Task Systems. Research Report INRIA, No 5345, October 2004.
3. V. Rusu, H. Marchand, T. Jéron. Verification and Symbolic Test Generation for Safety Properties. Research Report IRISA, No 1640, August 2004.
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. download
5. B. Gaudin, H. Marchand. Supervisory control of Concurrent Discrete Event Systems. Research Report IRISA, No 1593, January 2004.
6. V. Rusu. Verifying an ATM Protocol Using a Combination of Formal Techniques. Research Report INRIA, No 5089, January 2004.

Misc

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

Thesis

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

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