Adel Djoudi

According to our database, Adel Djoudi authored at least 8 papers between 2013 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Formal Verification for Security Certification: From a First Success to Sustainable Industrial Usage.

Adel Djoudi, Nikolai Kosmatov

Proceedings of the Formal Methods - 27th International Symposium, 2026

2024

No Smoke Without Fire: Detecting Specification Inconsistencies with Frama-C/WP.

Allan Blanchard, Loïc Correnson, Adel Djoudi, Nikolai Kosmatov

Proceedings of the Tests and Proofs - 18th International Conference, 2024

Automate where Automation Fails: Proof Strategies for Frama-C/WP.

Loïc Correnson, Allan Blanchard, Adel Djoudi, Nikolai Kosmatov

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2021

Formal Verification of a JavaCard Virtual Machine with Frama-C.

Adel Djoudi, Martin Hána, Nikolai Kosmatov

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

A simulation-based framework for functional testing of automated driving controllers.

Adel Djoudi, Loic Coquelin, Rémi Régnier

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

2016

Recovering High-Level Conditions from Binary Programs.

Adel Djoudi, Sébastien Bardin, Éric Goubault

Proceedings of the FM 2016: Formal Methods, 2016

2015

BINSEC: Binary Code Analysis with Low-Level Regions.

Adel Djoudi, Sébastien Bardin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2013

Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods.

Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi

Proceedings of the NASA Formal Methods, 2013