( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System.

, , , и . Logic, Computation and Rigorous Methods, том 12750 из Lecture Notes in Computer Science, стр. 239-265. Springer, (2021)

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.

Thomas Bodenmüller

Arthur Bodenmüller

Ralph Bodenmüller

Margrit Bodenmüller

Heinz Bodenmüller

 

Другие публикации лиц с тем же именем

Separating Separation Logic - Modular Verification of Red-Black Trees., , , и . VSTTE, том 13800 из Lecture Notes in Computer Science, стр. 129-147. Springer, (2022)Symbolic execution for a clash-free subset of ASMs., , , , и . 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., , и . ABZ, том 14010 из Lecture Notes in Computer Science, стр. 70-87. Springer, (2023)Refinement and Separation: Modular Verification of Wandering Trees., , и . iFM, том 14300 из Lecture Notes in Computer Science, стр. 214-234. Springer, (2023)A Fully Verified Persistency Library., , , , и . VMCAI (2), том 14500 из Lecture Notes in Computer Science, стр. 26-47. Springer, (2024)Adding Concurrency to a Sequential Refinement Tower., , , и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 6-23. Springer, (2020)Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System., , , и . Logic, Computation and Rigorous Methods, том 12750 из Lecture Notes in Computer Science, стр. 239-265. Springer, (2021)Software & System Verification with KIV., , , и . The Logic of Software. A Tasting Menu of Formal Methods, том 13360 из Lecture Notes in Computer Science, стр. 408-436. Springer, (2022)Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch., , и . IFM, том 12546 из Lecture Notes in Computer Science, стр. 218-236. Springer, (2020)