Stefan Bodenmüller

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 11

Top Topics

Signature Verification

Access Patterns

Top Venues

Formal Aspects Comput.

Publications

Stefan Bodenmüller, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
A Fully Verified Persistency Library. VMCAI (2) (2024)
Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif
Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems. ABZ (2023)
Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif
Refinement and Separation: Modular Verification of Wandering Trees. iFM (2023)
Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif
Software & System Verification with KIV. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif
Separating Separation Logic - Modular Verification of Red-Black Trees. VSTTE (2022)
Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif
Verification of Crashsafe Caching in a Virtual File System Switch. Formal Aspects Comput. 34 (1) (2022)
Stefan Bodenmüller, Gerhard Schellhorn, Martin Bitterlich, Wolfgang Reif
Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System. Logic, Computation and Rigorous Methods (2021)
Gerhard Schellhorn, Stefan Bodenmüller, Jörg Pfähler, Wolfgang Reif
Adding Concurrency to a Sequential Refinement Tower. ABZ (2020)
Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif
Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch. IFM (2020)
Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Stefan Bodenmüller, Wolfgang Reif
Symbolic execution for a clash-free subset of ASMs. Sci. Comput. Program. 158 (2018)
Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif
Modular Verification of Order-Preserving Write-Back Caches. IFM (2017)