| Publication | Date of Publication | Type |
|---|
| Recursive online enumeration of all minimal unsatisfiable subsets | 2023-07-28 | Paper |
| Online Enumeration of All Minimal Inductive Validity Cores | 2023-05-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5101345 | 2022-08-30 | Paper |
| Timed automata relaxation for reachability | 2021-08-04 | Paper |
| Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets | 2019-07-04 | Paper |
| Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis | 2018-07-06 | Paper |
| LTL Parameter Synthesis of Parametric Timed Automata | 2018-07-06 | Paper |
| On clock-aware LTL parameter synthesis of timed automata | 2018-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636600 | 2018-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4610039 | 2018-04-05 | Paper |
| Temporal Logic Control of Discrete-Time Piecewise Affine Systems | 2017-09-08 | Paper |
| Temporal logic motion planning using POMDPs with parity objectives | 2017-05-19 | Paper |
| Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games | 2017-05-19 | Paper |
| Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties | 2017-05-16 | Paper |
| Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games | 2016-12-15 | Paper |
| On Clock-Aware LTL Properties of Timed Automata | 2015-01-13 | Paper |
| Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE | 2014-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848654 | 2013-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848148 | 2013-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2842855 | 2013-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2842872 | 2013-08-16 | Paper |
| Formal analysis of piecewise affine systems through formula-guided refinement | 2013-03-04 | Paper |
| Factorization for Component-Interaction Automata | 2012-06-15 | Paper |
| Modal Transition Systems: Composition and LTL Model Checking | 2011-10-07 | Paper |
| Partial order reduction for state/event LTL with application to component-interaction automata | 2011-07-18 | Paper |
| On algorithmic analysis of transcriptional regulation by LTL model checking | 2009-08-07 | Paper |
| Partial Order Reduction for State/Event LTL | 2009-02-24 | Paper |
| Mathematical Foundations of Computer Science 2003 | 2007-12-07 | Paper |
| Cluster-Based LTL Model Checking of Large Systems | 2007-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3430687 | 2007-03-23 | Paper |
| Distributed breadth-first search LTL model checking | 2006-10-24 | Paper |
| Formal Methods in Computer-Aided Design | 2006-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473984 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474210 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4426370 | 2003-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798037 | 2003-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4496248 | 2001-06-21 | Paper |
| Comparing expressibility of normed BPA and normed BPP processes | 1999-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222869 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3361887 | 1990-01-01 | Paper |
