Follow
David Safranek
David Safranek
assistant professor, Masaryk university, Faculty of informatics
Verified email at safranek.cz
Title
Cited by
Cited by
Year
On parameter synthesis by parallel model checking
J Barnat, L Brim, A Krejci, A Streck, D Safranek, M Vejnar, T Vejpustek
IEEE/ACM Transactions on Computational Biology and Bioinformatics 9 (3), 693-705, 2011
772011
Exploring parameter space of stochastic biochemical systems using quantitative model checking
L Brim, M Češka, S Dražan, D Šafránek
International Conference on Computer Aided Verification, 107-123, 2013
622013
Polyhydroxyalkanoates synthesis by halophiles and thermophiles: towards sustainable production of microbial bioplastics
S Obruča, P Dvořák, P Sedláček, M Koller, K Sedlář, I Pernicová, ...
Biotechnology Advances 58, 107906, 2022
552022
Model checking of biological systems
L Brim, M Češka, D Šafránek
International School on Formal Methods for the Design of Computer …, 2013
552013
STL⁎: Extending signal temporal logic with signal-value freezing operator
L Brim, P Dluhoš, D Šafránek, T Vejpustek
Information and computation 236, 52-67, 2014
542014
Parameter identification and model ranking of thomas networks
H Klarner, A Streck, D Šafránek, J Kolčák, H Siebert
International Conference on Computational Methods in Systems Biology, 207-226, 2012
452012
Parameter synthesis by parallel coloured CTL model checking
L Brim, M Češka, M Demko, S Pastva, D Šafránek
International Conference on Computational Methods in Systems Biology, 251-263, 2015
352015
High-performance analysis of biological systems dynamics with the divine model checker
J Barnat, L Brim, D Šafránek
Briefings in Bioinformatics 11 (3), 301-312, 2010
342010
Parallel model checking large-scale genetic regulatory networks with DiVinE
J Barnat, L Brim, I Cerná, S Drazan, D Safránek
Electronic Notes in Theoretical Computer Science 194 (3), 35-50, 2008
342008
AEON: attractor bifurcation analysis of parametrised Boolean networks
N Beneš, L Brim, J Kadlecaj, S Pastva, D Šafránek
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
302020
Biodivine: A framework for parallel analysis of biological models
J Barnat, L Brim, I Černá, S Dražan, J Fabriková, J Láník, D Šafránek, ...
arXiv preprint arXiv:0910.0928, 2009
292009
E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes
D Šafránek, J Červený, M Klement, J Pospíšilová, L Brim, D Lazár, ...
BioSystems 103 (2), 115-124, 2011
262011
A model checking approach to discrete bifurcation analysis
N Beneš, L Brim, M Demko, S Pastva, D Šafránek
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
242016
Abstraction of biochemical reaction systems on polytopes
PJ Collins, L Habets, JH van Schuppen, I Černá, J Fabriková, D Šafránek
IFAC Proceedings Volumes 44 (1), 14869-14875, 2011
232011
Parallel SMT-based parameter synthesis with application to piecewise multi-affine systems
N Beneš, L Brim, M Demko, S Pastva, D Šafránek
Automated Technology for Verification and Analysis: 14th International …, 2016
212016
Robustness analysis of stochastic biochemical systems
M Česka, D Šafránek, S Dražan, L Brim
PloS one 9 (4), e94553, 2014
212014
High-performance discrete bifurcation analysis for piecewise-affine dynamical systems
L Brim, M Demko, S Pastva, D Šafránek
International Workshop on Hybrid Systems Biology, 58-74, 2015
202015
Biochemical space: a framework for systemic annotation of biological models
M Klement, T Děd, D Šafránek, J Červený, S Mueller, R Steuer
Electronic Notes in Theoretical Computer Science 306, 31-44, 2014
202014
Robustness analysis for value-freezing signal temporal logic
L Brim, T Vejpustek, D Šafránek, J Fabriková
arXiv preprint arXiv:1309.0867, 2013
202013
On algorithmic analysis of transcriptional regulation by LTL model checking
J Barnat, L Brim, I Cerna, S Drazan, J Fabrikova, D Safranek
Theoretical Computer Science 410 (33-34), 3128-3148, 2009
202009
The system can't perform the operation now. Try again later.
Articles 1–20