| Publication | Date of Publication | Type |
|---|
| Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations | 2024-03-26 | Paper |
| Gradual consistency checking | 2024-02-16 | Paper |
| Checking robustness against snapshot isolation | 2024-02-16 | Paper |
| On the complexity of checking consistency for replicated data types | 2024-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6083367 | 2023-12-08 | Paper |
| Quorum tree abstractions of consensus protocols | 2023-11-24 | Paper |
| A pragmatic approach to stateful partial order reduction | 2023-08-17 | Paper |
| Automated synthesis of asynchronizations | 2023-07-28 | Paper |
| Monitoring weak consistency | 2023-05-26 | Paper |
| On the completeness of verifying message passing programs under bounded asynchrony | 2023-05-05 | Paper |
| Reasoning about TSO programs using reduction and abstraction | 2023-05-05 | Paper |
| Putting strong linearizability in context: preserving hyperproperties in programs that use concurrent objects | 2023-02-03 | Paper |
| Robustness Against Transactional Causal Consistency. | 2023-02-03 | Paper |
| Boosting Sequential Consistency Checking Using Saturation | 2022-12-22 | Paper |
| Verifying Visibility-Based Weak Consistency | 2022-10-13 | Paper |
| Checking causal consistency of distributed databases | 2022-09-27 | Paper |
| Proving linearizability using forward simulations | 2022-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5090915 | 2022-07-21 | Paper |
| Checking robustness between weak transactional consistency models | 2021-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4995360 | 2021-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5856416 | 2021-03-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5151003 | 2021-02-16 | Paper |
| Root causing linearizability violations | 2021-02-04 | Paper |
| Formalizing and checking multilevel consistency | 2020-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111629 | 2020-05-27 | Paper |
| On atomicity in presence of non-atomic writes | 2019-09-17 | Paper |
| Abstract Semantic Diffing of Evolving Concurrent Programs | 2019-09-16 | Paper |
| Abstract semantic diffing of evolving concurrent programs | 2019-09-04 | Paper |
| On reducing linearizability to state reachability | 2018-06-14 | Paper |
| Compositional entailment checking for a fragment of separation logic | 2018-01-08 | Paper |
| On verifying causal consistency | 2017-10-20 | Paper |
| Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency | 2017-05-19 | Paper |
| On the path-width of integer linear programming | 2017-03-16 | Paper |
| Symbolic abstract data type inference | 2016-10-24 | Paper |
| Tractable refinement checking for concurrent objects | 2016-09-29 | Paper |
| Compositional Entailment Checking for a Fragment of Separation Logic | 2016-02-26 | Paper |
| On Automated Lemma Generation for Separation Logic with Inductive Definitions | 2016-01-08 | Paper |
| On reducing linearizability to state reachability | 2015-11-04 | Paper |
| Verifying eventual consistency of optimistic replication systems | 2014-04-10 | Paper |
| Verifying Concurrent Programs against Sequential Specifications | 2013-08-05 | Paper |
| Compositional Invariant Checking for Overlaid and Nested Linked Lists | 2013-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4898177 | 2012-12-29 | Paper |
| Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data | 2012-11-21 | Paper |
| An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking | 2012-07-17 | Paper |
| Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data | 2012-06-15 | Paper |
| A Logic-Based Framework for Reasoning about Composite Data Structures | 2009-10-22 | Paper |
| A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes | 2009-06-30 | Paper |
| Abstractions of Multi-agent Systems | 2008-09-25 | Paper |
| Abstractions of data types | 2006-05-26 | Paper |
| SE-SYSTEMS, TIMING MECHANISMS, AND TIME-VARYING CODES | 2002-10-21 | Paper |
