|
 
|
Jean-Frédéric Etienne
|
Doctorant(e) Equipe SYS Parti depuis le 31/12/2008 Mail : jean-frederic.etienne  cnam.fr
Tel : (33)15880 Fax : (33)15880 http://cedric.cnam.fr/~ |
Jean-Frédéric's Tag-Cloud : |
description
Publications
2008
- [DEV08a] D. Delahaye, J. Etienne, V. Viguie Donzeau-Gouge. "Producing UML Models from Focal Specifications: An Application to Airport Security Regulations", TASE'08 Theoretical Aspects of Software Engineering, Nanjing (China), January 2008, pp.121-124,
- [DEV08b] D. Delahaye, J. Etienne, V. Viguie Donzeau-Gouge. "Formal Modeling of Airport Security Regulations using the Focal Environment", RELAW'08 Requirements Engineering and Law, Barcelona (Spain), January 2008, pp.16-20,
- [DEV08] D. Delahaye, J. Etienne, V. Viguie Donzeau-Gouge. "A Formal and Sound Transformation from Focal to UML: An Application to Airport Security Regulations", UML&FM'08 UML and Formal Methods, Kitakyushu-City (Japan), January 2008, Vol. 4, pp.267-274, Series ISSE,
- [Eti08a] J. Etienne. "Certifying Airport Security Regulations using the Focal Environment", Soutenue le: 07 July 2008, pp. 200,
Conférence Internationale avec comité de lecture
Mémoire de Thèse
2007
- [DDE07] D. Delahaye, C. Dubois, J. Etienne. "Extracting Purely Functional Contents from Logical Inductive Types", TPHOLs'07 Theorem Proving in Higher Order Logics, Kaiserslautern (Germany), January 2007, Vol. 4732, pp.70-85, Series LNCS,
Conférence Internationale avec comité de lecture
2006
- [DEV06b] D. Delahaye, J. Etienne, V. Viguie Donzeau-Gouge. "Modeling Airport Security Regulations in Focal", REMO2V'06 Regulations Modelling and their Validation & Verification, Luxembourg, January 2006, pp.806-812,
- [DEV06] D. Delahaye, J. Etienne, V. Viguie Donzeau-Gouge. "Certifying Airport Security Regulations using the Focal Environment", FM'06: 14th Symposium on Formal Methods, Hamilton, Canada, January 2006, Vol. 4085, pp.48-63, Series LNCS,
- [DEV06a] D. Delahaye, J. Etienne, V. Viguie Donzeau-Gouge. "Reasoning about Airport Security Regulations using the Focal Environment", ISoLA, Paphos (Cyprus), January 2006, pp.36-44,
