Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods. - Olivier Bouissou; Alexandre Chapoutot; Adel Djoudi (NASA Formal Methods, 2013)

BINSEC: Binary Code Analysis with Low-Level Regions. - Adel Djoudi; Sébastien Bardin (TACAS, 2015)

Recovering High-Level Conditions from Binary Programs. - Adel Djoudi; Sébastien Bardin; Éric Goubault (FM, 2016)

A simulation-based framework for functional testing of automated driving controllers. - Adel Djoudi; Loic Coquelin; Rémi Régnier (ITSC, 2020)

Formal Verification of a JavaCard Virtual Machine with Frama-C. - Adel Djoudi; Martin Hána; Nikolai Kosmatov (FM, 2021)

Automate where Automation Fails: Proof Strategies for Frama-C/WP. - Loïc Correnson; Allan Blanchard; Adel Djoudi; Nikolai Kosmatov (TACAS (1), 2024)

No Smoke Without Fire: Detecting Specification Inconsistencies with Frama-C/WP. - Allan Blanchard; Loïc Correnson; Adel Djoudi; Nikolai Kosmatov (TAP, 2024)