Format for Printing from Your Browser, MS-Word, LaTeX, rich LaTeX

Curriculum Vitae

Person Identification
  • David Šafránek, Ph.D.
    born Sep. 28, 1977 in Brno, Czechoslovakia
    nationality: Czech

    Home Address
    Černopolní 8, 613 00 Brno, Czech Republic
Workplace
  • Work Address
    Department of Machine Learning and Data Processing
    Faculty of Informatics
    Masaryk University
    Botanicka 68a
    602 00 Brno
    Czech Republic
Employment Position
  • Associate Professor
Education and Academic Qualifications
  • 2020: Associate Professor (Docent) in Computer Science, Masaryk University thesis: “Formal Methods for Analysis of Biological Systems under Parameter Uncertainty”
  • 2006: Ph.D. in computer science, Faculty of Informatics, Masaryk University, Brno, Czech Republic. Theses: "Visual Coordination Networks". Supervisor: Doc. RNDr. Lubos Brim, CSc. Examiners: Prof. Dr. Jean-Marie Jacquet (FUNDP Namur, Belgium), Doc. RNDr. Ivana Černá, CSc. (FI MU Brno, Czech Republic). The thesis was evaluated as "distinguished".
  • 2001: Mgr. (master's degree) in computer science, Faculty of Informatics, Masaryk University, Brno, Czech Republic. Theses: "Graphical specification of concurrent systems" (in Czech)
Employment Summary
  • April 2020 – now: Associate Professor of Computer Science, Department of Machine Learning and Data Processing, Faculty of Informatics, Masaryk University (FI MUNI)
  • August 2009 - March 2020: Assistant Professor, Department of Information Technologies (since 2018 renamed to Department of Machine Learning and Data Processing), Faculty of Informatics, Masaryk University.
  • February 2007 - January 2010: full-time postdoc (FP6 NEST project EC-MOAN), position hosted by Department of Computer Science, Faculty of Informatics, Masaryk University.
  • April 2005 - January 2007: Institute for Theoretical Computer Science, Faculty of Informatics, Masaryk University, junior researcher
  • January 2007 - December 2009: CESNET, z.s.p.o., Prague (Programmable Hardware research activity); junior researcher
Pedagogical Activities
  • Teaching activities

  • Fall 2008 - now: development of a new study branch and teaching the subjects Introduction to Systems Biology, Modeling and Prediction in Systems Biology, Formal Methods in Systems Biology, Computational Methods in Systems Biology, Systems Biology Seminar
  • July 2013, July 2014: Systems Biology Summer School (SBSS 2013, SBSS 2014), Nové Hrady (http://www.cyanoteam.org/sbss-2013/, http://www.cyanoteam.org/sbss-2014/)
  • June 2013: School of Formal Methods, Bertinoro (http://www.sti.uniurb.it/events/sfm13ds/programme.html)
  • 2002 - 2011: Introduction to Functional Programming (exercises)
  • 2009 - 2012: Innovation of bachelor and master degree programes in the direction to systems biology (OP EU)

    Student supervision 2004 - now

  • Number of supervised bachelor theses: 41
  • Number of supervised master theses: 30
  • Number of co-advised doctoral students: 5
Scientific and Research Activities
  • August 2009 - now: leading member of Laboratory of Systems Biology (Sybila - http://sybila.fi.muni.cz)
  • April 2016 - 2019: coordinator of Computer Science research group in The National Infrastructure for Systems Biology (C4SYS), http://c4sys.cz
  • March 2016 - 2020: MC member of the COST project CHARME: Harmonising standardisation strategies to increase efficiency and competitiveness of European lifescience research (CHARME); my role is the coordinator of short-term scientific missions
  • May 2012 - April 2015: coordinator of Computer Science research group in CyanoTeam (http://www.cyanoteam.org)
  • June 2009 - now: coordinator of e-cyanobacterium.org development team (http://www.e-cyanobacterium.org)
  • February 2007 - January 2010: PostDoc on FP6-STREP-NEST project no. 043235 "Escherichia coli modeling and analysis" (EC-MOAN - http://www.ec-moan.org)
  • January 2000 - December 2009: member of Parallel and Distributed Systems Laboratory (ParaDiSe - http://www.fi.muni.cz/paradise)
  • January 2002 - December 2009: coordinator of verification research group in Liberouter project (funded by CESNET, FP5-IST-2001-32603 and FP6-IST-511082; http://www.liberouter.org)
  • Research Interests: Model checking, formal verification; systems and synthetic Biology; modeling and computational techniques in systems biology
Academical Stays
  • January 2017 - February 2017: Visiting Researcher, MExICo team, LSV, CNRS & ENS de Cachan, France
  • November 2013: Visiting Researcher, Deparment of Computer Science, University of Oxford, UK
  • June 2008 and January 2009: CWI Amsterdam, The Netherlands
  • September - October 2005: Faculté d'informatique, Facultés Universitaires Notre-Dame de la Paix, Namur, Belgium
  • October 2004: Universidade Nova de Lisboa, Portugal
University Activities
  • Fall 2017 - now: member of the academic senate of Faculty of Informatics, Masaryk University
Activities Outside University
  • Int. Conference on Quantitative Evaluation of SysTems (QEST), artefact evaluation committee co-chair in 2020, publicity chair in 2022 and 2023; PC member in 2023
  • Int. Conference on Computational Methods in Systems Biology (CMSB), SC member 2016-2020, PC member since 2016, PC-chair and OC-chair in 2018
  • Int. Workshop on Static Analysis and Systems Biology (SASB), PC member since 2014, PC-chair in 2016
  • Int. Workshop on Hybrid Systems Biology (HSB), PC member since 2013, PC-chair in 2015, SC since 2016
  • Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS), PC member in 2014, 2016, PC-chair in 2017
  • International Symposium on on Games, Automata, Logics, and Formal Verification (GandALF), PC member in 2014
  • International Workshop on Verification of Engineered Molecular Devices and Programs (VEMDP), PC member since 2014
  • International Conference on Formal Methods in Macro-Biology (FMMB), PC member since 2014
  • Information Technologies - Applications and Theory (ITAT), PC member in 2013
Appreciation of Science Community
  • 2019 (invited): Dagstuhl seminar on Specification Formalisms for Modern Cyber-Physical Systems
  • 2018: Best Paper Award at ICSTCC 2018
  • 2009: Dagstuhl seminar on Formal Methods in Molecular Biology
  • 2007: awarded the dean's prize for a distinguished Ph.D. thesis, Faculty of Informatics, Masaryk University
  • 2002: best paper award, Ph.D. forum, SOFSEM 2002 conference
Selected Publications
  • BRIM, Luboš, Samuel PASTVA, David ŠAFRÁNEK and Eva ŠMIJÁKOVÁ. Temporary and Permanent Control of Partially Specified Boolean Networks. BIOSYSTEMS. Elsevier, 2023, vol. 223, JAN, p. 104795-104808. ISSN 0303-2647. Available from: https://dx.doi.org/10.1016/j.biosystems.2022.104795. URL info
  • TROJÁK, Matej, David ŠAFRÁNEK, Samuel PASTVA and Luboš BRIM. Rule-based Modelling of Biological Systems Using Regulated Rewriting. Biosystems. Elsevier, 2023, vol. 225, No 104843, p. 1-15. ISSN 0303-2647. Available from: https://dx.doi.org/10.1016/j.biosystems.2023.104843. URL info
  • BENEŠ, Nikola, Luboš BRIM, Ondřej HUVAR, Samuel PASTVA and David ŠAFRÁNEK. Boolean network sketches: a unifying framework for logical model inference. Bioinformatics. 2023, vol. 39, No 4, p. "btad158", 8 pp. ISSN 1367-4803. Available from: https://dx.doi.org/10.1093/bioinformatics/btad158. URL info
  • BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA and David ŠAFRÁNEK. BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. Logical Methods in Computer Science. Episciences, 2022, vol. 18, No 1, p. 1-27. ISSN 1860-5974. Available from: https://dx.doi.org/10.46298/LMCS-18(1:38)2022. URL info
  • OBRUČA, Stanislav, Pavel DVOŘÁK, Petr SEDLÁČEK, Martin KOLLER, Karel SEDLÁŘ, Iva PERNICOVÁ and David ŠAFRÁNEK. Polyhydroxyalkanoates synthesis by halophiles and thermophiles: towards sustainable production of microbial bioplastics. Biotechnology Advances. Elsevier, 2022, vol. 58, September, p. 1-28. ISSN 0734-9750. Available from: https://dx.doi.org/10.1016/j.biotechadv.2022.107906. URL info
  • BENEŠ, Nikola, Luboš BRIM, Jakub KADLECAJ, Samuel PASTVA and David ŠAFRÁNEK. Exploring attractor bifurcations in Boolean networks. BMC Bioinformatics. 2022, vol. 23, No 173, p. 1-18. ISSN 1471-2105. Available from: https://dx.doi.org/10.1186/s12859-022-04708-9. URL info
  • TROJÁK, Matej, David ŠAFRÁNEK, Branislav BROZMANN and Luboš BRIM. eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems. Online. In I. Petre, A. Păun. 20th International Conference on Computational Methods in Systems Biology. LNBI 13447. Neuveden: Springer, 2022, p. 302-309. ISBN 978-3-031-15033-3. Available from: https://dx.doi.org/10.1007/978-3-031-15034-0_17. URL info
  • PETROV, Tatjana, Matej HAJNAL, Julia KLEIN, David ŠAFRÁNEK and Morgane NOUVIAN. Extracting individual characteristics from population data reveals a negative social effect during honeybee defence. Plos Computational Biology. 2022, vol. 18, No 9, p. 1-20. ISSN 1553-734X. Available from: https://dx.doi.org/10.1371/journal.pcbi.1010305. URL info
  • BENEŠ, Nikola, Luboš BRIM, Ondřej HUVAR, Samuel PASTVA, David ŠAFRÁNEK and Eva ŠMIJÁKOVÁ. AEON.py: Python library for attractor analysis in asynchronous Boolean networks. BIOINFORMATICS. UK: OXFORD UNIV PRESS, 2022, vol. 38, No 21, p. 4978-4980. ISSN 1367-4803. Available from: https://dx.doi.org/10.1093/bioinformatics/btac624. URL info
  • BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA and David ŠAFRÁNEK. Symbolic Coloured SCC Decomposition. Online. In Jan Friso Groote, Kim Larsen. Tools and Algorithms for the Construction and Analysis of Systems, 27th International Conference, TACAS 2021. Neuveden: Springer Nature, 2021, p. 64-83. ISBN 978-3-030-72012-4. Available from: https://dx.doi.org/10.1007/978-3-030-72013-1_4. URL info
  • BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA and David ŠAFRÁNEK. Aeon 2021: Bifurcation Decision Trees in Boolean Networks. In Cinquemani et al. International Conference on Computational Methods in Systems Biology (CMSB 2021). Cham: Springer, 2021, p. 230-237. ISBN 978-3-030-85632-8. Available from: https://dx.doi.org/10.1007/978-3-030-85633-5_14. info
  • TROJÁK, Matej, David ŠAFRÁNEK, Lukrécia MERTOVÁ and Luboš BRIM. Parameter Synthesis and Robustness Analysis of Rule-Based Models. In Ritchie Lee, Susmit Jha, Anastasia Mavridou. 12th International Symposium on NASA Formal Methods, NFM 2020. LNCS 12229. Moffett Field, CA, USA: Springer, 2020, p. 41-59. ISBN 978-3-030-55753-9. Available from: https://dx.doi.org/10.1007/978-3-030-55754-6_3. URL info
  • TROJÁK, Matej, David ŠAFRÁNEK, Luboš BRIM, Jakub ŠALAGOVIČ and Jan ČERVENÝ. Executable Biochemical Space for Specification and Analysis of Biochemical Systems. Online. In Ankit Gupta, Tatjana Petrov. 9th International Workshop on Static Analysis and Systems Biology (SASB). ENTCS 350. Amsterdam: Elsevier, 2020, p. 91-116. ISSN 1571-0661. Available from: https://dx.doi.org/10.1016/j.entcs.2020.06.006. URL info
  • BENEŠ, Nikola, Luboš BRIM, Jakub KADLECAJ, Samuel PASTVA and David ŠAFRÁNEK. AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. In Shuvendu K. Lahiri and Chao Wang. Computer Aided Verification. CAV 2020. LNCS 12224. Cham: Springer, Cham, 2020, p. 569-581. ISBN 978-3-030-53287-1. Available from: https://dx.doi.org/10.1007/978-3-030-53288-8_28. URL info
  • TROJÁK, Matej, David ŠAFRÁNEK, Lukrécia MERTOVÁ and Luboš BRIM. Executable Biochemical Space for Specification and Analysis of Biochemical Systems. PLOS ONE. Public Library of Science, 2020, vol. 15, No 9, p. 1-23, 24 pp. ISSN 1932-6203. Available from: https://dx.doi.org/10.1371/journal.pone.0238838. URL info
  • BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA and David ŠAFRÁNEK. Digital Bifurcation Analysis of Internet Congestion Control Protocols. International Journal of Bifurcation and Chaos. 2020, vol. 30, No 13, p. 2030038-2030055. ISSN 0218-1274. Available from: https://dx.doi.org/10.1142/S0218127420300384. URL info
  • TROJÁK, Matej, David ŠAFRÁNEK, Lukrécia MERTOVÁ and Luboš BRIM. eBCSgen: A Software Tool for Biochemical Space Language. Online. In Abate A., Petrov T., Wolf V. 18th International Conference on Computational Methods in Systems Biology, CMSB 2020. LNBI 12314. Neuveden: Springer, 2020, p. 356-361. ISBN 978-3-030-60326-7. Available from: https://dx.doi.org/10.1007/978-3-030-60327-4_20. URL info
  • HOLLMANN, Susanne, Andreas KREMER, Špela BAEBLER, Christophe TREFOIS, Kristina GRUDEN, Witold RUDNICKY, Weida TONG, Alexandra GRUCA, Erik BONGCAM-RUDLOFF, Chris EVELO, Alina NECHYPORENKO, Marcus FROHME, David ŠAFRÁNEK, Babette REGIERER and Domenica D'ELIA. The need for standardisation in life science research - an approach to excellence and trust. F1000Research. 2020, vol. 9, No 1398, p. 1-9. ISSN 2046-1402. Available from: https://dx.doi.org/10.12688/f1000research.27500.2. URL info
  • BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA and David ŠAFRÁNEK. Digital Bifurcation Analysis of TCP Dynamics. In Tomáš Vojnar and Lijun Zhang. Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. LNCS, volume 11428. Cham: Springer International Publishing, 2019, p. 339-356. ISBN 978-3-030-17464-4. Available from: https://dx.doi.org/10.1007/978-3-030-17465-1_19. URL info
  • BENEŠ, Nikola, Luboš BRIM, Jana DRAŽANOVÁ, Samuel PASTVA and David ŠAFRÁNEK. Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT. In Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control. New York, NY, USA: ACM, 2019, p. 99-108. ISBN 978-1-4503-6282-5. Available from: https://dx.doi.org/10.1145/3302504.3311793. URL info
  • BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA and David ŠAFRÁNEK. Model Checking Approach to the Analysis of Biological Systems. Online. In Pietro Liò, Paolo Zuliani. Automated Reasoning for Systems Biology and Medicine. Cham: Springer, Cham, 2019, p. 3-35. Computational Biology. ISBN 978-3-030-17296-1. Available from: https://dx.doi.org/10.1007/978-3-030-17297-8_1. info
  • ŠAFRÁNEK, David, Matej TROJÁK, Vojtěch BRŮŽA, Tomáš VEJPUSTEK, Jan PAPOUŠEK, Martin DEMKO, Samuel PASTVA, Aleš PEJZNOCH and Luboš BRIM. Barbaric Robustness Monitoring Revisited for STL* in Parasim. In Bortolussi L., Sanguinetti G. Computational Methods in Systems Biology (CMSB 2019). LNBI 11773. Neuveden: Springer, 2019, p. 356-359. ISBN 978-3-030-31303-6. Available from: https://dx.doi.org/10.1007/978-3-030-31304-3_26. info
  • KOLČÁK, Juraj, David ŠAFRÁNEK, Stefan HAAR and Loïc PAULEVÉ. Parameter space abstraction and unfolding semantics of discrete regulatory networks. Theoretical Computer Science. Elsevier, 2019, vol. 765, April, p. 120-144. ISSN 0304-3975. Available from: https://dx.doi.org/10.1016/j.tcs.2018.03.009. URL info
  • BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA, Jakub POLÁČEK and David ŠAFRÁNEK. Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. In Ait Ameur et al. Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings. Heidelberg: Springer, 2019, p. 353-369. ISBN 978-3-030-32408-7. Available from: https://dx.doi.org/10.1007/978-3-030-32409-4_22. URL info
  • BENEŠ, Nikola, Luboš BRIM, Martin GELETKA, Samuel PASTVA and David ŠAFRÁNEK. Accelerating Parameter Synthesis Using Semi-algebraic Constraints. Online. In Ahrendt, Wolfgang and Tapia Tarifa, Silvia Lizeth. Integrated Formal Methods. LNCS 11918. Cham: Springer International Publishing, 2019, p. 27-45. ISBN 978-3-030-34967-7. Available from: https://dx.doi.org/10.1007/978-3-030-34968-4_2. URL info
  • HAJNAL, Matej, Morgan NOUVIAN, David ŠAFRÁNEK and Tatjana PETROV. Data-Informed Parameter Synthesis for Population Markov Chains. In Ceska, M et al. Hybrid Systems Biology (HSB 2019). LNCS 11705. Cham: Springer International Publishing, 2019, p. 147-164. ISBN 978-3-030-28041-3. Available from: https://dx.doi.org/10.1007/978-3-030-28042-0_10. info
  • BENEŠ, Nikola, Luboš BRIM, Jan ČERVENÝ, Samuel PASTVA, David ŠAFRÁNEK, Jakub ŠALAGOVIČ and Matej TROJÁK. Fully Automated Attractor Analysis of Cyanobacteria Models. In Marian Barbu, Răzvan Şolea, Adrian Filipescu. 22nd International Conference on System Theory, Control and Computing. Neuveden: IEEE, 2018, p. 354-359. ISBN 978-1-5386-4444-7. Available from: https://dx.doi.org/10.1109/ICSTCC.2018.8540762. URL info
  • ČERVENÝ, Jan, Jakub ŠALAGOVIČ, František MUZIKA, David ŠAFRÁNEK and Igor SCHREIBER. Influence of circadian clocks on optimal regime of central C-N metabolism of cyanobacteria. Online. In Mishra, A. K.; Tiwari, D.; Rai, A. N. Cyanobacteria: From Basic Science to Applications. 1st ed. Neuveden: Academic Press, 2018, p. 193-206. ISBN 978-0-12-814667-5. Available from: https://dx.doi.org/10.1016/B978-0-12-814667-5.00009-X. URL info
  • BENEŠ, Nikola, Luboš BRIM, Martin DEMKO, Samuel PASTVA and David ŠAFRÁNEK. Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems. In Rupak Majumdar and Viktor Kunčak. Computer Aided Verification. CAV 2017. LNCS 10426. Cham: Springer International Publishing, 2017, p. 591-598. ISBN 978-3-319-63386-2. Available from: https://dx.doi.org/10.1007/978-3-319-63387-9_29. URL info
  • BRIM, Luboš, Jiří BARNAT, David ŠAFRÁNEK, Nikola BENEŠ, Martin DEMKO, Samuel PASTVA and Matej HAJNAL. Detecting Attractors in Biological Models with Uncertain Parameters. In Jérôme Feret and Heinz Koeppl. Computational Methods in Systems Biology. CMSB 2017. LNCS 10545. Cham: Springer International Publishing, 2017, p. 40-56. ISBN 978-3-319-67470-4. Available from: https://dx.doi.org/10.1007/978-3-319-67471-1_3. info
  • BENEŠ, Nikola, Luboš BRIM, Martin DEMKO, Samuel PASTVA and David ŠAFRÁNEK. Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems. In Cyrille Artho et al. Automated Technology for Verification and Analysis. ATVA 2016. LNCS 9938. Neuveden: Springer International Publishing, 2016, p. 192-208. ISBN 978-3-319-46519-7. Available from: https://dx.doi.org/10.1007/978-3-319-46520-3_13. info
  • DEMKO, Martin, Nikola BENEŠ, Luboš BRIM, Samuel PASTVA and David ŠAFRÁNEK. High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study. In Ezio Bartocci et al. Computational Methods in Systems Biology. CMSB 2016. LNBI 9859. Neuveden: Springer International Publishing, 2016, p. 82-97. ISBN 978-3-319-45176-3. Available from: https://dx.doi.org/10.1007/978-3-319-45177-0_6. info
  • HAJNAL, Matej, David ŠAFRÁNEK, Martin DEMKO, Samuel PASTVA, Pavel KREJČÍ and Luboš BRIM. Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways. In Eugenio Cinquemani. Hybrid Systems Biology. HSB 2016. LNBI 9957. Neuveden: Springer International Publishing, 2016, p. 57-66. ISBN 978-3-319-47150-1. Available from: https://dx.doi.org/10.1007/978-3-319-47151-8_4. info
  • BENEŠ, Nikola, Luboš BRIM, Martin DEMKO, Samuel PASTVA and David ŠAFRÁNEK. A Model Checking Approach to Discrete Bifurcation Analysis. In John S. Fitzgerald et al. Formal Methods. FM 2016. LNCS 9995. Neuveden: Springer International Publishing, 2016, p. 85-101. ISBN 978-3-319-48988-9. Available from: https://dx.doi.org/10.1007/978-3-319-48989-6_6. info
  • TROJÁK, Matej, David ŠAFRÁNEK, Jakub HRABEC, Jakub ŠALAGOVIČ, Františka ROMANOVSKÁ and Jan ČERVENÝ. E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of Cyanobacteria. In Ezio Bartocci et al. Computational Methods in Systems Biology. CMSB 2016. Heidelberg: Springer, 2016, p. 316-322. ISBN 978-3-319-45176-3. Available from: https://dx.doi.org/10.1007/978-3-319-45177-0_20. URL info
  • DĚD, Tadeáš, David ŠAFRÁNEK, Matej TROJÁK, Matej KLEMENT, Jakub ŠALAGOVIČ and Luboš BRIM. Formal Biochemical Space with Semantics in Kappa and BNGL. Online. In Loic Pauleve et al. The 6th International Workshop on Static Analysis and Systems Biology, SASB 2015. ENTCS 326. Neuveden: Elsevier, 2016, p. 27-49. ISSN 1571-0661. Available from: https://dx.doi.org/10.1016/j.entcs.2016.09.017. info
  • BRIM, Luboš, Juraj NIŽNAN and David ŠAFRÁNEK. Compact Representation of Photosynthesis Dynamics by Rule-based Models. Online. In 5th International Workshop on Static Analysis and Systems Biology (SASB 2014). 316th ed. Neuveden: Elsevier, 2015, p. 17-27. ISSN 1571-0661. Available from: https://dx.doi.org/10.1016/j.entcs.2015.06.008. info
  • BRIM, Luboš, Milan ČEŠKA, Martin DEMKO, Samuel PASTVA and David ŠAFRÁNEK. Parameter Synthesis by Parallel Coloured CTL Model Checking. In Roux, Olivier and Bourdon, Jérémie. Computational Methods in Systems Biology. Neuveden: Springer International Publishing, 2015, p. 251-263. ISBN 978-3-319-23400-7. Available from: https://dx.doi.org/10.1007/978-3-319-23401-4_21. info
  • BRIM, Luboš, Martin DEMKO, Samuel PASTVA and David ŠAFRÁNEK. High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems. In Alessandro Abate, David Šafránek. Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers. LNCS 9271. Neuveden: Springer International Publishing, 2015, p. 58-74. ISBN 978-3-319-26915-3. Available from: https://dx.doi.org/10.1007/978-3-319-26916-0_4. elektronická verze v nakladatelství Springer info
  • ALESSANDRO, Abate and David ŠAFRÁNEK. Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers. In Lecture Notes in Bioinformatics. Springer International Publishing, 2015, 263 pp. ISBN 978-3-319-26915-3. Available from: https://dx.doi.org/10.1007/978-3-319-26916-0. elektronická verze v nakladatelství Springer info
  • BRIM, Luboš, Petr DLUHOŠ, David ŠAFRÁNEK and Tomáš VEJPUSTEK. STL*: Extending signal temporal logic with signal-value freezing operator. Information and computation. Academic Press, 2014, vol. 236, January, p. 52-67. ISSN 0890-5401. Available from: https://dx.doi.org/10.1016/j.ic.2014.01.012. info
  • ČEŠKA, Milan, David ŠAFRÁNEK, Sven DRAŽAN and Luboš BRIM. Robustness Analysis of Stochastic Biochemical Systems. Plos One. SAN FRANCISCO: PUBLIC LIBRARY SCIENCE, 2014, vol. 9, No 4, p. 1-23. ISSN 1932-6203. Available from: https://dx.doi.org/10.1371/journal.pone.0094553. URL info
  • VAN GOETHEM, Simon, Jean-Marie JACQUET, Luboš BRIM and David ŠAFRÁNEK. Timed Modelling of Gene Networks with Arbitrary Expression Level Discretization. Online. In Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio'12). Neuveden: Elsevier, 2013, p. 67-81. ISSN 1571-0661. Available from: https://dx.doi.org/10.1016/j.entcs.2013.02.019. URL info
  • BRIM, Luboš, Vilém DĚD and David ŠAFRÁNEK. Qualitative modelling and analysis of Photosystem II. Online. In CEUR Workshop Proceedings. Aachen: Neuveden, 2013, p. 17-29. ISSN 1613-0073. URL info
  • KLEMENT, Matej, David ŠAFRÁNEK, Tadeáš DĚD, Aleš PEJZNOCH, Ladislav NEDBAL, Ralf STEUER, Jan ČERVENÝ and Stefan MUELLER. A Comprehensive Web-based Platform For Domain-Specific Biological Models. Online. In Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology (CS2Bio'13). Neuveden: Elsevier, 2013, p. 61-67. ISSN 1571-0661. Available from: https://dx.doi.org/10.1016/j.entcs.2013.11.006. URL info
  • BRIM, Luboš, Milan ČEŠKA and David ŠAFRÁNEK. Model Checking of Biological Systems. In Marco Bernardo. Formal Methods for Dynamical Systems. Neuveden: Springer, 2013, p. 63-112. ISBN 978-3-642-38873-6. Available from: https://dx.doi.org/10.1007/978-3-642-38874-3_3. info
  • BRIM, Luboš, Tomáš VEJPUSTEK, David ŠAFRÁNEK and Jana FABRIKOVÁ. Robustness Analysis for Value-Freezing Signal Temporal Logic. Online. In Proceedings HSB 2013. Neuveden: Neuveden, 2013, p. 20-36. ISSN 2075-2180. Available from: https://dx.doi.org/10.4204/EPTCS.125. URL info
  • STRECK, Adam, Juraj KOLČÁK, Heike SIEBERT and David ŠAFRÁNEK. Esther: Introducing an Online Platform for Parameter Identification of Boolean Networks. In A. Gupta. Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings. Heidelberg: Springer, 2013, p. 257-258. ISBN 978-3-642-40707-9. info
  • ŠAFRÁNEK, David. Model Checking in Systems Biology. In Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro. 2013. URL info
  • ŠAFRÁNEK, David. Model Checking of Biological Systems. In Oxford Talks, University of Oxford. 2013. URL info
  • BARNAT, Jiří, Luboš BRIM, Adam KREJČÍ, Adam STRECK, David ŠAFRÁNEK, Martin VEJNÁR and Tomáš VEJPUSTEK. On Parameter Synthesis by Parallel Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics. Los Alamitos: IEEE Computer Society, 2012, vol. 9, No 3, p. 693-705. ISSN 1545-5963. Available from: https://dx.doi.org/10.1109/TCBB.2011.110. URL info
  • DLUHOŠ, Petr, Luboš BRIM and David ŠAFRÁNEK. On Expressing and Monitoring Oscillatory Dynamics. Electronic Proceedings in Theoretical Computer Science. Newcastle Upon Tyne: EPTCS, 2012, vol. 2012, No 92, p. 73-87. ISSN 2075-2180. Available from: https://dx.doi.org/10.4204/EPTCS.92. URL info
  • KLARNER, Hannes, Adam STRECK, David ŠAFRÁNEK, Juraj KOLČÁK and Heike SIEBERT. Parameter Identification and Model Ranking of Thomas Networks. In Computational Methods in Systems Biology: 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings. Berlin: Springer, 2012, p. 207-226. ISBN 978-3-642-33635-5. Available from: https://dx.doi.org/10.1007/978-3-642-33636-2_13. URL info
  • BRIM, Luboš, Jana FABRIKOVÁ, Sven DRAŽAN and David ŠAFRÁNEK. On Approximative Reachability Analysis of Biochemical Dynamical Systems. In Corrado Priami et al. Transactions on Computational Systems Biology XIV. Heidelberg: Springer, 2012, p. 77-101. ISBN 978-3-642-35523-3. Available from: https://dx.doi.org/10.1007/978-3-642-35524-0_4. URL info
  • ŠAFRÁNEK, David, Jan ČERVENÝ, Matej KLEMENT, Jana POSPÍŠILOVÁ, Luboš BRIM, Dušan LAZÁR and Ladislav NEDBAL. E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes. BioSystems. Elsevier, 2011, vol. 103, No 2, p. 115-124. ISSN 0303-2647. Available from: https://dx.doi.org/10.1016/j.biosystems.2010.10.013. URL info
  • COLLINS, Pieter, Luc HABETS, Jan VAN SCHUPPEN, Ivana ČERNÁ, Jana FABRIKOVÁ and David ŠAFRÁNEK. Abstraction of Biochemical Reaction Systems on Polytopes. In Proceedings of the 18th IFAC World Congress. Milano: IFAC, 2011, p. 14869-14875. ISBN 978-1-1234-7890-2. URL info
  • BRIM, Luboš, Jana FABRIKOVÁ, Sven DRAŽAN and David ŠAFRÁNEK. Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation. Electronic Proceedings in Theoretical Computer Science. 2011, Neuveden, No 67, p. 97-112, 15 pp. ISSN 2075-2180. Available from: https://dx.doi.org/10.4204/EPTCS.67.9. URL info
  • BARNAT, Jiří, Luboš BRIM and David ŠAFRÁNEK. High-performance analysis of biological systems dynamics with the DiVinE model checker. Briefings in Bioinformatics. Oxford (UK): Oxford University Press, 2010, vol. 11, No 3, p. 301-312. ISSN 1467-5463. DOI Abstract PDF reprint info
  • BARNAT, Jiří, Luboš BRIM, David ŠAFRÁNEK and Martin VEJNÁR. Parameter Scanning by Parallel Model Checking with Applications in Systems Biology. In Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology. Los Alamitos: IEEE Computer Society, 2010, p. 95-104. ISBN 978-0-7695-4265-2. info
  • BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN, Jana FABRIKOVÁ and David ŠAFRÁNEK. On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking. Theoretical Computer Science. 2009, vol. 2009, No 410, p. 3128-3148, 20 pp. ISSN 0304-3975. URL info
  • BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN, Jana FABRIKOVÁ, Jan LÁNÍK, David ŠAFRÁNEK and Ma HONGWU. BioDiVinE: A Framework for Parallel Analysis of Biological Models. In Proceedings of 2nd International Workshop on Computational Models for Cell Processes. Neuveden: EPTCS, 2009, p. 31-45. ISSN 2075-2180. info
  • SMRČKA, Aleš, Vojtěch ŘEHÁK, Tomáš VOJNAR, David ŠAFRÁNEK, Petr MATOUŠEK and Zdeněk ŘEHÁK. Verifying VHDL Designs with Multiple Clocks in SMV. In Formal Methods Applications and Technology, 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006. Bonn: Springer-Verlag, 2007, p. 148-164, 16 pp. ISBN 978-3-540-70951-0. info
  • ŠAFRÁNEK, David. Visual Coordination Networks. Brno: Masaryk University, 2006, 218 pp. PhD Thesis. info
  • ŠAFRÁNEK, David and Jiří ŠIMŠA. VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures. In SOFSEM 2005: Theory and Practice of Computer Science. Heidelberg: Springer, 2005, p. 320-330, 10 pp. ISBN 3-540-24302-X. info

2023/06/01

Curriculum Vitae: doc. RNDr. David Šafránek, Ph.D. (učo 3159), version: English(9), last update: 2023/06/01 10:13, D. Šafránek