| Publication | Date of Publication | Type |
|---|
| Binary decision diagrams with edge-specified reductions | 2023-11-24 | Paper |
| Computing under-approximations of multivalued decision diagrams | 2023-11-16 | Paper |
| Bddl: A Type System for Binary Decision Diagrams | 2022-12-07 | Paper |
| HyperPCTL model checking by probabilistic decomposition | 2022-08-19 | Paper |
| The footprint form of a matrix: definition, properties, and an application | 2022-07-26 | Paper |
| Generation of minimum tree-like witnesses for existential CTL | 2019-09-16 | Paper |
| Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse | 2019-07-04 | Paper |
| Symbolic Termination and Confluence Checking for ECA Rules | 2015-11-12 | Paper |
| Tutorial on Structured Continuous-Time Markov Processes | 2015-01-14 | Paper |
| A pattern recognition approach for speculative firing prediction in distributed saturation state-space generation | 2013-09-26 | Paper |
| An efficient fully symbolic bisimulation algorithm for non-deterministic systems | 2013-07-30 | Paper |
| Ten Years of Saturation: A Petri Net Perspective | 2012-06-08 | Paper |
| A Fully Symbolic Bisimulation Algorithm | 2011-10-07 | Paper |
| Symbolic Verification and Test Generation for a Network of Communicating FSMs | 2011-10-07 | Paper |
| Data Representation and Efficient Solution: A Decision Diagram Approach | 2011-03-25 | Paper |
| Speculative Image Computation for Distributed Symbolic Reachability Analysis | 2011-02-02 | Paper |
| Computer Aided Verification | 2010-04-20 | Paper |
| Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation | 2009-12-01 | Paper |
| P-Semiflow Computation with Decision Diagrams | 2009-06-30 | Paper |
| Improving Static Variable Orders Via Invariants | 2009-03-11 | Paper |
| Symbolic Reachability Analysis of Integer Timed Petri Nets | 2009-02-03 | Paper |
| Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams | 2009-02-03 | Paper |
| A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis | 2008-09-04 | Paper |
| Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams | 2007-09-03 | Paper |
| Exploiting interleaving semantics in symbolic state-space generation | 2007-08-17 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
| Correct Hardware Design and Verification Methods | 2006-10-20 | Paper |
| Applications and Theory of Petri Nets 2004 | 2005-12-23 | Paper |
| Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models | 2003-10-28 | Paper |
| Comments on "Analysis of self-stabilizing clock synchronization by means of stochastic Petri nets" | 2003-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4427908 | 2003-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417940 | 2003-07-30 | Paper |
| ETAQA: an efficient technique for the analysis of QBD-processes by aggregation | 2003-06-24 | Paper |
| Approximate transient analysis for subclasses of deterministic and stochastic Petri nets | 2003-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4547772 | 2002-08-21 | Paper |
| EquiLoad: a load balancing policy for clustered web servers | 2002-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766555 | 2002-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535838 | 2002-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769596 | 2002-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945336 | 2000-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5687221 | 1996-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4763571 | 1995-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281302 | 1994-11-17 | Paper |
| A decomposition approach for stochastic reward net models | 1994-06-09 | Paper |
| Analysis of Stiff Markov Chains | 1993-01-16 | Paper |
| On the solution of GSPN reward models | 1992-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976689 | 1992-06-26 | Paper |
| Stochastic Petri net analysis of a replicated file system | 1989-01-01 | Paper |
