Jean-Frédéric Étienne

Javier Díaz

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

2021

Djed: A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin.

[BibT_eX]

[DOI]

Joachim Zahnentferner

Dmytro Kaidalov

Javier Díaz

IACR Cryptol. ePrint Arch., 2021

2015

Improving Predictability, Efficiency and Trust of Model-Based Proof Activity.

[BibT_eX]

[DOI]

Manuel Maarek

Florent Anseaume

Véronique Delebarre

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2010

Using Simulink Design Verifier for Proving Behavioral Properties on a Complex Safety Critical System in the Ground Transportation Domain.

[BibT_eX]

[DOI]

S. Fechter

E. Juppeaux

Proceedings of the Complex Systems Design & Management, 2010

2008

A formal and sound transformation from Focal to UML : an application to airport security regulations.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2008

Producing UML Models from Focal Specifications: An Application to Airport Security Regulations.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Formal Modeling of Airport Security Regulations using the Focal Environment.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Requirements Engineering and Law, 2008

2007

Extracting Purely Functional Contents from Logical Inductive Types.

[BibT_eX]

[DOI]

Catherine Dubois

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

2006

Reasoning about Airport Security Regulations Using the Focal Environment.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2006

Certifying Airport Security Regulations Using the Focal Environment.

[BibT_eX]

[DOI]

Proceedings of the FM 2006: Formal Methods, 2006

Modeling Airport Security Regulations in Focal.

[BibT_eX]

[DOI]