| Publication | Date of Publication | Type |
|---|
Accelerating parameter synthesis using semi-algebraic constraints
| 2024-04-19 | Paper |
Phenotype control of partially specified Boolean networks
Computational Methods in Systems Biology | 2024-02-28 | Paper |
Digital bifurcation analysis of TCP dynamics
Tools and Algorithms for the Construction and Analysis of Systems | 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 |
scientific article; zbMATH DE number 7566051 (Why is no real title available?)
| 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 |
Using strategy improvement to stay alive
| 2021-02-16 | Paper |
AEON: attractor bifurcation analysis of parametrised Boolean networks
| 2021-02-04 | Paper |
Digital bifurcation analysis of Internet congestion control protocols
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering | 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
Hybrid Systems Biology | 2019-12-04 | Paper |
Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Detecting attractors in biological models with uncertain parameters
Computational Methods in Systems Biology | 2019-07-25 | Paper |
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
Hybrid Systems Biology | 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
Acta Informatica | 2017-10-09 | Paper |
A process algebra for synchronous concurrent constraint programming
Algebraic and Logic 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
Formal Aspects of Computing | 2016-05-12 | Paper |
STL*: extending signal temporal logic with signal-value freezing operator
Information and Computation | 2014-06-06 | Paper |
Parallel model checking large-scale genetic regulatory networks with DiVinE
Electronic Notes in Theoretical Computer Science | 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
Lecture Notes in Computer Science | 2013-06-28 | Paper |
On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
Science of Computer Programming | 2013-06-06 | Paper |
On approximative reachability analysis of biochemical dynamical systems
Lecture Notes in Computer Science | 2013-04-03 | Paper |
Faster algorithm for mean-payoff games
| 2012-09-28 | Paper |
Using strategy improvement to stay alive
International Journal of Foundations of Computer Science | 2012-08-30 | Paper |
Partial order reduction for state/event LTL with application to component-interaction automata
Science of Computer Programming | 2011-07-18 | Paper |
Faster algorithms for mean-payoff games
Formal Methods in System Design | 2011-05-23 | Paper |
Flash memory efficient LTL model checking
Science of Computer Programming | 2011-01-14 | Paper |
On algorithmic analysis of transcriptional regulation by LTL model checking
Theoretical Computer Science | 2009-08-07 | Paper |
Partial Order Reduction for State/Event LTL
Lecture Notes in Computer Science | 2009-02-24 | Paper |
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking
Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
Model-Checking Large Finite-State Systems and Beyond
Lecture Notes in Computer Science | 2008-03-07 | Paper |
Cluster-Based LTL Model Checking of Large Systems
Formal Methods for Components and Objects | 2007-09-11 | Paper |
Formal Methods in Computer-Aided Design
Lecture Notes in Computer Science | 2006-10-20 | Paper |
scientific article; zbMATH DE number 2172791 (Why is no real title available?)
| 2005-10-07 | Paper |
scientific article; zbMATH DE number 2081097 (Why is no real title available?)
| 2004-08-04 | Paper |
scientific article; zbMATH DE number 2080918 (Why is no real title available?)
| 2004-08-04 | Paper |
scientific article; zbMATH DE number 2080919 (Why is no real title available?)
| 2004-08-04 | Paper |
scientific article; zbMATH DE number 1884415 (Why is no real title available?)
| 2003-03-18 | Paper |
scientific article; zbMATH DE number 1744967 (Why is no real title available?)
| 2002-05-23 | Paper |
On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking
| N/A | Paper |
