doc. RNDr. David Šafránek, Ph.D.

2020

• Executable Biochemical Space for Specification and Analysis of Biochemical Systems

  TROJÁK Matej ŠAFRÁNEK David MERTOVÁ Lukrécia BRIM Luboš

  Appeared in Conference without Proceedings

  Year: 2020, type: Appeared in Conference without Proceedings

• Executable Biochemical Space for Specification and Analysis of Biochemical Systems

  TROJÁK Matej ŠAFRÁNEK David MERTOVÁ Lukrécia BRIM Luboš

  Article in Periodical

  PLOS ONE, year: 2020, volume: 15, edition: 9, DOI

• Parallel parameter synthesis algorithm for hybrid CTL

  BENEŠ Nikola BRIM Luboš PASTVA Samuel ŠAFRÁNEK David

  Article in Periodical

  Science of Computer Programming, year: 2020, volume: 185, edition: 102321, DOI

• Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications.

  ŠMIJÁKOVÁ Eva PASTVA Samuel ŠAFRÁNEK David BRIM Luboš

  Article in Proceedings

  Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science, vol 12314, year: 2020

• Parameter Synthesis and Robustness Analysis of Rule-Based Models

  TROJÁK Matej ŠAFRÁNEK David MERTOVÁ Lukrécia BRIM Luboš

  Article in Proceedings

  12th International Symposium on NASA Formal Methods, NFM 2020, year: 2020

• The need for standardisation in life science research - an approach to excellence and trust

  HOLLMANN Susanne KREMER Andreas BAEBLER Špela TREFOIS Christophe GRUDEN Kristina RUDNICKY Witold TONG Weida GRUCA Alexandra BONGCAM-RUDLOFF Erik EVELO Chris NECHYPORENKO Alina FROHME Marcus ŠAFRÁNEK David REGIERER Babette D'ELIA Domenica

  Article in Periodical

  F1000Research, year: 2020, volume: 9, edition: 1398, DOI

2019

• Accelerating Parameter Synthesis Using Semi-algebraic Constraints

  BENEŠ Nikola BRIM Luboš GELETKA Martin PASTVA Samuel ŠAFRÁNEK David

  Article in Proceedings

  Integrated Formal Methods, year: 2019

• Barbaric Robustness Monitoring Revisited for STL* in Parasim

  ŠAFRÁNEK David TROJÁK Matej BRŮŽA Vojtěch VEJPUSTEK Tomáš PAPOUŠEK Jan DEMKO Martin PASTVA Samuel PEJZNOCH Aleš BRIM Luboš

  Article in Proceedings

  Computational Methods in Systems Biology (CMSB 2019), year: 2019

• Comprehensive Modelling Platform

  TROJÁK Matej ŠAFRÁNEK David ČERVENÝ Jan HAVLÍK Marek MERTOVÁ Lukrécia HAJNAL Matej HRABEC Jakub ŠALAGOVIČ Jakub

  Appeared in Conference without Proceedings

  Year: 2019, type: Appeared in Conference without Proceedings

• Computational Modelling of Metabolic Burden and Substrate Toxicity in Escherichia coli Carrying a Synthetic Metabolic Pathway

  DEMKO Martin CHRÁST Lukáš DVOŘÁK Pavel DAMBORSKÝ Jiří ŠAFRÁNEK David

  Article in Periodical

  Microorganisms, year: 2019, volume: 7, edition: 11, DOI