| Publication | Date of Publication | Type |
|---|
| Obituary: Edmund Melson Clarke jun. (1945--2020) | 2023-10-30 | Paper |
| Automated program repair using formal verification techniques | 2023-08-10 | Paper |
| Modular verification of concurrent programs via sequential model checking | 2023-07-28 | Paper |
| Assume, Guarantee or Repair | 2022-10-13 | Paper |
| Compositional model checking for multi-properties | 2021-10-18 | Paper |
| Must fault localization for program repair | 2021-02-09 | Paper |
| Sound and complete mutation-based program repair | 2020-01-03 | Paper |
| Automated Circular Assume-Guarantee Reasoning | 2019-12-19 | Paper |
| Program composition via unification | 2019-12-04 | Paper |
| An automata-theoretic approach to model-checking systems and specifications over infinite data domains | 2019-10-25 | Paper |
| Modular Demand-Driven Analysis of Semantic Difference for Program Versions | 2019-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5227061 | 2019-08-05 | Paper |
| Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement | 2019-05-03 | Paper |
| Automated circular assume-guarantee reasoning | 2018-09-12 | Paper |
| Abstraction and Abstraction Refinement | 2018-07-20 | Paper |
| Proof-guided underapproximation-widening for multi-process systems | 2017-07-14 | Paper |
| A game-based framework for CTL counterexamples and 3-valued abstraction-refinement | 2017-07-12 | Paper |
| Simulation-based minimization | 2017-06-13 | Paper |
| A framework for compositional verification of multi-valued systems via abstraction-refinement | 2016-03-10 | Paper |
| Analyzing Internet Routing Security Using Model Checking | 2016-01-12 | Paper |
| A Game-Theoretic Approach to Simulation of Data-Parameterized Systems | 2015-12-17 | Paper |
| Counterexample-guided abstraction refinement for symbolic model checking | 2015-11-12 | Paper |
| An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications | 2014-07-08 | Paper |
| Intertwined Forward-Backward Reachability Analysis Using Interpolants | 2013-08-05 | Paper |
| Model Checking Systems and Specifications with Parameterized Atomic Propositions | 2012-11-21 | Paper |
| Applying Software Model Checking Techniques for Behavioral UML Models | 2012-11-08 | Paper |
| Multi-valued model checking games | 2012-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3060979 | 2010-12-13 | Paper |
| Variable Automata over Infinite Alphabets | 2010-05-26 | Paper |
| Computer Aided Verification | 2010-04-20 | Paper |
| Computer Aided Verification | 2010-04-20 | Paper |
| Computer Aided Verification | 2010-04-20 | Paper |
| Computer Aided Verification | 2010-04-20 | Paper |
| Compositional verification and 3-valued abstractions join forces | 2010-02-26 | Paper |
| A framework for compositional verification of multi-valued systems via abstraction-refinement | 2009-12-01 | Paper |
| Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations | 2009-11-23 | Paper |
| Hybrid BDD and All-SAT Method for Model Checking | 2009-06-03 | Paper |
| Compositional Verification and 3-Valued Abstractions Join Forces | 2009-03-03 | Paper |
| 3-valued abstraction: More precision at less cost | 2008-12-03 | Paper |
| Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations | 2008-07-15 | Paper |
| A New Approach to Bounded Model Checking for Branching Time Logics | 2008-07-03 | Paper |
| 3-Valued Circuit SAT for STE with Automatic Refinement | 2008-07-03 | Paper |
| Efficient Automatic STE Refinement Using Responsibility | 2008-04-11 | Paper |
| The abstraction-refinement framework in model checking | 2008-01-14 | Paper |
| State/Event Software Verification for Branching-Time Specifications | 2007-11-29 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| Abstraction and Refinement in Model Checking | 2007-09-11 | Paper |
| Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation | 2007-09-05 | Paper |
| When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus | 2007-08-23 | Paper |
| VERIFYING VERY LARGE INDUSTRIAL CIRCUITS USING 100 PROCESSES AND BEYOND | 2007-03-13 | Paper |
| A work-efficient distributed algorithm for reachability analysis | 2006-10-24 | Paper |
| Correct Hardware Design and Verification Methods | 2006-10-20 | Paper |
| Formal Methods in Computer-Aided Design | 2006-10-20 | Paper |
| Correct Hardware Design and Verification Methods | 2006-10-20 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-10 | Paper |
| Combining symmetry reduction and under-approximation for symbolic model checking | 2006-02-20 | Paper |
| Distributed symbolic model checking for \(\mu\)-calculus | 2006-02-20 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2005-12-06 | Paper |
| Applicability of fair simulation | 2004-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4823139 | 2004-10-26 | Paper |
| Static analysis for state-space reductions preserving temporal logics | 2004-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737569 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737558 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472256 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411151 | 2003-07-07 | Paper |
| A scalable parallel algorithm for reachability analysis of very large circuits | 2003-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804888 | 2003-05-01 | Paper |
| Syntax-directed model checking of sequential programs | 2003-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4553260 | 2002-11-04 | Paper |
| Which branching-time properties are effectively linear? | 2002-08-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754081 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754071 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723424 | 2001-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518425 | 2000-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518423 | 2000-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494396 | 2000-08-10 | Paper |
| State space reduction using partial order techniques | 1999-01-01 | Paper |
| Branching-time temporal logic and tree automata | 1996-12-12 | Paper |
| Buy one, get one free!!! | 1996-11-17 | Paper |
| Verification of temporal properties | 1996-11-10 | Paper |
| Program composition via unification | 1994-08-29 | Paper |
| Modular abstractions for verifying real-time distributed systems | 1993-09-30 | Paper |
| Fairness and hyperfairness in multi-party interactions | 1993-09-16 | Paper |
| A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4036556 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037111 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037386 | 1993-05-18 | Paper |
| Reasoning about networks with many identical finite state processes | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4207567 | 1989-01-01 | Paper |
| Characterizing finite Kripke structures in propositional temporal logic | 1988-01-01 | Paper |
| Infinite trees, markings, and well-foundedness | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3028984 | 1987-01-01 | Paper |
| A complete rule for equifair termination | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3709859 | 1986-01-01 | Paper |
| A proof rule for fair termination of guarded commands | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3698285 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3347265 | 1984-01-01 | Paper |
