David Safranek
David Safranek
assistant professor, Masaryk university, Faculty of informatics
E-mailová adresa ověřena na: safranek.cz
Název
Citace
Citace
Rok
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
722011
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
512013
Model checking of biological systems
L Brim, M Češka, D Šafránek
International School on Formal Methods for the Design of Computer …, 2013
472013
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
402014
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
382012
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
302010
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
282015
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
252009
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
232011
Parallel SMT-based parameter synthesis with application to piecewise multi-affine systems
N Beneš, L Brim, M Demko, S Pastva, D Šafránek
International Symposium on Automated Technology for Verification and …, 2016
202016
A model checking approach to discrete bifurcation analysis
N Beneš, L Brim, M Demko, S Pastva, D Šafránek
International Symposium on Formal Methods, 85-101, 2016
192016
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
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
192014
Robustness analysis of stochastic biochemical systems
M Česka, D Šafránek, S Dražan, L Brim
PloS one 9 (4), e94553, 2014
192014
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
182011
Parameter Scanning by Parallel Model Checking with Applications in Systems Biology
J Barnat, L Brim, D Safranek, M Vejnar
Parallel and Distributed Methods in Verification, 2010 Ninth International …, 2010
182010
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
182009
Robustness analysis for value-freezing signal temporal logic
L Brim, T Vejpustek, D Šafránek, J Fabriková
arXiv preprint arXiv:1309.0867, 2013
172013
A comprehensive web-based platform for domain-specific biological models
M Klement, D Šafránek, T Děd, A Pejznoch, L Nedbal, R Steuer, ...
Electronic Notes in Theoretical Computer Science 299, 61-67, 2013
162013
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20