Manuel Garnacho

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 1

Top Topics

Formal Languages

Precisely Defined

Operational Semantics

Top Venues

Sci. Comput. Program.

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho, Régis Spadotti, Zhibin Yang
Towards a verified transformation from AADL to the formal component-based language FIACRE. Sci. Comput. Program. 106 (2015)
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali-Amine, Manuel Garnacho
An Automatic Technique for Checking the Simulation of Timed Systems. ATVA (2013)
Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali-Amine
A Mechanized Semantic Framework for Real-Time Systems. FORMATS (2013)
Manuel Garnacho, Michaël Périn
Convincing Proofs for Program Certification. Electron. Notes Theor. Comput. Sci. 238 (4) (2009)