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

• Testing Planning Domains (without Model Checkers). Franco Raimondi, Charles Pecheur, Guillaume Brat. Third Workshop on Model-Based Testing (MBT 2007), Braga, Portugal.