Sledovat
David Safranek
David Safranek
assistant professor, Masaryk university, Faculty of informatics
E-mailová adresa ověřena na: safranek.cz
Název
Citace
Citace
Rok
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
992022
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
832011
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
642013
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
632014
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
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
492020
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
462012
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
392015
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
332008
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
312009
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
272016
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
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
252011
Boolean network sketches: a unifying framework for logical model inference
N Beneš, L Brim, O Huvar, S Pastva, D Šafránek
Bioinformatics 39 (4), btad158, 2023
242023
AEON. py: Python library for attractor analysis in asynchronous Boolean networks
N Beneš, L Brim, O Huvar, S Pastva, D Šafránek, E Šmijáková
Bioinformatics 38 (21), 4978-4980, 2022
232022
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
232016
Robustness analysis of stochastic biochemical systems
M Česka, D Šafránek, S Dražan, L Brim
PloS one 9 (4), e94553, 2014
222014
Parameter space abstraction and unfolding semantics of discrete regulatory networks
J Kolčák, D Šafránek, S Haar, L Paulevé
Theoretical Computer Science 765, 120-144, 2019
212019
Formal analysis of qualitative long-term behaviour in parametrised boolean networks
N Beneš, L Brim, S Pastva, J Poláček, D Šafránek
Formal Methods and Software Engineering: 21st International Conference on …, 2019
212019
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20