| Publication | Date of Publication | Type |
|---|
| \textsc{Sorcar}: property-driven algorithms for learning conjunctive invariants | 2024-04-19 | Paper |
| A First-Order Logic with Frames | 2022-10-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079756 | 2022-05-28 | Paper |
| What’s Decidable About Program Verification Modulo Axioms? | 2021-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5005118 | 2021-08-04 | Paper |
| Decidable synthesis of programs with uninterpreted functions | 2021-02-09 | Paper |
| A learning-based approach to synthesizing invariants for incomplete verification engines | 2020-11-02 | Paper |
| Invariant synthesis for incomplete verification engines | 2019-09-16 | Paper |
| Compositional Synthesis of Piece-Wise Functions by Learning Classifiers | 2018-08-10 | Paper |
| Lagrange's Theorem for Binary Squares | 2017-10-11 | Paper |
| A fixpoint calculus for local and global program flows | 2017-08-21 | Paper |
| Synthesis of interface specifications for Java classes | 2017-07-14 | Paper |
| Adding nesting structure to words | 2015-11-11 | Paper |
| Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists | 2015-10-20 | Paper |
| Recursive proofs for inductive tree data-structures | 2015-09-11 | Paper |
| The tree width of auxiliary storage | 2014-04-10 | Paper |
| Decidable logics combining heap structures and data | 2014-04-10 | Paper |
| Reachability under contextual locking | 2013-09-26 | Paper |
| Symbolic computational techniques for solving games | 2013-08-30 | Paper |
| Policy Analysis for Self-administrated Role-Based Access Control | 2013-08-05 | Paper |
| Synthesizing reactive programs | 2012-09-18 | Paper |
| Reachability under Contextual Locking | 2012-06-29 | Paper |
| Compositionality Entails Sequentializability | 2011-05-19 | Paper |
| Visibly pushdown languages | 2010-08-15 | Paper |
| The Language Theory of Bounded Context-Switching | 2010-04-27 | Paper |
| Computer Aided Verification | 2010-04-20 | Paper |
| Timed control with partial observability. | 2010-04-20 | Paper |
| Playing games with boxes and diamonds. | 2010-03-30 | Paper |
| Query Automata for Nested Words | 2009-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5190784 | 2009-07-27 | Paper |
| Meta-analysis for Atomicity Violations under Nested Locking | 2009-06-30 | Paper |
| Reducing Context-Bounded Concurrent Reachability to Sequential Reachability | 2009-06-30 | Paper |
| The Complexity of Predicting Atomicity Violations | 2009-03-31 | Paper |
| Adding Nesting Structure to Words | 2009-03-26 | Paper |
| An Infinite Automaton Characterization of Double Exponential Time | 2008-11-20 | Paper |
| Automatic symbolic compositional verification by learning assumptions | 2008-07-30 | Paper |
| Monitoring Atomicity in Concurrent Programs | 2008-07-15 | Paper |
| Context-Bounded Analysis of Concurrent Queue Systems | 2008-04-11 | Paper |
| Learning Algorithms and Formal Verification (Invited Tutorial) | 2008-04-04 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| Languages of Nested Trees | 2007-09-05 | Paper |
| Causal Atomicity | 2007-09-05 | Paper |
| Minimization, Learning, and Conformance Testing of Boolean Programs | 2007-09-04 | Paper |
| Causal Dataflow Analysis for Concurrent Programs | 2007-09-03 | Paper |
| FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science | 2006-11-14 | Paper |
| Formal Methods for the Design of Real-Time Systems | 2006-10-19 | Paper |
| Modular strategies for recursive game graphs | 2006-04-28 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| Hybrid Systems: Computation and Control | 2005-11-11 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| Automata, Languages and Programming | 2005-08-24 | Paper |
| FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science | 2005-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736872 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474224 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417938 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415260 | 2003-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484484 | 2003-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536596 | 2002-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251912 | 2002-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535033 | 2002-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535064 | 2002-06-12 | Paper |
| Branching time controllers for discrete event systems | 2002-03-03 | Paper |
