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

2019

• 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

2018

• 7th International Workshop on Static Analysis and Systems Biology (SASB 2016)

  ŠAFRÁNEK David SANGUINETTI Guido

  Editorství tématického sborníku

  Rok: 2018, druh: Editorství tématického sborníku

• E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria

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

  Další prezentace na konferencích

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

• Fully Automated Attractor Analysis of Cyanobacteria Models

  BENEŠ Nikola BRIM Luboš ČERVENÝ Jan PASTVA Samuel ŠAFRÁNEK David ŠALAGOVIČ Jakub TROJÁK Matej

  Článek ve sborníku

  22nd International Conference on System Theory, Control and Computing, rok: 2018