 | 2012 |
|---|
| 7 |       | Michael Lafaye,
Laurent Pautet,
Etienne Borde,
Marc Gatti,
David Faura:
Model driven resource usage simulation for critical embedded systems.
DATE 2012: 312-315 |
| 2011 |
|---|
| 6 | | Etienne Borde,
Jan Carlson:
Towards verified synthesis of ProCom, a component model for real-time embedded systems.
CBSE 2011: 129-138 |
| 5 | | Etienne Borde,
Jan Carlson:
Automatic Synthesis and Adaption of Gray-Box Components for Embedded Systems - Reuse vs. Optimization.
COMPSAC Workshops 2011: 224-229 |
| 4 | | Thomas Leveque,
Jan Carlson,
Séverine Sentilles,
Etienne Borde:
Flexible Semantic-Preserving Flattening of Hierarchical Component Models.
EUROMICRO-SEAA 2011: 31-38 |
| 3 | | Thomas Leveque,
Etienne Borde,
Amine Marref,
Jan Carlson:
Hierarchical Composition of Parametric WCET in a Component Based Approach.
ISORC 2011: 261-268 |
| 2009 |
|---|
| 2 | | Etienne Borde,
Grégory Haïk,
Laurent Pautet:
Mode-based reconfiguration of critical software component architectures.
DATE 2009: 1160-1165 |
| 2008 |
|---|
| 1 | | Hugues Balp,
Etienne Borde,
Grégory Haïk,
Jean-François Tilman:
Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems.
ICECCS 2008: 269-274 |
Data released under the ODC-BY 1.0 license — See also our legal information page