| Publication | Date of Publication | Type |
|---|
| Stack-aware hyperproperties | 2023-12-13 | Paper |
| Controller synthesis made real: reach-avoid specifications and linear dynamics | 2023-05-26 | Paper |
| Model checking indistinguishability of randomized security protocols | 2023-05-05 | Paper |
| Modular verification of protocol equivalence in the presence of randomness | 2022-08-25 | Paper |
| Controller Synthesis for Linear System With Reach-Avoid Specifications | 2022-07-28 | Paper |
| \textsc{DryVR}: data-driven verification and compositional reasoning for automotive systems | 2022-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079756 | 2022-05-28 | Paper |
| What’s Decidable About Program Verification Modulo Axioms? | 2021-11-10 | Paper |
| Relating syntactic and semantic perturbations of hybrid automata | 2021-08-04 | Paper |
| Modelchecking safety properties in randomized security protocols | 2021-07-08 | Paper |
| Decidable synthesis of programs with uninterpreted functions | 2021-02-09 | Paper |
| The Complexity of Dynamic Data Race Prediction | 2021-01-21 | Paper |
| Complexity of model checking MDPs against LTL specifications | 2020-11-25 | Paper |
| Optimal Translation of LTL to Limit Deterministic Automata | 2020-08-05 | Paper |
| Revisiting MITL to Fix Decision Procedures | 2020-07-07 | Paper |
| Statistical verification of PCTL using antithetic and stratified samples | 2019-11-18 | Paper |
| Extending Parikh’s Theorem to Weighted and Probabilistic Context-Free Grammars | 2019-09-17 | Paper |
| Limit deterministic and probabilistic automata for \(\mathrm{LTL}\backslash GU\) | 2019-09-17 | Paper |
| Hybridization based CEGAR for hybrid automata with affine dynamics | 2019-09-17 | Paper |
| Parsimonious, Simulation Based Verification of Linear Systems | 2019-05-03 | Paper |
| Verification of Bounded Discrete Horizon Hybrid Automata | 2017-09-08 | Paper |
| Stability Analysis of Switched Linear Systems Defined by Regular Languages | 2017-07-27 | Paper |
| Robust Model Checking of Timed Automata under Clock Drifts | 2017-07-11 | Paper |
| Statistical verification of dynamical systems using set oriented methods | 2017-05-19 | Paper |
| A dynamic algorithm for approximate flow computations | 2017-05-16 | Paper |
| On the decidability of stability of hybrid systems | 2017-05-16 | Paper |
| Pre-orders for reasoning about stability | 2017-05-16 | Paper |
| Hybrid automata-based CEGAR for rectangular hybrid systems | 2015-10-30 | Paper |
| A counterexample-guided abstraction-refinement framework for markov decision processes | 2015-09-17 | Paper |
| Deciding Concurrent Planar Monotonic Linear Hybrid Systems | 2015-09-14 | Paper |
| Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints | 2015-08-06 | Paper |
| A decidable class of planar linear hybrid systems | 2015-02-24 | Paper |
| Probabilistic Automata for Safety LTL Specifications | 2015-01-13 | Paper |
| Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems | 2014-11-03 | Paper |
| Conformance testing in the presence of multiple faults | 2014-10-13 | Paper |
| Least upper bounds for probability measures and their applications to abstractions | 2014-02-11 | Paper |
| Reachability under contextual locking | 2013-09-26 | Paper |
| Probabilistic Automata with Isolated Cut-Points | 2013-09-20 | Paper |
| Model checking concurrent programs with nondeterminism and randomization | 2012-08-29 | Paper |
| Reachability under Contextual Locking | 2012-06-29 | Paper |
| Power of Randomization in Automata on Infinite Strings | 2012-04-02 | Paper |
| Specifications for decidable hybrid games | 2011-12-07 | Paper |
| Complexity bounds for the verification of real-time software | 2010-01-14 | Paper |
| On Convergence of Concurrent Systems under Regular Interactions | 2009-10-22 | Paper |
| Query Automata for Nested Words | 2009-10-16 | Paper |
| Deciding branching time properties for asynchronous programs | 2009-10-09 | Paper |
| STORMED Hybrid Games | 2009-04-30 | Paper |
| Least Upper Bounds for Probability Measures and Their Applications to Abstractions | 2008-11-25 | Paper |
| Propositional Tree Automata | 2008-09-25 | Paper |
| Decidability Results for Well-Structured Transition Systems with Auxiliary Storage | 2008-09-18 | Paper |
| A Decidable Class of Planar Linear Hybrid Systems | 2008-09-02 | Paper |
| STORMED Hybrid Systems | 2008-08-19 | Paper |
| Model Checking Multithreaded Programs with Asynchronous Atomic Methods | 2007-09-05 | Paper |
| Minimization, Learning, and Conformance Testing of Boolean Programs | 2007-09-04 | Paper |
| Learning to verify branching time properties | 2007-08-17 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2005-12-06 | Paper |
| Theoretical Aspects of Computing - ICTAC 2004 | 2005-11-30 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science | 2005-08-12 | Paper |
| Java-MaC: A run-time assurance approach for Java programs | 2004-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4447254 | 2004-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4542544 | 2004-01-14 | Paper |
| An Approximate L1 -Difference Algorithm for Massive Data Streams | 2003-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535066 | 2002-06-12 | Paper |
| Spot-checkers | 2001-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4267798 | 1999-10-20 | Paper |
