| 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 | |
| 1 | Hugues Balp | [1] |
| 2 | Grégory Haïk | [1] [2] |
| 3 | Laurent Pautet | [2] |
| 4 | Jean-François Tilman | [1] |