Login / Signup
Sven Drazan
Publication Activity (10 Years)
Years Active: 2008-2013
Publications (10 Years): 0
Top Topics
Concurrent Systems
Finite State
Formal Specification
Reachability Analysis
Top Venues
CoRR
CAV
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)