| Publication | Date of Publication | Type |
|---|
| Operations on fixpoint equation systems | 2024-09-04 | Paper |
| A truly symbolic linear-time algorithm for SCC decomposition | 2024-04-05 | Paper |
| The IMITATOR benchmarks library 2.1: A benchmarks library for extended parametric timed automata | 2024-01-31 | Dataset |
| Fast Symbolic Computation of Bottom SCCs - TACAS 2024 artifact | 2023-12-23 | Dataset |
| Synchronous or alternating? LTL black-box checking of Mealy machines by combining the LearnLib and LTSmin | 2023-08-02 | Paper |
| Adiar 1.2.0 : Experiment Data | 2023-07-07 | Dataset |
| Artifact for Paper Search-Space Pruning with Int-Splits for Faster QBF Solving | 2023-03-20 | Dataset |
| Parameter Synthesis Algorithms for Parametric Interval Markov Chains | 2023-03-10 | Paper |
| Adiar 1.1.0 : Experiment Data | 2023-03-08 | Dataset |
| https://portal.mardi4nfdi.de/entity/Q5875365 | 2023-02-03 | Paper |
| Efficient convex zone merging in parametric timed automata | 2023-01-18 | Paper |
| Automated Verification of Parallel Nested DFS | 2022-10-13 | Paper |
| Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata" | 2022-07-07 | Dataset |
| Adiar 1.0.1 : Experiment Data | 2021-11-02 | Dataset |
| On completeness of liveness synthesis for parametric timed automata (Extended Abstract) | 2021-10-27 | Paper |
| Iterative bounded synthesis for efficient cycle detection in parametric timed automata | 2021-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994964 | 2021-06-22 | Paper |
| Certifying emptiness of timed Büchi automata | 2021-03-02 | Paper |
| Improving the Timed Automata Approach to Biological Pathway Dynamics | 2020-02-24 | Paper |
| Two different strong normalization proofs? | 2019-01-11 | Paper |
| Confluence reduction for Markov automata | 2017-02-06 | Paper |
| Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking | 2014-05-13 | Paper |
| A database approach to distributed state space generation | 2013-12-13 | Paper |
| Improved distributed algorithms for SCC decomposition | 2013-12-13 | Paper |
| A state space distribution policy based on abstract interpretation | 2013-09-25 | Paper |
| Confluence Reduction for Markov Automata | 2013-08-16 | Paper |
| Just-in-time: on strategy annotations | 2013-07-24 | Paper |
| Improved Multi-Core Nested Depth-First Search | 2012-11-21 | Paper |
| Multi-core Reachability for Timed Automata | 2012-11-21 | Paper |
| Efficient Modelling and Generation of Markov Automata | 2012-09-25 | Paper |
| A linear process-algebraic format with data for probabilistic automata | 2012-03-13 | Paper |
| On the axiomatizability of priority. II | 2011-07-07 | Paper |
| A calculus for four-valued sequential logic | 2011-07-07 | Paper |
| Confluence Reduction for Probabilistic Systems | 2011-05-19 | Paper |
| Distributed Algorithms for SCC Decomposition | 2011-02-02 | Paper |
| Formal Methods for Components and Objects | 2010-02-09 | Paper |
| State Space Reduction of Linear Processes Using Control Flow Reconstruction | 2009-12-01 | Paper |
| Compositional Control Synthesis for Partially Observable Systems | 2009-10-22 | Paper |
| Accelerated Modal Abstractions of Labelled Transition Systems | 2009-04-28 | Paper |
| Computing Weakest Strategies for Safety Games of Imperfect Information | 2009-03-31 | Paper |
| Bug Hunting with False Negatives | 2009-03-06 | Paper |
| Symbolic Reachability for Process Algebras with Recursive Data Types | 2009-01-27 | Paper |
| Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems | 2008-09-18 | Paper |
| Generalizing DPLL and satisfiability for equalities | 2007-08-23 | Paper |
| An abstract interpretation toolkit for \(\mu\)CRL | 2007-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3413371 | 2007-01-04 | Paper |
| Cones and foci: A mechanical framework for protocol verification | 2006-11-17 | Paper |
| Mathematical Foundations of Computer Science 2005 | 2006-10-20 | Paper |
| Which two-sorted algebras of Booleans and naturals have a finite basis? | 2006-01-06 | Paper |
| Verification of a sliding window protocol in \(\mu\) CRL and PVS | 2005-12-13 | Paper |
| Term Rewriting and Applications | 2005-11-11 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024848 | 2005-07-04 | Paper |
| Zero, successor and equality in BDDs | 2005-04-21 | Paper |
| Semantic models of a timed distributed dataspace architecture | 2005-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808759 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738200 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484474 | 2003-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4806211 | 2003-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536374 | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536397 | 2002-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767014 | 2002-07-22 | Paper |
| A rewriting approach to binary decision diagrams | 2002-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494241 | 2000-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699301 | 1999-11-10 | Paper |
| Operational semantics of rewriting with priorities | 1999-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3127078 | 1997-04-03 | Paper |
