Joachim Bard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2018–2024
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | VMCAI | Automatic and Incremental Repair for Speculative Information Leaks. | Joachim Bard, Swen Jacobs, Yakir Vizel |
| 2019 | FM | Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions. | Joachim Bard, Heiko Becker, Eva Darulova |
| 2018 | CPP | Completeness and decidability of converse PDL in the constructive type theory of Coq. | Christian Doczkal, Joachim Bard |