2009 |
12 | EE | Mohamed Feredj,
Frédéric Boulanger,
Aimé Mokhoo Mbobi:
A model of domain-polymorph component for heterogeneous system design.
Journal of Systems and Software 82(1): 112-120 (2009) |
2008 |
11 | EE | Ahcene Bouzoualegh,
Dominique Marcadet,
Frédéric Boulanger,
Christophe Jacquet:
An Architecture Description Language for Verification in Component-Based Software.
COMPSAC 2008: 365-368 |
10 | EE | Frédéric Boulanger,
Cécile Hardebolle:
Simulation of Multi-Formalism Models with ModHelX.
ICST 2008: 318-327 |
9 | EE | Christophe Jacquet,
Frédéric Boulanger,
Dominique Marcadet:
From Data to Events: Checking Properties on the Control of a System.
MEMOCODE 2008: 17-26 |
2007 |
8 | EE | Cécile Hardebolle,
Frédéric Boulanger:
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling.
MoDELS Workshops 2007: 247-258 |
2006 |
7 | EE | Aimé Mokhoo Mbobi,
Frédéric Boulanger:
Le Paradigme Acteur Dans La Modelisation Des Systemes Embarques.
CCECE 2006: 418-421 |
6 | | Frédéric Boulanger,
Guy Vidal-Naquet:
A primitive execution model for heterogeneous modeling.
ICSOFT (1) 2006: 247-252 |
2005 |
5 | EE | Aimé Mokhoo Mbobi,
Frédéric Boulanger,
Mohamed Feredj:
Issues of hierarchical heterogeneous modeling in component reusability.
IRI 2005: 84-89 |
2004 |
4 | | Aimé Mokhoo Mbobi,
Frédéric Boulanger,
Mohamed Feredj:
Execution Model for Non-Hierarchical Heterogeneous Modeling.
IRI 2004: 139-144 |
3 | | Mohamed Feredj,
Frédéric Boulanger,
Aimé Mokhoo Mbobi:
Approach for Domain-Polymorph Components Design.
IRI 2004: 145-150 |
2001 |
2 | EE | Charles Andre,
Frédéric Boulanger,
Alain Girault:
Software Implementation of Synchronous Programs.
ACSD 2001: 133-142 |
1998 |
1 | EE | Frédéric Boulanger,
Guy Vidal-Naquet:
Modular Development of Control and Computational Modules Using Reactive Objects.
ECOOP Workshops 1998: 515-518 |