Frederic Boulanger

Laboratoire

Laboratoire Méthodes Formelles

Site WEB

Publications (82)

Communication dans un congrès 01/01/2010

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

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

Article dans une revue 01/11/2009

Exploring Multi-Paradigm Modeling Techniques

Cécile Hardebolle , Frederic Boulanger

Communication dans un congrès 01/01/2009

Modeling Heterogeneous Points of View with ModHel'X

Christophe Jacquet , Elyes Rouis , Cécile Hardebolle , Frederic Boulanger

Article dans une revue 01/01/2009

Multi-Formalism Modelling and Model Execution

Cécile Hardebolle , Frederic Boulanger

Article dans une revue 01/01/2009

A model of domain-polymorph component for heterogeneous system design

Mohamed Feredj , Aimé Mokhoo Mbobi , Frederic Boulanger

Communication dans un congrès 01/01/2008

Simulation of Multi-Formalism Models with ModHel'X

Cécile Hardebolle , Frederic Boulanger

Article dans une revue 01/01/2008

Integration of Dependability Features in a Synchronous Application

Frederic Boulanger

Communication dans un congrès 01/01/2008

From Data to Events: Checking Properties on the Control of a System

Christophe Jacquet , Frederic Boulanger , Dominique Marcadet

Communication dans un congrès 01/01/2008

An Architecture Description Language for Verification in Component-Based Software

Ahcène Bouzoualegh , Christophe Jacquet , Frederic Boulanger , Dominique Marcadet

Chapitre d'ouvrage 01/01/2008

ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling

Cécile Hardebolle , Frederic Boulanger

Communication dans un congrès 02/10/2007

ModHel'X : A Component-Oriented Approach to Multi-Formalism Modeling

Cécile Hardebolle , Frederic Boulanger

Communication dans un congrès 01/07/2007

Organizing Web Search Results Using Clustering By Compression

Géraldine Polaillon , Dorin Carstoiu , Alexandra Cernian , Stefan Bodea , Frederic Boulanger

Communication dans un congrès 31/03/2007

A Generic Execution Framework for Models of Computation

Cécile Hardebolle , Guy Vidal Naquet , Dominique Marcadet , Frederic Boulanger

Article dans une revue 01/03/2007

An Approach of Flat Heterogeneous Modeling based on Heterogeneous Interface Components

Aimé Mokhoo Mbobi , Mohamed Feredj , Frederic Boulanger

Communication dans un congrès 11/09/2006

A Primitive Execution Model for Heterogeneous Modeling

Guy Vidal-Naquet , Frederic Boulanger

Communication dans un congrès 14/05/2006

An Overall Specification of a Meta-Model of Computation For Model- Driven Embedded Systems

Mokhoo Aimé Mbobi , Frederic Boulanger

Communication dans un congrès 07/05/2006

Le paradigme acteur dans la modélisation des systèmes embarqués

Mokhoo Aimé Mbobi , Frederic Boulanger

Communication dans un congrès 12/05/2005

Integration of a Flat Heterogeneous Domain in Ptolemy II

Aimé Mokhoo Mbobi , Mohamed Feredj , Frederic Boulanger

Communication dans un congrès 01/01/2005

Issues of Hierarchical Heterogeneous Modeling in Component Reusability

Aimé Mokhoo Mbobi , Mohamed Feredj , Frederic Boulanger

Communication dans un congrès 01/01/2004

Flat Heterogeneous Modeling

Mohamed Feredj , Aimé Mokhoo Mbobi , Frederic Boulanger

Communication dans un congrès 01/01/2004

Execution Model for Non-Hierarchical Heterogeneous Modeling

Aimé Mokhoo Mbobi , Mohamed Feredj , Frederic Boulanger

Communication dans un congrès 01/01/2004

An Approach of Domain Polymorph Component Design

Mohamed Feredj , Aimé Mokhoo Mbobi , Frederic Boulanger