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

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š

  Článek ve sborníku

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

• Comprehensive Modelling Platform

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

  Další prezentace na konferencích

  Rok: 2019, druh: Další prezentace na konferencích

• 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

  Článek v odborném periodiku

  Microorganisms, rok: 2019, ročník: 7, vydání: 11, DOI

• Data-Informed Parameter Synthesis for Population Markov Chains

  HAJNAL Matej NOUVIAN Morgan ŠAFRÁNEK David PETROV Tatjana

  Článek ve sborníku

  Hybrid Systems Biology (HSB 2019), rok: 2019

• Data-Informed Parameter Synthesis for Population Markov Chains

  HAJNAL Matej MORGANE Nouvian PETROV Tatjana ŠAFRÁNEK David

  Článek ve sborníku

  17th International Conference on Computational Methods in Systems Biology (CMSB 2019), rok: 2019

• Digital Bifurcation Analysis of TCP Dynamics

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

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019, rok: 2019

• Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT

  BENEŠ Nikola BRIM Luboš DRAŽANOVÁ Jana PASTVA Samuel ŠAFRÁNEK David

  Článek ve sborníku

  Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control, rok: 2019

• Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks.

  BENEŠ Nikola BRIM Luboš PASTVA Samuel POLÁČEK Jakub ŠAFRÁNEK David

  Článek ve sborníku

  Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, rok: 2019

• Model Checking Approach to the Analysis of Biological Systems

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

  Kapitola v knize

  Automated Reasoning for Systems Biology and Medicine, rok: 2019, počet stran: 33 s.

• Parameter space abstraction and unfolding semantics of discrete regulatory networks

  KOLČÁK Juraj ŠAFRÁNEK David HAAR Stefan PAULEVÉ Loic

  Článek v odborném periodiku

  Theoretical Computer Science, rok: 2019, ročník: 765, vydání: April, DOI