Cyril Carrez

11 papers C 2Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2012 — conf
Business-SoaML: Service Identification and Specification from a Business Perspective.
I-ESA
Tiancheng Chang, Arne-Jørgen Berre, Cyril Carrez, Brian Elvesæter
2011 — conf
Development of Innovative Services Enhancing Interoperability in Cross-Organizational Business Processes.
IWEI
Stefan Huber, Cyril Carrez, Hannes Suttner
2010 — conf
A Developer-Friendly Approach for the Validation of Dynamic Compositions.
SAM
Jacqueline Floch, Cyril Carrez
2010 J jnl
A comprehensive engineering framework for guaranteeing component compatibility.
J. Syst. Softw.
Jacqueline Floch, Cyril Carrez, Pawel Cieslak, Michal Rój, Richard Torbjørn Sanders, Mazen Malek Shiaa
2009 — conf
Towards Cross-Organizational Innovative Business Process Interoperability Services.
IWEI
Ömer Karacan, Enrico Del Grosso, Cyril Carrez, Francesco Taglino
2008 C conf
Describing Component Collaboration Using Goal Sequences.
DAIS
Cyril Carrez, Jacqueline Floch, Richard Torbjørn Sanders
2008 J jnl
Service Engineering with the SIMS Design and Validation Tools.
Nord. J. Comput.
Cyril Carrez, Lotte Johansen, Pawel Cieslak, Stefan Hänsgen
2005 J jnl
Assembling components with behavioural contracts.
Ann. des Télécommunications
Cyril Carrez, Alessandro Fantechi, Elie Najm
2005 — conf
Formal Modelling of an Adaptable Service System.
INTELLCOMM
Mazen Malek Shiaa, Finn Arve Aagesen, Cyril Carrez
2004 — conf
Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification.
RISE
Shanshan Jiang, Cyril Carrez, Finn Arve Aagesen
2003 C conf
Behavioural Contracts for a Sound Assembly of Components.
FORTE
Cyril Carrez, Alessandro Fantechi, Elie Najm