Publications 2008

Thèses

  1. Camille Constant, Génération automatique de tests pour des modèles avec variables ou récursivité, Thèse de l'Ecole doctorale Matisse, Université de Rennes I, Novembre 2008. (détails)
  2. T. Le Gall, Abstract Lattices for the Verification of Systems with Queues and Stacks, Thèse de l'Ecole doctorale Matisse, Université de Rennes 1, Juillet 2008. (détails)

Livres

  1. J-M. Couvreur, T. Jéron (eds.), Proceedings of 8th School on MOdeling and VErifying parallel Process (MOVEP'08), 2008. (détails)

Articles de journaux

  1. J. Komenda, J. van Schuppen, B. Gaudin, H. Marchand, Supervisory Control of Modular Systems with Global Specification Languages, Automatica, 44:1127-1134, 2008. (détails)

Chapitres de livres

  1. C. Constant, T. Jéron, H. Marchand, V. Rusu, Validation of Reactive Systems, in Modeling and Verification of Real-TIME Systems - Formalisms and software Tools, S. Merz, N. Navet (eds.), Chapitre 2, Pages 51-76, Hermès Science, Janvier 2008. (détails)

Conferences internationales

  1. Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Groesser, Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata, in Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science (LICS'08), Pittsburgh, PA, USA, Juin 2008. (détails)
  2. Christel Baier, Nathalie Bertrand, Marcus Groesser, On Decision Problems for Probabilistic Büchi Automata, in Proceedings of the 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'08), Budapest, Hungary, Mars 2008. (détails)
  3. N. Bertrand, P. Bouyer, Th. Brihaye, N. Markey, Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics, in Proceedings of the 5th International Conference on the Quantitative Evaluation of SysTems (QEST'08), Saint Malo, France, Septembre 2008. (détails)
  4. G. Delaval, Modular Distribution and Application to Discrete Controller Synthesis, in International Workshop on Model-driven High-level Programming of Embedded Systems (SLA++P'08), Budapest, Hungary, Avril 2008. (détails)
  5. J. Dubreil, Ph. Darondeau, H. Marchand, Opacity Enforcing Control Synthesis, in Workshop on Discrete Event Systems, WODES'08, Gothenburg, Sweden, Mars 2008. (détails)
  6. Thierry Jéron, Symbolic model-based test selection, in Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2008), Salvador, Bahia, Brazil, P. Machado, A. Andrade, A. Duran (eds.), Pages 17-32, 2008. (détails)
  7. T. Jéron, H. Marchand, S. Genc, S. Lafortune, Predictability of Sequence Patterns in Discrete Event Systems, in IFAC World Congress, Seoul, Korea, Juillet 2008. (détails)

Rapport de recherche

  1. C. Baier, N. Bertrand, P. Bouyer, T. Brihaye, M. Grosser, A Probabilistic Semantics for Timed Automata, Research Report No LSV-08-13 Laboratoire Spécification et Vérification, ENS Cachan, France, Avril 2008. (détails)
  2. J. Dubreil, T. Jéron, H. Marchand, Monitoring Information flow by Diagnosis Techniques, Rapport de recherche IRISA, No 1901, Août 2008. (détails)
  3. J. Dubreil, Ph. Darondeau, H. Marchand, Opacity Enforcing Control Synthesis, Rapport de recherche IRISA, No 1887, Mars 2008. (détails)
  4. G. Kalyon, T. Le gall, H. Marchand, T. Massart, Control of Infinite Symbolic Transitions Systems under Partial Observation, Technical report of the verification group Univeristé Libre de Bruxelles, No 103, Octobre 2008. (détails)
  5. Ch. Morvan, S. Pinchinat, Diagnosis of Pushdown Systems, Rapport de recherche IRISA, No 1904, Octobre 2008. (détails)

Divers

  1. J. Dubreil, T. Jéron, L. Hélouët, H. Marchand, Evaluation des techniques de diagnostic pour la construction de détecteurs d'intrusions, Delivrable, Politess Project, 2008. (détails)
  2. L. Hélouët, H. Marchand, T. Jéron, Testing Cover Channel, Delivrable, Politess Project, 2008. (détails)
  3. H. Marchand, J. Dubreil, T. Jéron, Automatic Test Generation for Security Property, Delivrable, Politess Project, 2008. (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.