Publications 2008

Books

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

Academic Journals

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

Book Chapters

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.), Chap. 2, pp. 51-76, Hermès Science, January 2008.

International Conferences

1. 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), Pages 55-64, Saint Malo, France, September 2008.
2. T. Jéron, H. Marchand, S. Genc, S. Lafortune. Predictability of Sequence Patterns in Discrete Event Systems. In IFAC World Congress, Pages 537-453, Seoul, Korea, July 2008.
3. Ch. Baier, N. Bertrand, P. Bouyer, Th. Brihaye, M. 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), Pages 217-226, Pittsburgh, PA, USA, June 2008.
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, April 2008.
5. Ch. Baier, N. Bertrand, M. 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), LNCS, Volume 4962, Pages 287-301, Budapest, Hungary, March 2008.
6. J. Dubreil, Ph. Darondeau, H. Marchand. Opacity Enforcing Control Synthesis. In Workshop on Discrete Event Systems, WODES'08, Pages 28-35, Gothenburg, Sweden, March 2008.

Invited Conferences

1. 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.), Electronic Version available in ENTCS, Volume 240, pages 167-184, Pages 17-32, August 2008.

Research Reports

1. G. Kalyon, T. Le gall, H. Marchand, T. Massart. Control of Infinite Symbolic Transitions Systems under Partial Observation. Technical report of the verification group Université Libre de Bruxelles, No 103, October 2008.
2. Ch. Morvan, S. Pinchinat. Diagnosis of Pushdown Systems. Research Report IRISA, No 1904, October 2008.
3. J. Dubreil, T. Jéron, H. Marchand. Monitoring Information flow by Diagnosis Techniques. Research Report IRISA, No 1901, August 2008.
4. 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, April 2008.
5. J. Dubreil, Ph. Darondeau, H. Marchand. Opacity Enforcing Control Synthesis. Research Report IRISA, No 1887, March 2008.

Misc

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.
2. L. Hélouët, H. Marchand, T. Jéron. Testing Cover Channel. Delivrable, Politess Project, 2008.
3. H. Marchand, J. Dubreil, T. Jéron. Automatic Test Generation for Security Property. Delivrable, Politess Project, 2008.

Thesis

1. Camille Constant. Génération automatique de tests pour des modèles avec variables ou récursivité. PhD Thesis Ecole doctorale Matisse, Université de Rennes I, November 2008.
2. T. Le Gall. Abstract Lattices for the Verification of Systems with Queues and Stacks. PhD Thesis Ecole doctorale Matisse, Université de Rennes 1, July 2008.

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