Publications 2003

Articles de journaux

  1. B. Jeannet, Dynamic Partitioning In Linear Relation Analysis. Application To The Verification Of Reactive Systems, Formal Methods in System Design, 23(1):5-37, Juillet 2003. (détails)
  2. V. Rusu, Combining formal verification and conformance testing for validating reactive systems, Journal of Software Testing, Verification, and Reliability, 13(3), Septembre 2003. (détails)

Conferences internationales

  1. 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), AndrewD. Gordon (ed.), Volume 2620, Pages 120-135, Warsaw, Poland, Avril 2003. (détails)
  2. 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), Septembre 2003. (détails)
  3. B. Gaudin, H Marchand, Modular Supervisory Control of Asynchronous and Hierarchical Finite State Machines, in European Control Conference, ECC 2003, Cambridge, UK, Septembre 2003. (détails)
  4. 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, Décembre 2003. (détails)
  5. 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, Octobre 2003. (détails)
  6. V. Rusu, Compositional verification of an ATM protocol, in Formal Methods Europe (FME'03), 2003. (détails)

Conferences nationales

  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), Octobre 2003. (détails)
  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, Octobre 2003. (détails)
  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, Octobre 2003. (détails)

Rapport de recherche

  1. B. Gaudin, H Marchand, Supervisory Control of Structured Discrete Event Systems, Research Report IRISA, No 1569, Novembre 2003. (détails)
  2. B. Jeannet, W. Serwe, Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs, Rapport de recherche IRISA, No 1543, Juillet 2003. (détails)

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 has been automatically generated using the bib2html program.