Search Results - "Schellhorn, Gerhard"

Mechanically Verified Proof Obligations for Linearizability.

Authors: Derrick, John Schellhorn, Gerhard Wehrheim, Heike

Source: ACM Transactions on Programming Languages & Systems; 2011, Vol. 33 Issue 1, p4-1-4-43, 43p

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

Authors: Schellhorn, Gerhard Bodenmüller, Stefan Reif, Wolfgang

Source: Science of Computer Programming; Apr2025, Vol. 241, pN.PAG-N.PAG, 1p

A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.

Authors: SCHELLHORN, GERHARD DERRICK, JOHN WEHRHEIM, HEIKE

Source: ACM Transactions on Computational Logic; Jul2014, Vol. 15 Issue 4, p1-37, 37p

Interactive verification of concurrent systems using symbolic execution.

Authors: Bäumler, Simon Balser, Michael Nafz, Florian et al.

Source: AI Communications; 2010, Vol. 23 Issue 2/3, p285-307, 23p, 2 Color Photographs, 7 Diagrams, 13 Charts, 1 Graph

Verified formal security models for multiapplicative smart cards.

Authors: Schellhorn, Gerhard Reif, Wolfgang Schairer, Axel et al.

Source: Journal of Computer Security; 2002, Vol. 10 Issue 4, p339, 29p

2011

Authors: Achstetter, Ulrike

Resource Type: eBook.

Subjects: Festschriften--Bibliography, Festschriften--Indexes

Categories: REFERENCE / General, SCIENCE / General