| Publication | Date of Publication | Type |
|---|
| Reasoning about vectors: satisfiability modulo a theory of sequences | 2023-10-24 | Paper |
| Layered concurrent programs | 2023-05-26 | Paper |
| On the completeness of verifying message passing programs under bounded asynchrony | 2023-05-05 | Paper |
| Reasoning about vectors using an SMT theory of sequences | 2022-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5009435 | 2021-08-04 | Paper |
| Refinement for structured concurrent programs | 2021-02-04 | Paper |
| Model Checking Concurrent Programs | 2018-07-20 | Paper |
| Verifying properties of well-founded linked lists | 2017-08-21 | Paper |
| Summarizing procedures in concurrent programs | 2015-11-11 | Paper |
| A calculus of atomic actions | 2015-07-03 | Paper |
| Unifying type checking and property checking for low-level code | 2015-07-03 | Paper |
| Predicate abstraction for software verification | 2015-03-17 | Paper |
| Back to the future | 2014-09-12 | Paper |
| Reachability Modulo Theories | 2014-07-07 | Paper |
| Delay-bounded scheduling | 2014-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2845505 | 2013-08-30 | Paper |
| Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels | 2013-08-05 | Paper |
| Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads | 2012-04-02 | Paper |
| Simplifying Linearizability Proofs with Reduction and Abstraction | 2010-04-27 | Paper |
| Computer Aided Verification | 2010-04-20 | Paper |
| Abstract Threads | 2010-01-14 | Paper |
| Complexity and Algorithms for Monomial and Clausal Predicate Abstraction | 2009-07-28 | Paper |
| Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads | 2009-03-31 | Paper |
| Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures | 2007-11-29 | Paper |
| A Reachability Predicate for Analyzing Low-Level Software | 2007-09-03 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| Modular verification of multithreaded programs | 2005-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817545 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818798 | 2004-09-24 | Paper |
| From pre-historic to post-modern symbolic model checking | 2004-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738361 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4426384 | 2003-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804895 | 2003-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754093 | 2001-12-17 | Paper |
| Partial-order reduction in symbolic state-space exploration | 2001-09-09 | Paper |
