Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Dissemination

Teaching - Supervision - Juries


Éric Fabre

Nathalie Bertrand

Loïc Hélouët



Éric Fabre was reviewer in the PhD defense committee of Yoann Geoffroy, A general framework for causality analysis based on traces, for composite systems, Dec. 2016, Univ. Grenoble Alpes. He was also jury member for the Habilitation defense of Blaise Genest, Taming Concurrency Using Representatives, March 2016, Univ. Rennes 1.

Hervé Marchand was member of the PhD defences of Hassan Ibrahim, Analyse à base de SAT de la diagnosticabilité et de la prédictabilité des systèmes à événements discrets centralisés et distribués (Université Paris-Sud, Gif-sur-Yvette), December 2016 and of Toussaint Tigori, Méthodes de génération d'exécutifs temps réel (Ecole centrale de Nantes, Nantes), in November 2016.

Nicolas Markey was reviewer in the PhD defense committee of Thanh-Tung Tran (LaBRI; supervised by Igor Walukiewicz and Frédéric Herbreteau).