| |
| 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 |
| 1 | Finn Arve Aagesen | [2] |
| 2 | Alessandro Fantechi | [1] [3] |
| 3 | Jacqueline Floch | [4] |
| 4 | Shanshan Jiang | [2] |
| 5 | Elie Najm | [1] [3] |
| 6 | Richard Torbjørn Sanders | [4] |