| 2020 | MEMOCODE | Runtime Verification of Timed Properties in Autonomous Robots. | Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Flix Ingrand |
| 2018 | ICSE | Formal verification of complex robotic systems on resource-constrained platforms. | Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Flix Ingrand, Anthony Mallet |
| 2017 | QRS | Can Robot Navigation Bugs Be Found in Simulation? An Exploratory Study. | Thierry Sotiropoulos, Hlne Waeselynck, Jrmie Guiochet, Flix Ingrand |
| 2016 | EDCC | Virtual Worlds for Testing Robot Navigation: A Study on the Difficulty Level. | Thierry Sotiropoulos, Jrmie Guiochet, Flix Ingrand, Hlne Waeselynck |
| 2016 | ICFEM | Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots. | Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Flix Ingrand, Anthony Mallet |
| 2016 | IJCAI | Which Contingent Events to Observe for the Dynamic Controllability of a Plan. | Arthur Bit-Monnot, Malik Ghallab, Flix Ingrand |
| 2015 | HRI | A Verifiable and Correct-by-Construction Controller for Robots in Human Environments. | Lavindra de Silva, Rongjie Yan, Flix Ingrand, Rachid Alami, Saddek Bensalem |
| 2014 | ICTAI | Planning and Acting with Temporal and Hierarchical Decomposition Models. | Filip Dvork, Roman Bartk, Arthur Bit-Monnot, Flix Ingrand, Malik Ghallab |
| 2012 | EDCC | Testing the Input Timing Robustness of Real-Time Control Software for Autonomous Systems. | David Powell, Jean Arlat, Hoang Nam Chu, Flix Ingrand, Marc-Olivier Killijian |
| 2008 | ECAI | Incremental Component-Based Construction and Verification of a Robotic System. | Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Flix Ingrand, Joseph Sifakis |
| 2007 | DSN | Fault Tolerant Planning for Critical Robots. | Benjamin Lussier, Matthieu Gallien, Jrmie Guiochet, Flix Ingrand, Marc-Olivier Killijian, David Powell |
| 2006 | ECAI | Learning Behaviors Models for Robot Execution Control. | Guillaume Infantes, Flix Ingrand, Malik Ghallab |
| 2004 | AAAI | Interleaving Temporal Planning and Execution in Robotics Domains. | Solange Lemai, Flix Ingrand |
| 2004 | ECAI | Robel: Synthesizing and Conrolling Complex Robust Robot Behaviors. | Benoit Morisset, Guillaume Infantes, Malik Ghallab, Flix Ingrand |
| 2004 | IROS | Model-based executive control through reactive planning for autonomous rovers. | Alberto Finzi, Flix Ingrand, Nicola Muscettola |
| 2004 | IROS | Dependable execution control for autonomous robots. | Frdric Py, Flix Ingrand |
| 2001 | ETFA | An architecture for dependable autonomous robots. | Flix Ingrand, Raja Chatila, Rachid Alami |
| 2000 | IROS | Diligent: towards a human-friendly navigation system. | Rachid Alami, Igor Belousov, Sara Fleury, Matthieu Herrb, Flix Ingrand, Javier Minguez, Benoit Morisset |
| 1997 | ICRA | Operating a large fleet of mobile robots using the plan-merging paradigm. | Rachid Alami, Sara Fleury, Matthieu Herrb, Flix Ingrand, Samer Qutub |
| 1997 | IROS | How to solve deadlock situations within the plan-merging paradigm for multi-robot cooperation. | Samer Qutub, Rachid Alami, Flix Ingrand |
| 1995 | ICRA | Multi-Robot Cooperation through Incremental Plan-Merging. | Rachid Alami, Frdric Robert, Flix Ingrand, Sho'ji Suzuki |
| 1995 | IROS | Ten autonomous mobile robots (and even more) in a route network like environment. | Luis E. Aguilar, Rachid Alami, Sara Fleury, Matthieu Herrb, Flix Ingrand, Frdric Robert |