Sven Drazan

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Concurrent Systems

Formal Specification

Reachability Analysis

Top Venues

Trans. Comp. Sys. Biology

Publications

Lubos Brim, Milan Ceska, Sven Drazan, David Safránek
On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking. CoRR (2013)
Lubos Brim, Milan Ceska, Sven Drazan, David Safránek
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking. CAV (2013)
Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek
On Approximative Reachability Analysis of Biochemical Dynamical Systems. Trans. Comp. Sys. Biology 14 (2012)
Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation CoRR (2011)
Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract) CompMod (2011)
Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, David Safránek
On algorithmic analysis of transcriptional regulation by LTL model checking. Theor. Comput. Sci. 410 (33-34) (2009)
Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, Jan Láník, David Safránek, Hongwu Ma
BioDiVinE: A Framework for Parallel Analysis of Biological Models COMPMOD (2009)
Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, David Safránek
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. Electron. Notes Theor. Comput. Sci. 194 (3) (2008)