Publications 2002


  1. R. Hierons, T. Jéron (eds.). FATES'02, Formal Approaches to Testing of Software, A Satellite Workshop of CONCUR'02. Inria Report, August 2002. details pdf

Academic Journals

  1. T. Jéron. TGV: théorie, principes et algorithmes. Techniques et Sciences Informatiques, numéro spécial Test de Logiciels, (21), 2002. details
  2. H. Marchand, O. Boivineau, S. Lafortune. On Optimal Control of a class of partially-Observed Discrete Event Systems. Automatica, 38(11):1935-1943, October 2002. details doi pdf

International Conferences

  1. D. Clarke, T. Jéron, V. Rusu, E. Zinovieva. STG: a Symbolic Test Generation tool. In (Tool paper) Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02). Volume 2280 of LNCS, 2002. details ps
  2. V. Rusu. Verification using test generation techniques. In Formal Methods Europe (FME'02), 2002. details download
  3. V. Rusu, E. Zinovieva, D. Clarke. Verifying Invariants More Automatically. In Verification and Computatoiional Logic, VCL'02, 2002. details download
  4. H. Marchand, B. Gaudin. Supervisory Control Problems of Hierarchical Finite State Machines. In 41th IEEE Conference on Decision and Control, Pages 1199-1204, Las Vegas, USA, December 2002. details doi pdf
  5. S. Pickin, C. Jard, Y. Le Traon, T. Jéron, J.-M. Jezequel, A. Le Guennec. System Test Synthesis from UML Models of Distributed Software. In Forte 2002, 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems. Volume 2529 of LNCS, Houston, Texas, November 2002. details pdf
  6. A. Benveniste, P. Caspi, P. Le Guernic, H. Marchand, J.P. Talpin, S. Tripakis. A Protocol for Loosely Time-Triggered Architectures. In Embedded Software Conference (EMSOFT '02), LNCS, Volume 2491, Pages 252-265, Grenoble, France, October 2002. details doi pdf
  7. H. Marchand, E. Rutten. A case study in applying discrete control synthesis to excavator operation. In IEEE International Conference on Systems, Man and Cybernetics (IEEE SMC), Hammamet, Tunisia, October 2002. details doi pdf
  8. B. Jeannet. Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes. In Static Analysis Symposium, SAS'02, LNCS, Volume 2477, Pages 52-68, Madrid (Spain)), September 2002. details pdf
  9. B. Jeannet, P. D'Argenio, K.G. Larsen. RAPTURE: A tool for verifying Markov Decision Processes. In Tools Day, International Conference on Concurrency Theory, CONCUR'02, Brno, Czech Republic, August 2002. details ps
  10. P. D'Argenio, B. Jeannet, H.E. Jensen, K.G. Larsen. Reduction and Refinement Strategies for Probabilistic Analysis. In Process Algebra and Probabilistic Methods - Performance Modelling and Verification, PAPM-PROBMIV 2002, LNCS, Volume 2399, Copenhagen, Denmark, July 2002. details ps
  11. C. Jard, T. Jéron. TGV: theory, principles and algorithms. In The Sixth World Conference on Integrated Design & Process Technology (IDPT'02), Pasadena, California, USA, June 2002. details ps
  12. H. Marchand, E. Rutten. Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis. In 14th Euromicro Conference on Real-Time Systems (ECRTS'02), Pages 241-248, June 2002. details doi pdf
  13. E. Zinovieva. Symbolic Test Generation for Reactive Systems. In Proceedings of the Modelling and Verifying Parallel Processes Summer School (MOVEP'02), June 2002. details

National Conferences

  1. H. Marchand, L. Rozé. Diagnostic de pannes sur des systèmes à événements discrets : une approche à base de modèles symboliques. In 13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle, Pages 191-200, Angers, France, January 2002. details pdf

Research Reports

  1. E. Rutten, H. Marchand. Task-level programming for control systems using discrete control synthesis. Research Report INRIA, No 4389, February 2002. details pdf


  1. V. Tschaen. Compositionality issues in test Synthesis. Proceedings of the Modelling and Verifying Parallel Processes Summer School (MOVEP'02), June 2002. 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