Publications 2003

Academic Journals

1. V. Rusu. Combining formal verification and conformance testing for validating reactive systems. Journal of Software Testing, Verification, and Reliability, 13(3), September 2003.
2. B. Jeannet. Dynamic Partitioning In Linear Relation Analysis. Application To The Verification Of Reactive Systems. Formal Methods in System Design, available at http://ipsapp008.kluweronline.com/ips/frames/toc.asp?J=4715&I=39, 23(1):5-37, July 2003.

International Conferences

1. V. Rusu. Compositional verification of an ATM protocol. In Formal Methods Europe (FME'03), (postscript, and PVS files), 2003.
2. 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.
3. A. Khoumsi, Jéron T, H. Marchand. Test Cases Generation for Nondeterministic Real-time Systems. In 3rd International Workshop on Formal Approaches To Testing of Software (FATES 2003), Montréal, Québec, Canada, October 2003.
4. F. Gaucher, E. Jahier, B. Jeannet, F. Maraninchi. Automatic State Reaching for Debugging Reactive Programs. In Fifth International Workshop on Automated and Algorithmic Debugging AADEBUG'2003,Ghent (Belgium), September 2003.
5. B. Gaudin, H Marchand. Modular Supervisory Control of Asynchronous and Hierarchical Finite State Machines. In European Control Conference, ECC 2003, An extended version (with the proofs) is available at http://www.irisa.fr/vertecs/Publis/Ps/2003-ECC-Extended-version.pdf, Cambridge, UK, September 2003.
6. N. Bertrand, Ph. Schnoebelen. Model Checking Lossy Channels Systems Is Probably Decidable. In Proceedings of the 6th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'03), Andrew D. Gordon (ed.), Lecture Notes in Computer Science, Volume 2620, Pages 120-135, Warsaw, Poland, April 2003.

National Conferences

1. B. Gaudin, H. Marchand. Contrôle de systèmes à événements discrets hiérarchiques. In 4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'03, Metz, France (Version Francaise de ECC'03), October 2003.
2. 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.
3. A. Khoumsi, J. Drissi. Méthode de construction de sous-module utilisant la théorie du contrôle des systèmes à événements discrets. In 4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'03, Metz, France, October 2003.

Research Reports

1. B. Gaudin, H Marchand. Supervisory Control of Structured Discrete Event Systems. Research Report IRISA, No 1569, November 2003.
2. B. Jeannet, W. Serwe. Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs. Research Report IRISA, No 1543, July 2003.

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