| 2020 | SMC | Life Habits Modeling with Stochastic Timed Automata in Ambient Assisted Living. | Kevin Fouquet, Gregory Faraut, Jean-Jacques Lesage |
| 2019 | CoDIT | Discovering Systematic Relations between Alarms for Alarm Flows Reduction. | Yannick Laumonier, Jean-Marc Faure, Jean-Jacques Lesage, H. Sabot |
| 2017 | ETFA | Towards alarm flood reduction. | Yannick Laumonier, Jean-Marc Faure, Jean-Jacques Lesage, H. Sabot |
| 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 |
| 2014 | ETFA | Petri net discovery of discrete event processes by computing t-invariants. | Tonatiuh Tapia-Flores, Ernesto Lpez-Mellado, Ana Paula Estrada-Vargas, Jean-Jacques Lesage |
| 2013 | ETFA | Identification of partially observable discrete event manufacturing systems. | Ana Paula Estrada-Vargas, Ernesto Lpez-Mellado, Jean-Jacques Lesage |
| 2013 | SMC | Online Location Tracking of a Single Inhabitant Based on a State Estimator. | Mickal Danancher, Jean-Jacques Lesage, Lothar Litz, Gregory Faraut |
| 2012 | ICOST | Indoor Location Tracking Based on a Discrete Event Model. | Mickal Danancher, Jean-Jacques Lesage, Lothar Litz |
| 2011 | ETFA | Stepwise identification of automated discrete manufacturing systems. | Ana Paula Estrada-Vargas, Jean-Jacques Lesage, Ernesto Lpez-Mellado |
| 2011 | ICINCO | Improving Dependability of Controlled Systems - A Challenge for Automation Science and Engineering. | Jean-Marc Faure, Jean-Jacques Lesage |
| 2010 | ICINCO | Identification of Discrete Event Systems - Implementation Issues and Model Completeness. | Matthias Roth, Lothar Litz, Jean-Jacques Lesage |
| 2009 | SMC | Off-line Identification of Concurrent Discrete Event Systems Exhibiting Cyclic Behaviour. | Ana Paula Estrada-Vargas, Ernesto Lpez-Mellado, Jean-Jacques Lesage |
| 2007 | ETFA | Formal verification of redundant media extension of Ethernet PowerLink. | Steve Limal, Stphane Potier, Bruno Denis, Jean-Jacques Lesage |
| 2000 | SMC | Towards the automatic verification of PLC programs written in Instruction List. | Graud Canet, Sandrine Couffin, Jean-Jacques Lesage, Antoine Petit, Philippe Schnoebelen |