Conferences nationales

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, 2009. (détails)
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, Juin 2009. (détails)

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, Lyon, France, Octobre 2007. (détails)
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, Lyon, France, Octobre 2007. (détails)

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, Janvier 2006. (détails)

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, Octobre 2005. (détails)

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), Octobre 2003. (détails)
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, Octobre 2003. (détails)
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, Octobre 2003. (détails)

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, Janvier 2002. (détails)

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, Juin 1997. (détails)

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, Juin 1996. (détails)
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, Juin 1996. (détails)
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, Mars 1996. (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.