National Conferences

2011

1. G. Delaval, E. Rutten, H. Marchand. Intégration de la synthèse de contrôleurs discrets dans un langage de programmation. In Modélisation des Systèmes Réactifs (MSR'11), Pages 125-140, Lille, France, November 2011.

2009

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.
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.
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.

2007

1. J. Dubreil, T. Jéron, H. Marchand. Construction de moniteurs pour la surveillance de propriétés de sécurité. In 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Pages 105-120, Lyon, France, October 2007.
2. E. Dumitrescu, A. Girault, H. Marchand, E. Rutten. Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes. In 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Pages 71-86, Lyon, France, October 2007.

2006

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, January 2006.

2005

1. B. Gaudin, H. Marchand. Une approche modulaire pour le contrôle de systèmes à événements discrets concurrents. In 5ième Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'05), Grenoble (Autrans), France, October 2005.

2003

1. B. Gaudin, H. Marchand. Contrôle de systèmes à événements discrets hiérarchiques. In 4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'03, Metz, France (Version Francaise de ECC'03), October 2003.
2. T. Jéron, H. Marchand, V. Rusu, V. Tschaen. Synthèse de contrôleurs pour une relation de conformité. In 4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'03, Metz, France, October 2003.
3. A. Khoumsi, J. Drissi. Méthode de construction de sous-module utilisant la théorie du contrôle des systèmes à événements discrets. In 4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'03, Metz, France, October 2003.

2002

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.

1997

1. C. Jard, T. Jéron, P. Morel, C. Viho. Une expérience de génération automatique de tests pour un protocole de cohérence de caches. In Actes de la conférence TESTING'97, Paris, June 1997.

1996

1. T. Jéron. Génération automatique de séquences tests par la technologie de la vérification. In Conférence invitée, Ecole d'été MOVEP, Nantes, June 1996.
2. T. Jéron. La génération de tests pour les protocoles à l'aide de la technologie de la vérification. In Conférence Software Testing'96, Paris, Club Génie Logiciel SEE, June 1996.
3. H. Marchand, E. Marchand, E. Rutten. Spécification et vérification de systèmes réactifs : expérimentation de la méthodologie synchrone SIGNAL. In Actes du Congrès AFCET sur la Modélisation des Systèmes Réactifs, MSR'96, Brest, March 1996.

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