Cyril Carrez's home page at NTNU
[oh, did you see? this page in under constuction!! ]
To reach me:
- carrez@item.ntnu.no
- Want to see me: office A265, Dept Telematics, NTNU, Norway
- Phone number: 7359 4433
- Personnal web page: www.cyril-carrez.net
List of publications
-
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
-
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.
-
Contrats comportementaux pour composants
Cyril Carrez
PhD. thesis, ENST, Paris, France, Dec. 2003
http://www.cyril-carrez.net/work/these/