Allan Blanchard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2015–2024
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |
| 2019 | SAC | Logic against ghosts: comparison of two proof approaches for a list module. | Allan Blanchard, Nikolai Kosmatov, Frdric Loulergue |
| 2018 | TAP | Ghosts for Lists: From Axiomatic to Executable Specifications. | Frdric Loulergue, Allan Blanchard, Nikolai Kosmatov |
| 2016 | ISSTA | A CHR-Based Solver for Weak Memory Behaviors. | Allan Blanchard, Nikolai Kosmatov, Frdric Loulergue |
| 2016 | SCAM | Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs. | Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frdric Loulergue |
| 2015 | FMICS | A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C. | Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frdric Loulergue |