 | 2010 |
|---|
| 7 |       | Jean-Frédéric Étienne,
S. Fechter,
E. Juppeaux:
Using Simulink Design Verifier for Proving Behavioral Properties on a Complex Safety Critical System in the Ground Transportation Domain.
CSDM 2010: 61-72 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page