| 2008 |
|---|
| 8 | EE | Samuel Colin,
Arnaud Lanoix,
Olga Kouchnarenko,
Jeanine Souquières:
Towards Validating a Platoon of Cristal Vehicles Using CSP||B.
AMAST 2008: 139-144 |
| 7 | EE | Arnaud Lanoix:
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles.
TASE 2008: 297-304 |
| 6 | EE | Arnaud Lanoix,
Samuel Colin,
Jeanine Souquières:
Développement formel par composants Assemblage et vérification à l'aide de B.
Technique et Science Informatiques 27(8): 1007-1032 (2008) |
| 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 |
