 | 2011 |
| 9 |  | Stefan Huber,
Cyril Carrez,
Hannes Suttner:
Development of Innovative Services Enhancing Interoperability in Cross-Organizational Business Processes.
IWEI 2011: 75-88 |
| 2010 |
| 8 |  | Jacqueline Floch,
Cyril Carrez:
A Developer-Friendly Approach for the Validation of Dynamic Compositions.
SAM 2010: 18-35 |
| 7 |  | Jacqueline Floch,
Cyril Carrez,
Pawel Cieslak,
Michal Rój,
Richard Torbjørn Sanders,
Mazen Malek Shiaa:
A comprehensive engineering framework for guaranteeing component compatibility.
Journal of Systems and Software 83(10): 1759-1779 (2010) |
| 2009 |
| 6 |  | Ömer Karacan,
Enrico Del Grosso,
Cyril Carrez,
Francesco Taglino:
Towards Cross-Organizational Innovative Business Process Interoperability Services.
IWEI 2009: 1-12 |
| 2008 |
| 5 |  | Cyril Carrez,
Jacqueline Floch,
Richard Torbjørn Sanders:
Describing Component Collaboration Using Goal Sequences.
DAIS 2008: 16-29 |
| 4 |  | Cyril Carrez,
Lotte Johansen,
Pawel Cieslak,
Stefan Hänsgen:
Service Engineering with the SIMS Design and Validation Tools.
Nord. J. Comput. 14(4): 245-263 (2008) |
| 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 |  | 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 |  | Cyril Carrez,
Alessandro Fantechi,
Elie Najm:
Behavioural Contracts for a Sound Assembly of Components.
FORTE 2003: 111-126 |