| Flashix: modular verification of a concurrent and crash-safe flash file system S Bodenmüller, G Schellhorn, M Bitterlich, W Reif Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on …, 2021 | 14 | 2021 |
| Modular verification of order-preserving write-back caches J Pfähler, G Ernst, S Bodenmüller, G Schellhorn, W Reif International Conference on Integrated Formal Methods, 375-390, 2017 | 12 | 2017 |
| Software & system verification with KIV G Schellhorn, S Bodenmüller, M Bitterlich, W Reif The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …, 2022 | 9 | 2022 |
| Adding concurrency to a sequential refinement tower G Schellhorn, S Bodenmüller, J Pfähler, W Reif International Conference on Rigorous State-Based Methods, 6-23, 2020 | 8 | 2020 |
| A fully verified persistency library S Bodenmüller, J Derrick, B Dongol, G Schellhorn, H Wehrheim International Conference on Verification, Model Checking, and Abstract …, 2023 | 7 | 2023 |
| Separating separation logic–modular verification of red-black trees G Schellhorn, S Bodenmüller, M Bitterlich, W Reif Working Conference on Verified Software: Theories, Tools, and Experiments …, 2022 | 7 | 2022 |
| Modular integration of crashsafe caching into a verified virtual file system switch S Bodenmüller, G Schellhorn, W Reif International Conference on Integrated Formal Methods, 218-236, 2020 | 6 | 2020 |
| Symbolic execution for a clash-free subset of ASMs G Schellhorn, G Ernst, J Pfähler, S Bodenmüller, W Reif Science of Computer Programming 158, 21-40, 2018 | 5 | 2018 |
| Thread-local, step-local proof obligations for refinement of state-based concurrent systems G Schellhorn, S Bodenmüller, W Reif International Conference on Rigorous State-Based Methods, 70-87, 2023 | 3 | 2023 |
| Verification of crashsafe caching in a virtual file system switch S Bodenmüller, G Schellhorn, W Reif Formal Aspects of Computing 34 (1), 1-33, 2022 | 3 | 2022 |
| Refinement and separation: modular verification of wandering trees G Schellhorn, S Bodenmüller, W Reif International Conference on Integrated Formal Methods, 214-234, 2023 | 1 | 2023 |
| Verification of forward simulations with thread-local, step-local proof obligations G Schellhorn, S Bodenmüller, W Reif Science of Computer Programming 241, 103227, 2025 | | 2025 |
| VeriCode: Correct Translation of Abstract Specifications to C Code G Schellhorn, S Bodenmüller, W Reif International Conference on Integrated Formal Methods, 53-74, 2024 | | 2024 |
| Check for updates Refinement and Separation: Modular Verification of Wandering Trees G Schellhorn, S Bodenmüller, W Reif iFM 2023: 18th International Conference, iFM 2023, Leiden, The Netherlands …, 2023 | | 2023 |
| Caching, crashing & concurrency-verification under adverse conditions S Bodenmüller | | 2023 |
| and Wolfgang Reif Institute for Software and Systems Engineering, University of Augsburg, Augsburg, Germany {stefan. bodenmueller, schellhorn, martin. bitterlich S Bodenmüller Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on …, 2021 | | 2021 |
