Adel Djoudi

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 4

Top Topics

Formal Verification

Top Venues

Publications

Loïc Correnson, Allan Blanchard, Adel Djoudi, Nikolai Kosmatov
Automate where Automation Fails: Proof Strategies for Frama-C/WP. TACAS (1) (2024)
Adel Djoudi, Martin Hána, Nikolai Kosmatov
Formal Verification of a JavaCard Virtual Machine with Frama-C. FM (2021)
Adel Djoudi, Loic Coquelin, Rémi Régnier
A simulation-based framework for functional testing of automated driving controllers. ITSC (2020)
Adel Djoudi, Sébastien Bardin, Éric Goubault
Recovering High-Level Conditions from Binary Programs. FM (2016)
Adel Djoudi, Sébastien Bardin
BINSEC: Binary Code Analysis with Low-Level Regions. TACAS (2015)
Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi
Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods. NASA Formal Methods (2013)