| 2021 | MODELSWARD | Verification of Scenario-based Behavioural Models using Capella and PyNuSMV. | Simon Busard, Christophe Ponsard, Charles Pecheur |
| 2018 | FM | Producing Explanations for Rich Logics. | Simon Busard, Charles Pecheur |
| 2014 | ICFEM | Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. | Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi |
| 2011 | SMC | A formal framework for design and analysis of human-machine interaction. | Sbastien Combfis, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary |
| 2009 | EICS | A bisimulation-based approach to the analysis of human-computer interaction. | Sbastien Combfis, Charles Pecheur |
| 2009 | ISSTA | A formal analysis of requirements-based testing. | Charles Pecheur, Franco Raimondi, Guillaume Brat |
| 2008 | FMICS | Efficient Symbolic Model Checking for Process Algebras. | Jos Vander Meulen, Charles Pecheur |
| 2007 | FMICS | Verification of Embedded Software: From Mars to Actions. | Charles Pecheur |
| 2007 | IJCAI | Automatic Verification of Knowledge and Time with NuSMV. | Alessio Lomuscio, Charles Pecheur, Franco Raimondi |
| 2004 | TACAS | Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder. | A. E. Lindsey, Charles Pecheur |
| 2003 | IJCAI | Formal Verification of Diagnosability via Symbolic Model Checking. | Alessandro Cimatti, Charles Pecheur, Roberto Cavada |
| 2000 | IROS | Towards automatic verification of autonomous systems. | Reid G. Simmons, Charles Pecheur, Grama Srinivasan |