Seguir
David Safranek
David Safranek
assistant professor, Masaryk university, Faculty of informatics
Dirección de correo verificada de safranek.cz
Título
Citado por
Citado por
Año
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
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
632022
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
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
582014
Model checking of biological systems
L Brim, M Češka, D Šafránek
International School on Formal Methods for the Design of Computer …, 2013
542013
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
392012
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
372020
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
362015
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
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
332010
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
302009
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
232016
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
222016
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
222011
Robustness analysis of stochastic biochemical systems
M Česka, D Šafránek, S Dražan, L Brim
PloS one 9 (4), e94553, 2014
212014
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
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
192015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20