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

2017

• Parameter Synthesis of Biological Models by Model Checking: A Case Study

  BRIM Luboš ŠAFRÁNEK David BENEŠ Nikola DEMKO Martin PASTVA Samuel HAJNAL Matej

  Další prezentace na konferencích

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

• Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems

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

  Článek ve sborníku

  Computer Aided Verification. CAV 2017, rok: 2017

• PITHYA: High-Performance Parameter Synthesis for Biological Models

  BRIM Luboš BENEŠ Nikola ŠAFRÁNEK David DEMKO Martin PASTVA Samuel HAJNAL Matej

  Další prezentace na konferencích

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

2016

• A Model Checking Approach to Discrete Bifurcation Analysis

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

  Článek ve sborníku

  Formal Methods. FM 2016, rok: 2016

• Biochemical Space: A Language for Formal Description and Annotation of Complex Biological Processes

  TROJÁK Matej DĚD Tadeáš ŠAFRÁNEK David KLEMENT Matej ČERVENÝ Jan ROMANOVSKÁ Františka

  Další prezentace na konferencích

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

• E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of Cyanobacteria

  TROJÁK Matej ŠAFRÁNEK David HRABEC Jakub ŠALAGOVIČ Jakub ROMANOVSKÁ Františka ČERVENÝ Jan

  Článek ve sborníku

  Computational Methods in Systems Biology. CMSB 2016., rok: 2016

• 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

  Software

  Rok: 2016

• Formal Biochemical Space with Semantics in Kappa and BNGL

  DĚD Tadeáš ŠAFRÁNEK David TROJÁK Matej KLEMENT Matej ŠALAGOVIČ Jakub BRIM Luboš

  Článek ve sborníku

  The 6th International Workshop on Static Analysis and Systems Biology, SASB 2015, rok: 2016

• High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study

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

  Článek ve sborníku

  Computational Methods in Systems Biology. CMSB 2016., rok: 2016

• Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems

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

  Článek ve sborníku

  Automated Technology for Verification and Analysis. ATVA 2016, rok: 2016