Stefan Bodenmüller

According to our database, Stefan Bodenmüller authored at least 15 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Verification of forward simulations with thread-local, step-local proof obligations.

Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif

Sci. Comput. Program., 2025

Mirror is Not Strong: Discovery of a Persistent Memory Bug using Refinement in KIV.

Gerhard Schellhorn, Stefan Bodenmüller, Brijesh Dongol, Heike Wehrheim

Proceedings of the Go Where the Bugs Are, 2025

2024

A Fully Verified Persistency Library.

Stefan Bodenmüller, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

VeriCode: Correct Translation of Abstract Specifications to C Code.

Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

2023

Caching, crashing & concurrency - verification under adverse conditions.

Stefan Bodenmüller

PhD thesis, 2023

Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems.

Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Refinement and Separation: Modular Verification of Wandering Trees.

Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif

Proceedings of the iFM 2023 - 18th International Conference, 2023

2022

Verification of Crashsafe Caching in a Virtual File System Switch.

Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif

Formal Aspects Comput., 2022

Separating Separation Logic - Modular Verification of Red-Black Trees.

Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif

Proceedings of the Verified Software. Theories, Tools and Experiments, 2022

Software & System Verification with KIV.

Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System.

Stefan Bodenmüller, Gerhard Schellhorn, Martin Bitterlich, Wolfgang Reif

Proceedings of the Logic, Computation and Rigorous Methods, 2021

2020

Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch.

Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Adding Concurrency to a Sequential Refinement Tower.

Gerhard Schellhorn, Stefan Bodenmüller, Jörg Pfähler, Wolfgang Reif

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2018

Symbolic execution for a clash-free subset of ASMs.

Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Stefan Bodenmüller, Wolfgang Reif

Sci. Comput. Program., 2018

2017

Modular Verification of Order-Preserving Write-Back Caches.

Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017