DEAs encadrés par Jean-Marc ROUSSEL
- Spécification d'un contrôleur logique permettant sa synthèse de manière algébrique
Y. HIETTER
Mémoire de DEA, 26p., juin 2005
- Apport de la réécriture pour la vérification d'un programme de commande par Model-Checking: Cas du Ladder Diagram
O.CARDIN
Mémoire de DEA, juillet 2004
- Génération automatique de jeux de tests pour systèmes séquentiels et temporisés contenus dans un automate programmable industriel
J. ANTOINE
Mémoire de DEA, 32 p., juillet 2003
- Apports du calcul symbolique pour la conception sšre de programmes de contrôle/commande écrits en Ladder
O. GRABINSKI
Mémoire de DEA, 24 p., juin 2002
- Traductions Formelles Des Specifications Temporelles Du Grafcet
C. THIERRY
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1996
- Validation De Grafcets Par l'Etude De Leur Automate Equivalent. Analyse Des Besoins, Experimentation Sous l'Environnement Mec
C. DUCHE
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1994