Sven Dražan

2013

Luboš Brim, Milan Češka, Sven Dražan, and David Šafránek:
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking,
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, Springer Berlin Heidelberg, 2013, 107–123. [bibtex, url]

Luboš Brim, Milan Češka, Sven Dražan, and David Šafránek:
On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking,
arXiv preprint arXiv:1310.4734, 2013. [bibtex]

2011

Luboš Brim, Jana Fabriková, Sven Dražan, and David Šafránek:
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation,
Electronic Proceedings in Theoretical Computer Science, 2011. [bibtex, url]

2009

Jiří Barnat, Luboš Brim, Ivana Černá, Sven Dražan, Jana Fabriková, Jan Láník, David Šafránek, and Hongwu Ma:
BioDiVinE: A Framework for Parallel Analysis of Biological Models,
Electronic Proceedings in Theoretical Computer Science (COMPMOD 2009), 2009, 31–45. [bibtex, url]

Jiří Barnat, Luboš Brim, Ivana Černá, Sven Dražan, Jana Fabriková, Jan Láník, and David Šafránek:
BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models,
Proceedings of The 7th Conference on Computational Methods in Systems Biology (CMSB’09), Universita di Pisa, 2009, volume TR-09-09 of Technical Report, 1–5. [bibtex]

Jiří Barnat, Luboš Brim, Ivana Černá, Sven Dražan, Jana Fabriková, and David Šafránek:
Computational Analysis of Large-Scale Multi-Affine ODE Models,
2009 International Workshop on High Performance Computational Systems Biology (HiBi 2009), IEEE Computer Society Press, 2009, 81–90. [bibtex]

Jiří Barnat, Luboš Brim, Ivana Černá, Sven Dražan, Jana Fabriková, and David Šafránek:
On algorithmic analysis of transcriptional regulation by LTL model checking,
Theor. Comput. Sci., 2009, 3128–3148. [bibtex, url]

2008

Jiří Barnat, Luboš Brim, Ivana Černá, Sven Dražan, and David Šafránek:
From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks,
Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation, Ivana Černá and Gerald Luettgen, 2008, 83-96. [bibtex]

Jiří Barnat, Luboš Brim, Ivana Černá, Sven Dražan, and David Šafránek:
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE,
ENTCS, Elsevier, 2008, volume 194 of ENTCS, 35–50. [bibtex]

2007

Jiří Barnat, Luboš Brim, Ivana Černá, Sven Dražan, and David Šafránek:
Parallel Model-Checking Genetic Regulatory Networks,
Towards Systems Biology, Verimag, 2007. [bibtex]