Professeur

Chef d'équipe (MOSES)

Equipe(s)

MOSES

Thèses dirigées ou co-encadrées au sein de CRIStAL

Ben Li

Diagnosis and Diagnosability of Complex Discrete Event Systems Modeled by Labeled Petri Nets Soutenue le 3 mai 2017

Yuchen Xie

Requirements Specification for Dependable Embedded Systems Design

Olfa Fakhfakh

Surveillance et diagnostic par le flux d’ateliers de production cyclique Soutenue le 2 décembre 2015

Paul Cazenave

Synthèse de contrôleurs pour la commande automatique des systèmes ferroviaires