The following pages link to Heike Wehrheim (Q436355):
Displaying 50 items.
- (Q164212) (redirect page) (← links)
- Model evolution and refinement (Q436356) (← links)
- Modelling causality via action dependencies in branching time semantics (Q671596) (← links)
- The behavioural semantics of Event-B refinement (Q736910) (← links)
- Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL (Q832723) (← links)
- On using data abstractions for model checking refinements (Q878378) (← links)
- Behavioral subtyping relations for active objects (Q1426939) (← links)
- Process algebra with action dependencies (Q1608931) (← links)
- Information flow certificates (Q1623155) (← links)
- Mechanized proofs of opacity: a comparison of two techniques (Q1673658) (← links)
- Value-based or conflict-based? Opacity definitions for STMs (Q1675797) (← links)
- Grammar-based model transformations: definition, execution, and quality properties (Q1749124) (← links)
- Specification and (property) inheritance in CSP-OZ (Q1776587) (← links)
- Verifying correctness of persistent concurrent data structures: a sound and complete method (Q1982636) (← links)
- On the correctness problem for serializability (Q2119957) (← links)
- Model transformations across views (Q2266947) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- Slicing techniques for verification re-use (Q2571210) (← links)
- (Q2764111) (← links)
- (Q2767195) (← links)
- Towards a Thread-Local Proof Technique for Starvation Freedom (Q2814127) (← links)
- A High-Level Semantics for Program Execution under Total Store Order Memory (Q2851906) (← links)
- A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures (Q2946743) (← links)
- Sound and Complete Abstract Graph Transformation (Q3098055) (← links)
- Proving Opacity of a Pessimistic {STM} (Q3174968) (← links)
- Verification of Concurrent Programs on Weak Memory Models (Q3179387) (← links)
- (Q3431403) (← links)
- From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog (Q3449619) (← links)
- Slicing Abstractions (Q3508510) (← links)
- (Q3601408) (← links)
- Proving Linearizability Via Non-atomic Refinement (Q3608884) (← links)
- Model Transformations Incorporating Multiple Views (Q3623929) (← links)
- (Q4436964) (← links)
- (Q4494252) (← links)
- (Q4499200) (← links)
- (Q4503827) (← links)
- (Q4654728) (← links)
- (Q4665722) (← links)
- (Q4699323) (← links)
- (Q4762656) (← links)
- (Q4790346) (← links)
- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory (Q5041273) (← links)
- Causal testing (Q5054889) (← links)
- Unifying Operational Weak Memory Verification: An Axiomatic Approach (Q5056374) (← links)
- (Q5101340) (← links)
- Compositional CSP Traces Refinement Checking (Q5178982) (← links)
- Verifying Opacity of a Transactional Mutex Lock (Q5206950) (← links)
- Formal Methods for Components and Objects (Q5311295) (← links)
- Alloy as a Refactoring Checker? (Q5403473) (← links)
- Analysis of UML Activities Using Dynamic Meta Modeling (Q5428908) (← links)
