Behavioural Contracts for a Sound Assembly of Components. - Cyril Carrez; Alessandro Fantechi; Elie Najm (FORTE, 2003)

Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification. - Shanshan Jiang 003; Cyril Carrez; Finn Arve Aagesen (RISE, 2004)

Formal Modelling of an Adaptable Service System. - Mazen Malek Shiaa; Finn Arve Aagesen; Cyril Carrez (INTELLCOMM, 2005)

Assembling components with behavioural contracts. - Cyril Carrez; Alessandro Fantechi; Elie Najm (Ann. des Télécommunications, 2005)

Describing Component Collaboration Using Goal Sequences. - Cyril Carrez; Jacqueline Floch; Richard Torbjørn Sanders (DAIS, 2008)

Service Engineering with the SIMS Design and Validation Tools. - Cyril Carrez; Lotte Johansen; Pawel Cieslak; Stefan Hänsgen (Nord. J. Comput., 2008)

Towards Cross-Organizational Innovative Business Process Interoperability Services. - Ömer Karacan; Enrico Del Grosso; Cyril Carrez; Francesco Taglino (IWEI, 2009)

A Developer-Friendly Approach for the Validation of Dynamic Compositions. - Jacqueline Floch; Cyril Carrez (SAM, 2010)

A comprehensive engineering framework for guaranteeing component compatibility. - Jacqueline Floch; Cyril Carrez; Pawel Cieslak; Michal Rój; Richard Torbjørn Sanders; Mazen Malek Shiaa (J. Syst. Softw., 2010)

Development of Innovative Services Enhancing Interoperability in Cross-Organizational Business Processes. - Stefan Huber 004; Cyril Carrez; Hannes Suttner (IWEI, 2011)

Business-SoaML: Service Identification and Specification from a Business Perspective. - Tiancheng Chang; Arne-Jørgen Berre; Cyril Carrez; Brian Elvesæter (I-ESA, 2012)