| Publication | Date of Publication | Type |
|---|
| Gradual consistency checking | 2024-02-16 | Paper |
| Checking robustness against snapshot isolation | 2024-02-16 | Paper |
| Automated synthesis of asynchronizations | 2023-07-28 | Paper |
| Constrained properties, semilinear systems, and Petri nets | 2023-06-28 | Paper |
| Reachability analysis of pushdown automata: Application to model-checking | 2023-05-17 | Paper |
| Reasoning about TSO programs using reduction and abstraction | 2023-05-05 | Paper |
| On the completeness of verifying message passing programs under bounded asynchrony | 2023-05-05 | Paper |
| Robustness Against Transactional Causal Consistency. | 2023-02-03 | Paper |
| Boosting Sequential Consistency Checking Using Saturation | 2022-12-22 | Paper |
| Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes | 2022-12-07 | Paper |
| Checking causal consistency of distributed databases | 2022-09-27 | Paper |
| Proving linearizability using forward simulations | 2022-08-12 | Paper |
| Checking robustness between weak transactional consistency models | 2021-10-18 | Paper |
| Verifying quantitative temporal properties of procedural programs | 2021-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5856416 | 2021-03-26 | Paper |
| Verification of Asynchronous Programs with Nested Locks | 2020-11-25 | Paper |
| Formalizing and checking multilevel consistency | 2020-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111629 | 2020-05-27 | Paper |
| Abstract Semantic Diffing of Evolving Concurrent Programs | 2019-09-16 | Paper |
| Abstract semantic diffing of evolving concurrent programs | 2019-09-04 | Paper |
| Model Checking Procedural Programs | 2018-07-20 | Paper |
| Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations | 2018-07-04 | Paper |
| On reducing linearizability to state reachability | 2018-06-14 | Paper |
| The Benefits of Duality in Verifying Concurrent Programs under TSO | 2018-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3130550 | 2018-01-23 | Paper |
| On verifying causal consistency | 2017-10-20 | Paper |
| Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency | 2017-05-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2978551 | 2017-04-25 | Paper |
| Tractable refinement checking for concurrent objects | 2016-09-29 | Paper |
| On reducing linearizability to state reachability | 2015-11-04 | Paper |
| A generic approach to the static analysis of concurrent programs with procedures | 2015-09-11 | Paper |
| Analysis of recursively parallel programs | 2015-09-11 | Paper |
| On the verification problem for weak memory models | 2015-06-11 | Paper |
| Context-Bounded Analysis of TSO Systems | 2014-07-24 | Paper |
| Verifying eventual consistency of optimistic replication systems | 2014-04-10 | Paper |
| On symbolic verification of weakly extended PAD | 2013-12-13 | Paper |
| Abstract regular tree model checking | 2013-10-07 | Paper |
| Handling liveness properties in (\(\omega\)-)regular model checking | 2013-10-02 | Paper |
| Reachability analysis of synchronized PA systems | 2013-10-02 | Paper |
| Checking and Enforcing Robustness against TSO | 2013-08-05 | Paper |
| Verifying Concurrent Programs against Sequential Specifications | 2013-08-05 | Paper |
| Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data | 2012-11-21 | Paper |
| Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding | 2012-11-21 | Paper |
| Analyzing Asynchronous Programs with Preemption | 2012-10-19 | Paper |
| Rewriting systems over nested data words | 2012-09-28 | Paper |
| Bounded Phase Analysis of Message-Passing Programs | 2012-06-29 | Paper |
| What’s Decidable about Weak Memory Models? | 2012-06-22 | Paper |
| Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data | 2012-06-15 | Paper |
| Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads | 2012-04-02 | Paper |
| Deciding Robustness against Total Store Ordering | 2011-07-07 | Paper |
| Programs with lists are counter automata | 2011-05-23 | Paper |
| Parametric verification of a group membership algorithm | 2011-04-08 | Paper |
| Verification of parametric concurrent systems with prioritized FIFO resource management. | 2010-03-30 | Paper |
| A Logic-Based Framework for Reasoning about Composite Data Structures | 2009-10-22 | Paper |
| COMPOSED BISIMULATION FOR TREE AUTOMATA | 2009-08-21 | Paper |
| FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science | 2009-08-06 | Paper |
| A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes | 2009-06-30 | Paper |
| Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads | 2009-03-31 | Paper |
| Abstract Regular Tree Model Checking of Complex Dynamic Data Structures | 2009-03-12 | Paper |
| Composed Bisimulation for Tree Automata | 2009-02-12 | Paper |
| Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata | 2009-02-12 | Paper |
| On the Reachability Analysis of Acyclic Networks of Pushdown Systems | 2008-11-25 | Paper |
| Rewriting Models of Boolean Programs | 2008-09-25 | Paper |
| Monotonic Abstraction for Programs with Dynamic Memory Heaps | 2008-07-15 | Paper |
| An efficient automata approach to some problems on context-free grammars. | 2008-06-27 | Paper |
| Computing Simulations over Tree Automata | 2008-04-11 | Paper |
| Verification of parametric concurrent systems with prioritised FIFO resource management | 2008-04-11 | Paper |
| Monotonic and Downward Closed Games | 2008-03-12 | Paper |
| Rewriting Systems with Data | 2008-02-26 | Paper |
| Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures | 2007-11-29 | Paper |
| Programs with Lists Are Counter Automata | 2007-09-05 | Paper |
| A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes | 2007-09-03 | Paper |
| A logic of reachable patterns in linked data-structures | 2007-08-23 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| Permutation rewriting and algorithmic verification | 2007-02-20 | Paper |
| FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science | 2006-11-14 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| Parametric Verification of a Group Membership Algorithm | 2006-07-14 | Paper |
| Checking timed Büchi automata emptiness efficiently | 2006-02-20 | Paper |
| Term Rewriting and Applications | 2005-11-11 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| A Generic Approach to the Static Analysis of Concurrent Programs with Procedures | 2005-10-19 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science | 2005-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817539 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817540 | 2004-09-24 | Paper |
| Using forward reachability analysis for verification of lossy channel systems | 2004-09-09 | Paper |
| Automatic verification of recursive procedures with one integer parameter. | 2003-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804924 | 2003-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4779118 | 2003-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4785460 | 2003-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551165 | 2002-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535053 | 2002-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535007 | 2002-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754102 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754104 | 2001-11-11 | Paper |
| Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations | 2000-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251060 | 1999-11-29 | Paper |
| Property preserving abstractions for the verification of concurrent systems | 1995-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037384 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037092 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733383 | 1989-01-01 | Paper |
