Thèses encadrées par Jean-Marc ROUSSEL
- Vers un langage de haut niveau pour une ingénierie des exigences agile dans le domaine des systèmes embarqués avioniques
B. Lebeaupin
Thèse en co-tutelle ENS Cachan / CentraleSupelec, 144 pages, décembre 2017
- Assessment of Reliability Indicators From Automatically Generated Partial Markov Chains
P.-A. Brameret
Thèse de l'ENS Cachan, 133 pages, juillet 2015
- Formalisation de la cohérence et calcul des séquences de coupe minimales pour les systèmes dynamiques réparables,
P.-Y. CHAUX
Thèse de l'ENS Cachan, 148 pages, 15 avril 2013
- Test de conformité de contrôleurs logiques spécifiés en Grafcet
J. PROVOST
Thèse de l'ENS Cachan, 170 pages, 8 juillet 2011
- Algebraic modelling of Dynamic Fault Trees, contribution to qualitative and quantitative analysis
G. MERLE
Thèse de l'ENS Cachan, 218 pages, 7 juillet 2010
- Synthèse algébrique de lois de commande pour les systèmes à évènements discrets logiques
Y.HIETTER
Thèse de l'ENS Cachan, 162 pages, 28 mai 2009
- Méthode de synthèse d'un contrôleur logique à partir de spécifications algébriques
A. MEDINA RODRIGUEZ
Thèse de l'Ecole Normale Supérieure de Cachan, Spécialité "Electronique, Electrotechnique et Automatique", 185 p., décembre 2007