dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Cyril Carrez Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Huber, Cyril Carrez, Hannes Suttner: Development of Innovative Services Enhancing Interoperability in Cross-Organizational Business Processes. IWEI 2011: 75-88
2010
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacqueline Floch, Cyril Carrez: A Developer-Friendly Approach for the Validation of Dynamic Compositions. SAM 2010: 18-35
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacqueline 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÖmer Karacan, Enrico Del Grosso, Cyril Carrez, Francesco Taglino: Towards Cross-Organizational Innovative Business Process Interoperability Services. IWEI 2009: 1-12
2008
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCyril Carrez, Jacqueline Floch, Richard Torbjørn Sanders: Describing Component Collaboration Using Goal Sequences. DAIS 2008: 16-29
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCyril 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCyril Carrez, Alessandro Fantechi, Elie Najm: Assembling components with behavioural contracts. Annales des Télécommunications 60(7-8): 989-1022 (2005)
2004
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShanshan 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCyril Carrez, Alessandro Fantechi, Elie Najm: Behavioural Contracts for a Sound Assembly of Components. FORTE 2003: 111-126

Coauthor Index

1Finn Arve Aagesen [2]
2Pawel Cieslak [4] [7]
3Alessandro Fantechi [1] [3]
4Jacqueline Floch [5] [7] [8]
5Enrico Del Grosso [6]
6Stefan Hänsgen [4]
7Stefan Huber [9]
8Shanshan Jiang [2]
9Lotte Johansen [4]
10Ömer Karacan [6]
11Elie Najm [1] [3]
12Michal Rój [7]
13Richard Torbjørn Sanders [5] [7]
14Mazen Malek Shiaa [7]
15Hannes Suttner [9]
16Francesco Taglino [6]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page