( en | de | ru )

 

Disambiguation of "Bodenmüller, Stefan"

Author of the publication

copydeleteadd this publication to your clipboard
Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems.

, , and . ABZ, volume 14010 of Lecture Notes in Computer Science, page 70-87. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thomas Bodenmüller

Arthur Bodenmüller

Ralph Bodenmüller

Margrit Bodenmüller

Heinz Bodenmüller

 

Other publications of authors with the same name

Separating Separation Logic - Modular Verification of Red-Black Trees., , , and . VSTTE, volume 13800 of Lecture Notes in Computer Science, page 129-147. Springer, (2022)Symbolic execution for a clash-free subset of ASMs., , , , and . Sci. Comput. Program., (2018)Caching, crashing & concurrency - verification under adverse conditions.. University of Augsburg, Germany, (2023)Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems., , and . ABZ, volume 14010 of Lecture Notes in Computer Science, page 70-87. Springer, (2023)Adding Concurrency to a Sequential Refinement Tower., , , and . ABZ, volume 12071 of Lecture Notes in Computer Science, page 6-23. Springer, (2020)Software & System Verification with KIV., , , and . The Logic of Software. A Tasting Menu of Formal Methods, volume 13360 of Lecture Notes in Computer Science, page 408-436. Springer, (2022)Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System., , , and . Logic, Computation and Rigorous Methods, volume 12750 of Lecture Notes in Computer Science, page 239-265. Springer, (2021)Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch., , and . IFM, volume 12546 of Lecture Notes in Computer Science, page 218-236. Springer, (2020)Verification of Crashsafe Caching in a Virtual File System Switch., , and . Formal Aspects Comput., 34 (1): 1-33 (2022)Refinement and Separation: Modular Verification of Wandering Trees., , and . iFM, volume 14300 of Lecture Notes in Computer Science, page 214-234. Springer, (2023)