Cyril Carrez

According to our database, Cyril Carrez authored at least 11 papers between 2003 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Business-SoaML: Service Identification and Specification from a Business Perspective.

Tiancheng Chang, Arne-Jørgen Berre, Cyril Carrez, Brian Elvesæter

Proceedings of the Enterprise Interoperability V, 2012

2011

Development of Innovative Services Enhancing Interoperability in Cross-Organizational Business Processes.

Stefan Huber, Cyril Carrez, Hannes Suttner

Proceedings of the Enterprise Interoperability, 2011

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

A Developer-Friendly Approach for the Validation of Dynamic Compositions.

Jacqueline Floch, Cyril Carrez

Proceedings of the System Analysis and Modeling: About Models - 6th International Workshop, 2010

2009

Towards Cross-Organizational Innovative Business Process Interoperability Services.

Ömer Karacan, Enrico Del Grosso, Cyril Carrez, Francesco Taglino

Proceedings of the Enterprise Interoperability - Second IFIP WG 5.8 International Workshop, 2009

2008

Service Engineering with the SIMS Design and Validation Tools.

Cyril Carrez, Lotte Johansen, Pawel Cieslak, Stefan Hänsgen

Nord. J. Comput., 2008

Describing Component Collaboration Using Goal Sequences.

Cyril Carrez, Jacqueline Floch, Richard Torbjørn Sanders

Proceedings of the Distributed Applications and Interoperable Systems, 2008

2005

Assembling components with behavioural contracts.

Cyril Carrez, Alessandro Fantechi, Elie Najm

Ann. des Télécommunications, 2005

Formal Modelling of an Adaptable Service System.

Mazen Malek Shiaa, Finn Arve Aagesen, Cyril Carrez

Proceedings of the Intelligence in Communication Systems, 2005

2004

Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification.

Shanshan Jiang, Cyril Carrez, Finn Arve Aagesen

Proceedings of the Rapid Integration of Software Engineering Techniques, 2004

2003

Behavioural Contracts for a Sound Assembly of Components.

Cyril Carrez, Alessandro Fantechi, Elie Najm

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003