| |
| 2008 | ||
|---|---|---|
| 4 | EE | 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 |
| 2007 | ||
| 3 | EE | David Delahaye, Catherine Dubois, Jean-Frédéric Étienne: Extracting Purely Functional Contents from Logical Inductive Types. TPHOLs 2007: 70-85 |
| 2006 | ||
| 2 | EE | David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge: Certifying Airport Security Regulations Using the Focal Environment. FM 2006: 48-63 |
| 1 | EE | David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge: Modeling Airport Security Regulations in Focal. ReMo2V 2006 |
| 1 | David Delahaye | [1] [2] [3] [4] |
| 2 | Véronique Donzeau-Gouge | [1] [2] [4] |
| 3 | Catherine Dubois | [3] |