• Home
• People
• Publications

National Conferences

2019

1. H. Bazille, E. Fabre, B. Genest. Certification formelle des réseaux neuronaux profonds : un état de l'art en 2019. In AI and Defense 2019 - Artificial Intelligence and defense, Actes de AI&Defense, Pages 1-10, Rennes, France, November 2019.
2. M. Gonzalez, P. Bouyer, S. Lasaulce, N. Markey. Optimisation en présence de contraintes en probabilité et processus markoviens contrôlés. In GRETSI 2019 - XXVIIème Colloque GRETSI Traitement du Signal & des Images, Lille, France, August 2019.

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.

2010

1. L. Hélouet, B. Bollig, S. Haar. Diagnosis with Dynamic MSC Languages. In DOTS'2010, satellite workshop of CONCUR 2010, 2010.
2. L. Hélouett, A. Roumy. On the differences between covert channels and Interference. In GIPSY'2010 : 1st Workshop on Games, Logic and Security, 2010.

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 (MSR'09), 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.

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 (MSR'07), 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 (MSR'07), 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.

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