Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. - Jiri Barnat; Lubos Brim; Ivana Cerná; Sven Drazan; David Safránek (FBTC@CONCUR, 2007)

BioDiVinE: A Framework for Parallel Analysis of Biological Models - Jiri Barnat; Lubos Brim; Ivana Cerná; Sven Drazan; Jana Fabriková; Jan Láník; David Safránek; Hongwu Ma (COMPMOD, 2009)

On algorithmic analysis of transcriptional regulation by LTL model checking. - Jiri Barnat; Lubos Brim; Ivana Cerná; Sven Drazan; Jana Fabriková; David Safránek (Theor. Comput. Sci., 2009)

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation - Lubos Brim; Jana Fabriková; Sven Drazan; David Safránek (CoRR, 2011)

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract) - Lubos Brim; Jana Fabriková; Sven Drazan; David Safránek (CompMod, 2011)

On Approximative Reachability Analysis of Biochemical Dynamical Systems. - Lubos Brim; Jana Fabriková; Sven Drazan; David Safránek (Trans. Comp. Sys. Biology, 2012)

Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking. - Lubos Brim; Milan Ceska 002; Sven Drazan; David Safránek (CAV, 2013)

On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking. - Lubos Brim; Milan Ceska 002; Sven Drazan; David Safránek (CoRR, 2013)