| |
| 2007 | ||
|---|---|---|
| 5 | EE | Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières: Enhancing Dependability of Component-Based Systems. Ada-Europe 2007: 41-54 |
| 2006 | ||
| 4 | EE | Olga Kouchnarenko, Arnaud Lanoix: How to Verify and Exploit a Refinement of Component-Based Systems. Ershov Memorial Conference 2006: 297-309 |
| 3 | EE | Arnaud Lanoix, Dieu Donné Okalas Ossami, Jeanine Souquières: An Operator-based Approach to Incremental Development of Conform Protocol State Machines. Trustworthy Software 2006 |
| 2004 | ||
| 2 | EE | Olga Kouchnarenko, Arnaud Lanoix: Verifying Invariants of Component-Based Systems through Refinement. AMAST 2004: 289-303 |
| 2003 | ||
| 1 | EE | Olga Kouchnarenko, Arnaud Lanoix: Refinement and Verification of Synchronized Component-Based Systems. FME 2003: 341-358 |
| 1 | Denis Hatebur | [5] |
| 2 | Maritta Heisel | [5] |
| 3 | Olga Kouchnarenko | [1] [2] [4] |
| 4 | Dieu Donné Okalas Ossami | [3] |
| 5 | Jeanine Souquières | [3] [5] |