| 2008 |
|---|
| 4 | EE | Cyril Carrez,
Jacqueline Floch,
Richard Torbjørn Sanders:
Describing Component Collaboration Using Goal Sequences.
DAIS 2008: 16-29 |
| 2005 |
|---|
| 3 | | Cyril Carrez,
Alessandro Fantechi,
Elie Najm:
Assembling components with behavioural contracts.
Annales des Télécommunications 60(7-8): 989-1022 (2005) |
| 2004 |
|---|
| 2 | EE | Shanshan Jiang,
Cyril Carrez,
Finn Arve Aagesen:
Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification.
RISE 2004: 34-44 |
| 2003 |
|---|
| 1 | EE | Cyril Carrez,
Alessandro Fantechi,
Elie Najm:
Behavioural Contracts for a Sound Assembly of Components.
FORTE 2003: 111-126 |
