Publications 2006

Thèses

  1. N. Bertrand, Modèles stochastiques pour les pertes de messages dans les protocoles asynchrones et techniques de vérification automatique, Thèse de l'Laboratoire Spécification et Vérification, ENS Cachan, France, Septembre 2006. (détails)
  2. V. Rusu, Formal verification and conformance testing for reactive systems, Habilitation à diriger des recherches de l'Université de Rennes 1, Décembre 2006. (détails)

Articles de journaux

  1. C. Baier, N. Bertrand, Ph. Schnoebelen, A note on the attractor-property of infinite-state Markov chains, Information Processing Letters, 97(2):58-63, Janvier 2006. (détails)
  2. T. Le Gall, B. Jeannet, H. Marchand, Contrôle de systèmes symboliques, discrets ou hybrides, Technique et Science Informatiques (TSI), 25:293-319, 2006. (détails)
  3. v. Rusu, Verifying an ATM Protocol Using a Combination of Formal Techniques, Computer Journal, 49(6):710-730, Novembre 2006. (détails)

Chapitres de livres

  1. C. Constant, T. Jéron, H. Marchand, V. Rusu, Combinaison entre vérification et test pour la validation de systèmes réactifs, in Traité I2C. Systèmes Temps Réel: Techniques de Description et de Vérification - Théorie et Outils, Volume 1, Chapitre 2, Pages 59-88, Hermès Science, 2006. (détails)

Conferences internationales

  1. C. Baier, N. Bertrand, Ph. Schnoebelen, Symbolic verification of communicating systems with probabilistic message losses: liveness and fairness, in Proceedings of 26th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'06), Elie Najm, Jean-Francois Pradat-Peyre, Véronique Vigui\' Donzeau-Gouge (eds.), Volume 4229, Pages 212-227, Paris, France, Septembre 2006. (détails)
  2. G. Barthe, J. Forest, D. Pichardie, V. Rusu, Defining and reasoning about recursive functions: a practical tool for the Coq proof assistant, in Functional and LOgic Programming Systems (FLOPS'06), Volume 3945, Pages 114-129, Fuji Susono, Japan, Avril 2006. (détails)
  3. N. Bertrand, Ph. Schnoebelen, A short visit to the STS hierarchy, in Proceedings of the 12th International Workshop on Expressiveness in Concurrency (EXPRESS'05), Jos Baeten, Iain Phillips (eds.), Volume 154, Pages 59-69, San Francisco, CA, USA, Juillet 2006. (détails)
  4. B. Blanc, F. Bouquet, A. Gotlieb, B. Jeannet, T. Jéron, B. Legeard, B. Marre, C. Michel, M. Rueher, The V3F Project, in Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA06), Nantes, B. Blanc, A. Gotlieb, C. Michel (eds.), 2006. (détails)
  5. Thierry Jéron, Model-based test selection for infinite state reactive systems, in 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES'06, Braga, Portugal, Octobre 2006. (détails)
  6. T. Jéron, H. Marchand, V. Rusu, Symbolic Determinisation of Extended Automata, in 4th IFIP International Conference on Theoretical Computer Science, Stantiago, Chile, Août 2006. (détails)
  7. T. Jéron, H. Marchand, S. Pinchinat, M-O. Cordier, Supervision Patterns in Discrete Event Systems Diagnosis, in Workshop on Discrete Event Systems, WODES'06, Ann-Arbor (MI, USA), Juillet 2006. (détails)
  8. J. Komenda, H. Marchand, S. Pinchinat, A constructive approach to decentralized supervisory Control problems, in 3rd IFAC Workshop on Discrete-Event System Design, 2006. (détails)
  9. T. Le Gall, B. Jeannet, T. Jéron, Verification of Communication Protocols using Abstract Interpretation of FIFO queues, in 11th International Conference on Algebraic Methodology and Software Technology, AMAST '06, Kuressaare, Estonia, Michael Johnson, Varmo Vene (eds.), Volume 4019, Pages 204-219, Juillet 2006. (détails)
  10. K. Schmidt, H. Marchand, B. Gaudin, Modular and Decentralized Supervisory Control of Concurrent Discrete Event Systems Using Reduced System Models, in Workshop on Discrete Event Systems, WODES'06, Pages 149-154, Ann-Arbor (MI, USA), Juillet 2006. (détails)

Conferences nationales

  1. T. Jéron, H. Marchand, M-O. Cordier, Motifs de surveillance pour le diagnostics de systèmes à événements discrets finis, in 15e congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle, Tours, France, Janvier 2006. (détails)

Rapport de recherche

  1. C. Breunesse, E. Hubbers, P. Koopman, W. Mostowski, M. Oostdijk, V. Rusu, R. de Vries, A. van Weelden, R. Wichers Schreur, T. Willemse, Testing the Dutch e-passport, Rapport de recherche Radboud University, Nijmegen, The Netherlands, 2006. (détails)
  2. J. Dubreil, Non-Interference on Symbolic Transition System, Master Thesis Uppsala University, Février 2006. (détails)
  3. T. Jéron, H. Marchand, V. Rusu, Symbolic Determinisation of Extended Automata, Rapport de recherche IRISA, No 1176, Février 2006. (détails)
  4. T. Jéron, H. Marchand, S. Pinchinat, M-O. Cordier, Supervision Patterns in Discrete Event Systems Diagnosis, Rapport de recherche IRISA, No 1784, Février 2006. (détails)

Divers

  1. L. Besnard, H. Marchand, E. Rutten, The Sigali Tool Box Environment, Workshop on Discrete Event Systems, WODES'06 (Tool Paper), pp. 465-466, Ann-Arbor (MI, USA), Juillet 2006. (détails)
  2. Bruno Legeard, Michel Rueher, Thierry Jéron, Bruno Marre, V3F: Validation et Vérification en présence de calculs à Virgule Flottante, Rapport final de l'Action Concertée Incitative, Sécurité Informatique, Octobre 2006. (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.