2015

• Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi. Information and Computation.

2014

• Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi. Formal Methods and Software Engineering.

2013

• Reasoning about Strategies under Partial Observability and Fairness Constraints. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi. Proceedings 1st International Workshop on Strategic Reasoning, Rome, Italy, March 16-17, 2013.

2009

• A Formal Analysis of Requirements-Based Testing. Charles Pecheur, Franco Raimondi, Guillaume Brat. 2009 International Conference on Software Testing and Analysis (ISSTA), Chicago, IL.
• PDVer, a Tool to Verify PDDL Planning Domains. Franco Raimondi, Charles Pecheur, Guillaume Brat. Proceedings of ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling Systems, Thessaloniki, Greece.

2007

• Symbolic Model Checking of Logics with Actions. Charles Pecheur, Franco Raimondi. Workshop on Model Checking and Artificial Intelligence (MOCHART), Riva del Garda, Italy, 29 Aug 2006.
• Automatic Verification of Knowledge and Time with NuSMV. Alessio Lomuscio, Charles Pecheur, Franco Raimondi. 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India.
• Testing Planning Domains (without Model Checkers). Franco Raimondi, Charles Pecheur, Guillaume Brat. Third Workshop on Model-Based Testing (MBT 2007), Braga, Portugal.

2005

• Applications of model checking for multi-agent systems: verification of diagnosability and recoverability. Franco Raimondi, Charles Pecheur, Alessio Lomuscio. Proceedings of Concurrency Specification and Programming (CSP 2005), Ruciane-Nida, Poland.