| 2023 | ETFA | Construction of Model-based Diagnosis of Cyber-Attack in Cyber-Physical Systems Using Labeled Petri Nets. | Romain Thibert, Gregory Faraut, Sad Amari |
| 2020 | SMC | Life Habits Modeling with Stochastic Timed Automata in Ambient Assisted Living. | Kevin Fouquet, Gregory Faraut, Jean-Jacques Lesage |
| 2017 | ETFA | Recognition of human activity based on probabilistic finite-state automata. | Kevin Viard, Maria Pia Fanti, Gregory Faraut, Jean-Jacques Lesage |
| 2017 | SMC | Smart placement of motion sensors in a home environment. | Maria Pia Fanti, Michele Roccotelli, Gregory Faraut, Jean-Jacques Lesage |
| 2016 | ETFA | Motion detector placement optimization in smart homes for inhabitant location tracking. | Maria Pia Fanti, Michele Roccotelli, Jean-Jacques Lesage, Gregory Faraut |
| 2013 | SMC | Online Location Tracking of a Single Inhabitant Based on a State Estimator. | Mickal Danancher, Jean-Jacques Lesage, Lothar Litz, Gregory Faraut |
| 2011 | ETFA | Process tracking by equivalent states in modal supervisory control. | Gregory Faraut, Laurent Pitrac, ric Niel |
| 2008 | ETFA | Identification of incompatible states in mode switching. | Gregory Faraut, Laurent Pitrac, ric Niel |