Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

David Delahaye

◀ ▶ joint publications with Jean-Frédéric Étienne

> Home > Persons > David Delahaye

Publications

2008
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/DelahayeED08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/DelahayeED08
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. Innov. Syst. Softw. Eng. 4(3): 267-274 (2008)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/re/DelahayeED08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/DelahayeED08
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge:
Formal Modeling of Airport Security Regulations using the Focal Environment. RELAW 2008: 16-20
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/DelahayeED08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/DelahayeED08
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
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/DelahayeDE07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/DelahayeDE07
David Delahaye, Catherine Dubois, Jean-Frédéric Étienne:
Extracting Purely Functional Contents from Logical Inductive Types. TPHOLs 2007: 70-85
2006
[c9]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/caise/DelahayeED06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/DelahayeED06
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge:
Modeling Airport Security Regulations in Focal. ReMo2V 2006
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/DelahayeED06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/DelahayeED06
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge:
Certifying Airport Security Regulations Using the Focal Environment. FM 2006: 48-63
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/DelahayeED06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/DelahayeED06
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge:
Reasoning about Airport Security Regulations Using the Focal Environment. ISoLA 2006: 45-52

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.