 | 2008 |
|---|
| 6 |       | David Delahaye,
Jean-Frédéric Étienne,
Véronique Donzeau-Gouge:
Producing UML Models from Focal Specifications: An Application to Airport Security Regulations.
TASE 2008: 121-124 |
| 5 | | David Delahaye,
Jean-Frédéric Étienne,
Véronique Donzeau-Gouge:
A formal and sound transformation from Focal to UML : an application to airport security regulations.
ISSE 4(3): 267-274 (2008) |
| 2007 |
|---|
| 4 | | David Delahaye,
Catherine Dubois,
Jean-Frédéric Étienne:
Extracting Purely Functional Contents from Logical Inductive Types.
TPHOLs 2007: 70-85 |
| 2006 |
|---|
| 3 | | David Delahaye,
Jean-Frédéric Étienne,
Véronique Donzeau-Gouge:
Certifying Airport Security Regulations Using the Focal Environment.
FM 2006: 48-63 |
| 2 | | David Delahaye,
Jean-Frédéric Étienne,
Véronique Donzeau-Gouge:
Reasoning about Airport Security Regulations Using the Focal Environment.
ISoLA 2006: 45-52 |
| 1 | | David Delahaye,
Jean-Frédéric Étienne,
Véronique Donzeau-Gouge:
Modeling Airport Security Regulations in Focal.
ReMo2V 2006 |
