Publications 2009

Academic Journals

  1. Eric Rutten, Hervé Marchand. Automatic generation of safe handlers for multi-task systems. Journal of Embedded Computing, 3(4):255-276, 2009. details doi pdf

International Conferences

  1. C. Baier, N. Bertrand, M. Grosser. Probabilistic Acceptors for Languages over Infinite Words. In 35th Conference on Current Trends in Theory and Practice of Computer Science, LNCS, Volume 5404, Pages 19-33, Spindleruv Mlyn, Czech, 2009. details doi pdf
  2. N. Bertrand, A. Legay, S. Pinchinat, J-P. Raclet. A Compositional Approach on Modal Specifications for Timed Systems. In Proceedings of the 11th International Conference on Formal Engineering Methods (ICFEM'09), LNCS, Volume 5885, Pages 679-697, Rio de Janeiro, Brazil, December 2009. details doi pdf
  3. G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Computational Complexity for State-Feedback Controllers with Partial Observation. In 7th International Conference on Control and Automation, ICCA'09, Pages 435-441, Christchurch, New Zealand, December 2009. details doi pdf
  4. Vlad Rusu. Formal Executable Semantics for Conformance in the MDE Framework. In UML and FM workshop, Rio de Janeiro, Brazil, December 2009. details
  5. H. Marchand, J. Dubreil, T. Jéron. Automatic Testing of Access Control for Security Properties. In TestCom'09, LNCS, Volume 5826, Pages 113-128, November 2009. details doi pdf
  6. F. Cassez, J. Dubreil, H. Marchand. Dynamic Observers for the Synthesis of Opaque Systems. In 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), Z. Liu, A.P. Ravn (eds.), LNCS, Volume 5799, Pages 352-367, Macao SAR, China, October 2009. details doi pdf
  7. C. Morvan, S. Pinchinat. Diagnosability of pushdown systems. In HVC2009, Haifa Verification Conference, LNCS, Volume 6405, Pages 21-33, Haifa, Israel, October 2009. details doi pdf
  8. N. Bertrand, B. Genest, Gimbert. H.. Qualitative Determinacy and Decidability of Stochastic Games with Signals. In 24th Annual IEEE Symposium on Logic in Computer Science (LICS'09), Pages 319-328, Los Angeles, CA, USA, August 2009. details doi pdf
  9. J. Dubreil, T. Jéron, H. Marchand. Monitoring Confidentiality by Diagnosis Techniques. In European Control Conference, Pages 2584-2590, Budapest, Hungary, August 2009. details pdf
  10. G. Kalyon, Le Gall T, H. Marchand, T. Massart. Control of Infinite Symbolic Transition Systems under Partial Observation. In European Control Conference, Pages 1456-1462, Budapest, Hungary, August 2009. details pdf
  11. C. Morvan. On external presentations of infinite graphs. In 11th International Workshop on Verification of Infinite-State Systems, INFINITY'09, EPTCS, Volume 10, Pages 22-35, Bologna, Italy, August 2009. details download
  12. C. Baier, N. Bertrand, P. Bouyer, Th. Brihaye. When are timed automata determinizable?. In 36th International Colloquium on Automata, Languages and Programming (ICALP'09), LNCS, Volume 5556, Pages 43-54, Rhodes, Greece, July 2009. details doi pdf
  13. J. Dubreil. Opacity and Abstraction. In Proceedings of the First International Workshop on Abstractions for Petri Nets and Other Models of Concurrency (APNOC'09), Paris, France, June 2009. details pdf
  14. N. Bertrand, S. Pinchinat, J.B. Raclet. Refinement and Consistency of Timed Modal Specifications. In Proceedings of the 3rd International Conference on Language and Automata Theory and Applications (LATA'09), LNCS, Volume 5457, Pages 152-163, Tarragona, Spain, April 2009. details doi pdf

National Conferences

  1. G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Contrôle décentralisé de systèmes symboliques infinis sous observation partielle. In 7ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Pages 805-820, November 2009. details
  2. H. Marchand, J. Dubreil, T. Jéron. Génération automatique de tests pour des propriétés de sécurité. In 4ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Pages 157-174, June 2009. details pdf
  3. V. Rusu, M. Clavel. Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. In Vingtièmes Journées Francophones des Langages Applicatifs, JFLA 2009, A. Schmitt (ed.), Studia Informatica Universalis, Volume 7.2, Pages 317-350, Saint Quentin sur Isère, France, February 2009. details pdf

Research Reports

  1. Gwenael. Delaval, Hervé Marchand, Eric Rutten. BZR Contracts for Modular Discrete Controller Synthesis. Research Report INRIA, No 7111, November 2009. details pdf
  2. F. Cassez, J. Dubreil, H. Marchand. Dynamic Observers for the Synthesis of Opaque Systems. Research Report IRISA, No 1930, May 2009. details pdf
  3. C. Morvan. Contextual graph grammars characterizing context-sensitive languages. Research Report IRISA, No 1926, March 2009. details pdf
  4. J. Dubreil, Ph. Darondeau, H. Marchand. Supervisory Control for Opacity. Research Report IRISA, No 1921, February 2009. details pdf


  1. Ch. Baier, N. Bertrand, M. Grösser. The Effect of Tossing Coins in Omega-Automata. Proceedings of the 20th International Conference on Concurrency Theory (CONCUR'09), pp. 15-29, 2009. details
  2. T Jéron. Génération de tests pour les systèmes réactifs et temporisés. Ecole d'Eté Temps-Réel, Télécom ParisTech, Paris, September 2009. details pdf
  3. C. Morvan, S. Pinchinat. Diagnosability of pushdown systems. AutomathA, Liège, Belgique, June 2009. details


  1. Jérémy Dubreil. Monitoring and Supervisory Control for Opacity Properties. PhD Thesis Université de Rennes 1, November 2009. 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