DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications

von Hajnal, Matej
Veröffentlicht in EPEW (17. : 2021 : Online) Performance Engineering and Stochastic Modeling (2021)

Computational methods in systems biology : 16th international conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018 : proceedings

Veröffentlicht 2018

Hybrid systems biology : fourth international workshop, HSB 2015, Madrid, Spain, September 4-5, 2015 : revised selected papers

Veröffentlicht 2015

eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems

von Troják, Matej
Veröffentlicht in CMSB (20. : 2022 : Bukarest) Computational methods in systems biology (2022)

Aeon 2021: Bifurcation Decision Trees in Boolean Networks

von Beneš, Nikola
Veröffentlicht in CMSB (19. : 2021 : Bordeaux) Computational Methods in Systems Biology (2021)

eBCSgen: A Software Tool for Biochemical Space Language

von Troják, Matej
Veröffentlicht in CMSB (18. : 2020 : Online) Computational methods in systems biology (2020)

Symbolic Coloured SCC Decomposition

von Beneš, Nikola
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

Computing Bottom SCCs Symbolically Using Transition Guided Reduction

von Beneš, Nikola
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

Parameter Synthesis and Robustness Analysis of Rule-Based Models

von Troják, Matej
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)

Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications

von Smijáková, Eva
Veröffentlicht in CMSB (18. : 2020 : Online) Computational methods in systems biology (2020)

AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

von Benes, Nikola
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

Formal verification and static analysis of molecular devices and biological systems

Veröffentlicht 2019