| 2024 | ICINCO | Setting up a Digital Twin for Real-Time Remote Monitoring of a Cyber-Physical System. | Adrien Vinel, Sverine Durieux, Laurent Pitrac, Glnio Simio Ramalho, Nicolas Blanchard |
| 2020 | CoDIT | From events to complex behaviors: a formal contribution to the requirement expression in Supervisory Control Theory. | Laurent Pitrac, Emil Dumitrescu, ric Niel |
| 2017 | ETFA | A new approach of modeling supervisory control for manufacturing systems based on SysML. | Xiaoshan Lu, Laurent Pitrac, ric Niel |
| 2011 | ETFA | Process tracking by equivalent states in modal supervisory control. | Gregory Faraut, Laurent Pitrac, ric Niel |
| 2011 | ETFA | On the use of SysML for manufacturing execution system design. | Laurent Pitrac, Arnaud Lelev, Sbastien Henry |
| 2008 | ETFA | A supervisor implementation approach in Discrete Controller Synthesis. | Emil Dumitrescu, Mingming Ren, Laurent Pitrac, ric Niel |
| 2008 | ETFA | Identification of incompatible states in mode switching. | Gregory Faraut, Laurent Pitrac, ric Niel |
| 2007 | ETFA | A formal approach for the specification, verification and control of flexible manufacturing systems. | Sajeh Zairi, Belhassen Zouari, Laurent Pitrac |