Frederic Boulanger

Laboratoire

Laboratoire Méthodes Formelles

Site WEB

Publications (82)

Communication dans un congrès 01/09/2012

MoDeVVa 2012 workshop summary

Frédéric Boulanger , Michalis Famelis , Frédéric Fondement , Lucio Levi , Stephan Weissleder , Frederic Boulanger

Chapitre d'ouvrage 01/04/2012

Semantic Adaptation using CCSL Clock Constraints

Frédéric Boulanger , Ayman Dogui , Cécile Hardebolle , Christophe Jacquet , Dominique Marcadet , Iuliana Prodan , Frederic Boulanger , Dominique Marcadet

Communication dans un congrès 01/01/2012

Heterogeneous Modeling of Gesture-Based 3D Applications

Romuald Deshayes , Christophe Jacquet , Cécile Hardebolle , Frédéric Boulanger , Tom Mens , Frederic Boulanger

HDR 08/06/2011

Modèles, systèmes, hétérogénéité

Frédéric Boulanger , Frederic Boulanger

Communication dans un congrès 01/01/2011

Semantic Adaptation for Models of Computation

Frédéric Boulanger , Cécile Hardebolle , Christophe Jacquet , Dominique Marcadet , Frederic Boulanger , Dominique Marcadet

Communication dans un congrès 01/01/2011

Semantic Adaptation using CCSL Clock Constraints

Frédéric Boulanger , Ayman Dogui , Cécile Hardebolle , Christophe Jacquet , Dominique Marcadet , Iuliana Prodan , Frederic Boulanger , Dominique Marcadet

Article dans une revue 02/09/2010

Minimum Tree Cost Quartet Puzzling

Tudor B. Ionescu , Géraldine Polaillon , Frédéric Boulanger , Frederic Boulanger

Communication dans un congrès 01/09/2010

Testing of Abstract Components

Bilal Kanso , Marc Aiguier , Frédéric Boulanger , Assia Touil , Frederic Boulanger

Chapitre d'ouvrage 01/04/2010

Modeling Heterogeneous Points of View with ModHel'X

Frédéric Boulanger , Christophe Jacquet , Cécile Hardebolle , Elyes Rouis , Frederic Boulanger

Communication dans un congrès 01/01/2010

Extending the standard execution model of UML for real-time systems

Abderraouf Benyahia , Arnaud Cuccuru , Safouan Taha , François Terrier , Frédéric Boulanger , Sébastien Gérard , Safouan Taha , Frederic Boulanger