- 7
David Delahaye
7
Documents
Identifiants chercheurs
- david-delahaye
- 0000-0003-4779-1359
- IdRef : 082035970
Présentation
Publications
- 7
- 6
- 1
- 7
- 3
- 1
- 3
Formal Modeling of Airport Security Regulations using the Focal EnvironmentRELAW'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 RegulationsTASE'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 RegulationsUMLFM'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 TypesTPHOLs'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 EnvironmentISoLA, Paphos (Cyprus), Jan 2006, X, France. pp.36-44
Communication dans un congrès
hal-01125369v1
|
|
Modeling Airport Security Regulations in FocalREMO2V'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 EnvironmentFM'06: 14th Symposium on Formal Methods, Hamilton, Canada, Jan 2006, X, France. pp.48-63
Communication dans un congrès
hal-01125368v1
|