Modeling Airport Security Regulations in Focal. - David Delahaye; Jean-Frédéric Étienne; Véronique Donzeau-Gouge (ReMo2V, 2006)

Certifying Airport Security Regulations Using the Focal Environment. - David Delahaye; Jean-Frédéric Étienne; Véronique Donzeau-Gouge (FM, 2006)

Reasoning about Airport Security Regulations Using the Focal Environment. - David Delahaye; Jean-Frédéric Étienne; Véronique Donzeau-Gouge (ISoLA, 2006)

Extracting Purely Functional Contents from Logical Inductive Types. - David Delahaye; Catherine Dubois; Jean-Frédéric Étienne (TPHOLs, 2007)

Formal Modeling of Airport Security Regulations using the Focal Environment. - David Delahaye; Jean-Frédéric Étienne; Véronique Donzeau-Gouge (RELAW, 2008)

Producing UML Models from Focal Specifications: An Application to Airport Security Regulations. - David Delahaye; Jean-Frédéric Étienne; Véronique Donzeau-Gouge (TASE, 2008)

A formal and sound transformation from Focal to UML : an application to airport security regulations. - David Delahaye; Jean-Frédéric Étienne; Véronique Donzeau-Gouge (Innov. Syst. Softw. Eng., 2008)

Using Simulink Design Verifier for Proving Behavioral Properties on a Complex Safety Critical System in the Ground Transportation Domain. - Jean-Frédéric Étienne; S. Fechter; E. Juppeaux (CSDM, 2010)

Improving Predictability, Efficiency and Trust of Model-Based Proof Activity. - Jean-Frédéric Étienne; Manuel Maarek; Florent Anseaume; Véronique Delebarre (ICSE (2), 2015)

Djed: A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin. - Joachim Zahnentferner; Dmytro Kaidalov; Jean-Frédéric Étienne; Javier Díaz (IACR Cryptol. ePrint Arch., 2021)

Djed: A Formally Verified Crypto-Backed Autonomous Stablecoin Protocol. - Joachim Zahnentferner; Dmytro Kaidalov; Jean-Frédéric Étienne; Javier Díaz (ICBC, 2023)