Adel Djoudi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2015–2026
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Formal Verification for Security Certification: From a First Success to Sustainable Industrial Usage. | Adel Djoudi, Nikolai Kosmatov |
| 2024 | TACAS | Automate where Automation Fails: Proof Strategies for Frama-C/WP. | Loc Correnson, Allan Blanchard, Adel Djoudi, Nikolai Kosmatov |
| 2024 | TAP | No Smoke Without Fire: Detecting Specification Inconsistencies with Frama-C/WP. | Allan Blanchard, Loc Correnson, Adel Djoudi, Nikolai Kosmatov |
| 2021 | FM | Formal Verification of a JavaCard Virtual Machine with Frama-C. | Adel Djoudi, Martin Hna, Nikolai Kosmatov |
| 2016 | FM | Recovering High-Level Conditions from Binary Programs. | Adel Djoudi, Sbastien Bardin, ric Goubault |
| 2015 | TACAS | BINSEC: Binary Code Analysis with Low-Level Regions. | Adel Djoudi, Sbastien Bardin |