Jean-Frédéric Étienne

11 papers B 1C 2Misc 1Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2023 C conf
Djed: A Formally Verified Crypto-Backed Autonomous Stablecoin Protocol.
ICBC
Joachim Zahnentferner, Dmytro Kaidalov, Jean-Frédéric Étienne, Javier Díaz
2021 J jnl
Djed: A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin.
IACR Cryptol. ePrint Arch.
Joachim Zahnentferner, Dmytro Kaidalov, Jean-Frédéric Étienne, Javier Díaz
2015 — conf
Improving Predictability, Efficiency and Trust of Model-Based Proof Activity.
ICSE (2)
Jean-Frédéric Étienne, Manuel Maarek, Florent Anseaume, Véronique Delebarre
2010 — conf
Using Simulink Design Verifier for Proving Behavioral Properties on a Complex Safety Critical System in the Ground Transportation Domain.
CSDM
Jean-Frédéric Étienne, S. Fechter, E. Juppeaux
2008 J jnl
A formal and sound transformation from Focal to UML : an application to airport security regulations.
Innov. Syst. Softw. Eng.
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge
2008 — conf
Formal Modeling of Airport Security Regulations using the Focal Environment.
RELAW
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge
2008 Misc conf
Producing UML Models from Focal Specifications: An Application to Airport Security Regulations.
TASE
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge
2007 — conf
Extracting Purely Functional Contents from Logical Inductive Types.
TPHOLs
David Delahaye, Catherine Dubois, Jean-Frédéric Étienne
2006 B conf
Certifying Airport Security Regulations Using the Focal Environment.
FM
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge
2006 — conf
Modeling Airport Security Regulations in Focal.
ReMo2V
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge
2006 C conf
Reasoning about Airport Security Regulations Using the Focal Environment.
ISoLA
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge