16 citations · 30 across the 4 of their papers we have counts for
4 papers
On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking
Lubos Brim, Milan Ceska, Sven Drazan +1
This report proposes a novel framework for a rigorous robustness analysis of stochastic biochemical systems. The technique is based on probabilistic model checking. We adapt the ge…
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract)
L. Brim, J. Fabriková, S. Dražan +1
In this paper, a novel computational technique for finite discrete approximation of continuous dynamical systems suitable for a significant class of biochemical dynamical systems i…
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation
Lubos Brim, Jana Fabrikova, Sven Drazan +1
In this paper a novel computational technique for finite discrete approximation of continuous dynamical systems suitable for a significant class of biochemical dynamical systems is…
BioDiVinE: A Framework for Parallel Analysis of Biological Models
Jiří Barnat, Luboš Brim, Ivana Černá +5
In this paper a novel tool BioDiVinEfor parallel analysis of biological models is presented. The tool allows analysis of biological models specified in terms of a set of chemical r…