Manuel Garnacho

According to our database, Manuel Garnacho authored at least 5 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

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

2013

A Mechanized Semantic Framework for Real-Time Systems.

Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali-Amine

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

An Automatic Technique for Checking the Simulation of Timed Systems.

Elie Fares, Jean-Paul Bodeveix, Mamoun Filali-Amine, Manuel Garnacho

Proceedings of the Automated Technology for Verification and Analysis, 2013

2010

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

PhD thesis, 2010

2008

Convincing Proofs for Program Certification.

Manuel Garnacho, Michaël Périn

Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008