Accéder directement au contenu

David Delahaye

7
Documents
Identifiants chercheurs

Présentation

Publications

964607

Formal Modeling of Airport Security Regulations using the Focal Environment

David Delahaye , Jean-Frédéric Etienne , Veronique Viguie Donzeau-Gouge
RELAW'08 Requirements Engineering and Law, Barcelona (Spain), Jan 2008, X, France. pp.16-20
Communication dans un congrès hal-01125583v1

Producing UML Models from Focal Specifications: An Application to Airport Security Regulations

David Delahaye , Jean-Frédéric Etienne , Veronique Viguie Donzeau-Gouge
TASE'08 Theoretical Aspects of Software Engineering, Nanjing (China), Jan 2008, X, France. pp.121-124
Communication dans un congrès hal-01125582v1

A Formal and Sound Transformation from Focal to UML: An Application to Airport Security Regulations

David Delahaye , Jean-Frédéric Etienne , Veronique Viguie Donzeau-Gouge
UMLFM'08 UML and Formal Methods, Kitakyushu-City (Japan), Jan 2008, X, France. pp.267-274
Communication dans un congrès hal-01125584v1

Extracting Purely Functional Contents from Logical Inductive Types

David Delahaye , Catherine Dubois , Jean-Frédéric Etienne
TPHOLs'07 Theorem Proving in Higher Order Logics, Kaiserslautern (Germany), Jan 2007, X, France. pp.70-85
Communication dans un congrès hal-01125370v1

Reasoning about Airport Security Regulations using the Focal Environment

David Delahaye , Jean-Frédéric Etienne , Veronique Viguie Donzeau-Gouge
ISoLA, Paphos (Cyprus), Jan 2006, X, France. pp.36-44
Communication dans un congrès hal-01125369v1

Modeling Airport Security Regulations in Focal

David Delahaye , Jean-Frédéric Etienne , Veronique Viguie Donzeau-Gouge
REMO2V'06 Regulations Modelling and their Validation Verification, Luxembourg, Jan 2006, X, France. pp.806-812
Communication dans un congrès hal-01125367v1

Certifying Airport Security Regulations using the Focal Environment

David Delahaye , Jean-Frédéric Etienne , Veronique Viguie Donzeau-Gouge
FM'06: 14th Symposium on Formal Methods, Hamilton, Canada, Jan 2006, X, France. pp.48-63
Communication dans un congrès hal-01125368v1