Stefan Bodenmller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2017–2024
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | IFM | VeriCode: Correct Translation of Abstract Specifications to C Code. | Gerhard Schellhorn, Stefan Bodenmller, Wolfgang Reif |
| 2024 | VMCAI | A Fully Verified Persistency Library. | Stefan Bodenmller, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |
| 2023 | IFM | Refinement and Separation: Modular Verification of Wandering Trees. | Gerhard Schellhorn, Stefan Bodenmller, Wolfgang Reif |
| 2020 | IFM | Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch. | Stefan Bodenmller, Gerhard Schellhorn, Wolfgang Reif |
| 2017 | IFM | Modular Verification of Order-Preserving Write-Back Caches. | Jrg Pfhler, Gidon Ernst, Stefan Bodenmller, Gerhard Schellhorn, Wolfgang Reif |