Mamoun Filali-Amine

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 1

Top Topics

Programming Language

Genetic Algorithm

Mission Critical

Top Venues

Publications

Jean-Paul Bodeveix, Mamoun Filali-Amine, Shuanglong Kan
A refinement-based compiler development for synchronous languages. MEMOCODE (2017)
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)
Mamoun Filali-Amine, Julia Lawall
Development of a Synchronous Subset of AADL. ASM (2010)