Stefan Bodenmüller

15 papers B 4C 2Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
Mirror is Not Strong: Discovery of a Persistent Memory Bug using Refinement in KIV.
Go Where the Bugs Are
Gerhard Schellhorn, Stefan Bodenmüller, Brijesh Dongol, Heike Wehrheim
2025 J jnl
Verification of forward simulations with thread-local, step-local proof obligations.
Sci. Comput. Program.
Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif
2024 — conf
A Fully Verified Persistency Library.
VMCAI (2)
Stefan Bodenmüller, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
2024 B conf
VeriCode: Correct Translation of Abstract Specifications to C Code.
IFM
Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif
2023 — —
Caching, crashing & concurrency - verification under adverse conditions.
Stefan Bodenmüller
2023 B conf
Refinement and Separation: Modular Verification of Wandering Trees.
iFM
Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif
2023 C conf
Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems.
ABZ
Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif
2022 — conf
Separating Separation Logic - Modular Verification of Red-Black Trees.
VSTTE
Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif
2022 — conf
Software & System Verification with KIV.
The Logic of Software. A Tasting Menu of Formal Methods
Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif
2022 J jnl
Verification of Crashsafe Caching in a Virtual File System Switch.
Formal Aspects Comput.
Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif
2021 — conf
Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System.
Logic, Computation and Rigorous Methods
Stefan Bodenmüller, Gerhard Schellhorn, Martin Bitterlich, Wolfgang Reif
2020 C conf
Adding Concurrency to a Sequential Refinement Tower.
ABZ
Gerhard Schellhorn, Stefan Bodenmüller, Jörg Pfähler, Wolfgang Reif
2020 B conf
Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch.
IFM
Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif
2018 J jnl
Symbolic execution for a clash-free subset of ASMs.
Sci. Comput. Program.
Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Stefan Bodenmüller, Wolfgang Reif
2017 B conf
Modular Verification of Order-Preserving Write-Back Caches.
IFM
Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif