Convincing Proofs for Program Certification. - Manuel Garnacho; Michaël Périn (SafeCert@ETAPS, 2008)

Automatisation de la Certification Formelle de Systèmes Critiques par Instrumentation d'Interpréteurs Abstraits. (Automatic and formal certification of critical systems by instrumentation of abstract interpreters). - Manuel Garnacho (2010)

An Automatic Technique for Checking the Simulation of Timed Systems. - Elie Fares; Jean-Paul Bodeveix; Mamoun Filali-Amine; Manuel Garnacho (ATVA, 2013)

A Mechanized Semantic Framework for Real-Time Systems. - Manuel Garnacho; Jean-Paul Bodeveix; Mamoun Filali-Amine (FORMATS, 2013)

Towards a verified transformation from AADL to the formal component-based language FIACRE. - Jean-Paul Bodeveix; Mamoun Filali; Manuel Garnacho; Régis Spadotti; Zhibin Yang (Sci. Comput. Program., 2015)