2007

• 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.

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.