[oh, did you see? this page in under constuction!! ]

• UML Semantics: State of the Art Cyril Carrez, Frank Olsen, Elie Najm, Sylvie Vignes
  Technical report for the PILOTE project, ref. RNRT/PILOTE/SP3/L5.1/99-12
• Implementation De Transformations Pour Le Réseau Intelligent Cyril Carrez, Elie Najm, Alexandre Tauveron, Sylvie Vignes
  Technical report for the PILOTE project, ref. RNRT/PILOTE/SP3/L5.2/2000-07
• A Transformation Approach for Service Creation in a Hybrid IP-IN Network Cyril Carrez, Elie Najm, Alexandre Tauveron
  in IP Telecom Services Workshop 2000 (IPTS 2000), Atlanta, Georgia, USA, Sept. 2000
• Sécification du profil UML d assemblage cible EJB Cyril Carrez, Arnaud Georgin, Alexandre Tauveron
  Technical report "Livrable 2.6" for the ACCORD project.
• Réalisation du profil UML d assemblage cible EJB Cyril Carrez, Arnaud Georgin, Alexandre Tauveron
  Technical report "Livrable 2.8" for the ACCORD project.
• Behavioural Contracts for a Sound Assembly of Components Cyril Carrez, Alessandro Fantechi, Elie Najm
  in The 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003, IFIP TC 6 / WG 6.1), LNCS 2767, Berlin, Germany, Sept. 2003
  SpringerLink: http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2767&spage=111
  PS.GZ     PDF
• Contrats comportementaux pour un assemblage sain de composants Cyril Carrez, Alessandro Fantechi, Elie Najm
  in Colloque Francophone sur l'Ingénierie des Protocoles (CFIP 2003) Paris, France, Oct. 2003.
  French translation of the FORTE 2003 article.
  PS.GZ     PDF
• Contrats comportementaux pour composants Cyril Carrez
  PhD. thesis, ENST, Paris, France, Dec. 2003
  http://www.cyril-carrez.net/work/these/
• Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification. Shanshan Jiang, Cyril Carrez, Finn Arve Aagesen. In RISE 2004 Luxembourg, Nov 2004.
• Assembling Components with Behavioural Contracts Cyril Carrez, Alessandro Fantechi, Elie Najm.
  in Annales des Télécommunications, to apprear.