| Publication | Date of Publication | Type |
|---|
| Accelerating parameter synthesis using semi-algebraic constraints | 2024-04-19 | Paper |
| Phenotype control of partially specified Boolean networks | 2024-02-28 | Paper |
| Digital bifurcation analysis of TCP dynamics | 2023-11-24 | Paper |
| eBCSgen 2.0: modelling and analysis of regulated rule-based systems | 2023-01-18 | Paper |
| Parallel parameter synthesis for multi-affine hybrid systems from hybrid CTL specifications | 2022-12-22 | Paper |
| eBCSgen: a software tool for biochemical space language | 2022-12-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5094123 | 2022-08-02 | Paper |
| Aeon 2021: bifurcation decision trees in Boolean networks | 2022-05-25 | Paper |
| Computing bottom SCCs symbolically using transition guided reduction | 2022-03-25 | Paper |
| Symbolic coloured SCC decomposition | 2021-10-18 | Paper |
| Executable biochemical space for specification and analysis of biochemical systems | 2021-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5150999 | 2021-02-16 | Paper |
| AEON: attractor bifurcation analysis of parametrised Boolean networks | 2021-02-04 | Paper |
| Digital Bifurcation Analysis of Internet Congestion Control Protocols | 2020-12-03 | Paper |
| A model checking approach to discrete bifurcation analysis | 2020-01-03 | Paper |
| Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways | 2019-12-04 | Paper |
| Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT | 2019-10-22 | Paper |
| Detecting Attractors in Biological Models with Uncertain Parameters | 2019-07-25 | Paper |
| High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems | 2019-05-21 | Paper |
| Formal biochemical space with semantics in Kappa and BNGL | 2018-04-23 | Paper |
| Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks | 2018-03-01 | Paper |
| Precise parameter synthesis for stochastic biochemical systems | 2017-10-09 | Paper |
| A process algebra for synchronous concurrent constraint programming | 2017-01-19 | Paper |
| Compact representation of photosynthesis dynamics by rule-based models | 2016-12-16 | Paper |
| Analysing sanity of requirements for avionics systems | 2016-05-12 | Paper |
| STL*: extending signal temporal logic with signal-value freezing operator | 2014-06-06 | Paper |
| Parallel model checking large-scale genetic regulatory networks with DiVinE | 2014-01-17 | Paper |
| How to order vertices for distributed LTL model-checking based on accepting predecessors | 2013-09-26 | Paper |
| Distributed partial order reduction of state spaces | 2013-09-25 | Paper |
| Using assumptions to distribute alternation free {\(\mu\)}-calculus model checking | 2013-08-30 | Paper |
| Using assumptions to distribute CTL model checking | 2013-08-16 | Paper |
| Model Checking of Biological Systems | 2013-06-28 | Paper |
| On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties | 2013-06-06 | Paper |
| On Approximative Reachability Analysis of Biochemical Dynamical Systems | 2013-04-03 | Paper |
| Faster algorithm for mean-payoff games | 2012-09-28 | Paper |
| Using strategy improvement to stay alive | 2012-08-30 | Paper |
| Partial order reduction for state/event LTL with application to component-interaction automata | 2011-07-18 | Paper |
| Faster algorithms for mean-payoff games | 2011-05-23 | Paper |
| Flash memory efficient LTL model checking | 2011-01-14 | 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 |
| Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking | 2008-04-11 | Paper |
| Model-Checking Large Finite-State Systems and Beyond | 2008-03-07 | Paper |
| Cluster-Based LTL Model Checking of Large Systems | 2007-09-11 | Paper |
| Formal Methods in Computer-Aided Design | 2006-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4680178 | 2005-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474210 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473984 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473985 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798037 | 2003-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531762 | 2002-05-23 | Paper |
| On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking | N/A | Paper |
