| |
| * | 2009 | |
|---|---|---|
| 3 | EE | Etienne Borde, Grégory Haïk, Laurent Pautet: Mode-based reconfiguration of critical software component architectures. DATE 2009: 1160-1165 |
| 2008 | ||
| 2 | EE | 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 |
| 2005 | ||
| 1 | EE | Grégory Haïk, Jean-Pierre Briot, Christian Queinnec: Automatic Introduction of Mobility for Standard-Based Frameworks. OTM Conferences (1) 2005: 813-827 |
| 1 | Hugues Balp | [2] |
| 2 | Etienne Borde | [2] [3] |
| 3 | Jean-Pierre Briot | [1] |
| 4 | Laurent Pautet | [3] |
| 5 | Christian Queinnec | [1] |
| 6 | Jean-François Tilman | [2] |