| 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 |
Recursive online enumeration of all minimal unsatisfiable subsets
Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
scientific article; zbMATH DE number 7566051 (Why is no real title available?)
(available as arXiv preprint) | 2022-08-02 | 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 |
| 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 |
Logical vs. behavioural specifications
Information and Computation | 2020-03-12 | Paper |
| A model checking approach to discrete bifurcation analysis | 2020-01-03 | 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 |
LTL parameter synthesis of parametric timed automata
Software Engineering and Formal Methods | 2018-07-06 | Paper |
Finding boundary elements in ordered sets with application to safety and requirements analysis
Software Engineering and Formal Methods | 2018-07-06 | Paper |
On clock-aware LTL parameter synthesis of timed automata
Journal of Logical and Algebraic Methods in Programming | 2018-06-27 | Paper |
Tunable online MUS/MSS enumeration
(available as arXiv preprint) | 2018-04-19 | Paper |
Analysing sanity of requirements for avionics systems
Formal Aspects of Computing | 2016-05-12 | Paper |
Language emptiness of continuous-time parametric timed automata
Automata, Languages, and Programming | 2015-11-04 | Paper |
Refinement checking on parametric modal transition systems
Acta Informatica | 2015-04-16 | Paper |
On clock-aware LTL properties of timed automata
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
EXPTIME-completeness of thorough refinement on modal transition systems
Information and Computation | 2012-11-27 | Paper |
| Space effective model checking for component-interaction automata | 2012-09-28 | Paper |
| Process algebra for modal transition systemses | 2012-09-28 | Paper |
Modal process rewrite systems
Theoretical Aspects of Computing – ICTAC 2012 | 2012-09-21 | Paper |
Dual-priced modal transition systems with time durations
Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
Factorization for component-interaction automata
SOFSEM 2012: Theory and Practice of Computer Science | 2012-06-15 | Paper |
Modal transition systems: composition and LTL model checking
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
Parametric modal transition systems
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
Partial order reduction for state/event LTL with application to component-interaction automata
Science of Computer Programming | 2011-07-18 | Paper |
On determinism in modal transition systems
Theoretical Computer Science | 2009-09-29 | Paper |
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
Theoretical Aspects of Computing - ICTAC 2009 | 2009-08-20 | Paper |
Partial Order Reduction for State/Event LTL
Lecture Notes in Computer Science | 2009-02-24 | Paper |
