RNDr. Martin Demko, 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

  Appeared in Conference without Proceedings

  Year: 2017, type: Appeared in Conference without Proceedings

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

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

  Article in Proceedings

  Computer Aided Verification. CAV 2017, year: 2017

• PITHYA: High-Performance Parameter Synthesis for Biological Models

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

  Appeared in Conference without Proceedings

  Year: 2017, type: Appeared in Conference without Proceedings

2016

• A Model Checking Approach to Discrete Bifurcation Analysis

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

  Article in Proceedings

  Formal Methods. FM 2016, year: 2016

• Deep insight into secretome and transcriptome of Trichinella spiralis and Trichinela pseudospiralis

  ŠKORPÍKOVÁ Lucie ILGOVÁ Jana POTĚŠIL David ZDRÁHAL Zbyněk DEMKO Martin OPPELT Jan GELNAR Milan KAŠNÝ Martin

  Year: 2016, type:

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

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

  Article in Proceedings

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

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

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

  Article in Proceedings

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

• Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways

  HAJNAL Matej ŠAFRÁNEK David DEMKO Martin PASTVA Samuel KREJČÍ Pavel BRIM Luboš

  Article in Proceedings

  Hybrid Systems Biology. HSB 2016, year: 2016

2015

• Coloured Model Checking Approach to Parameter Synthesis for Executable Models in Synthetic Biology

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

  Conference abstract

  Year: 2015, type: Conference abstract

• High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems

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

  Article in Proceedings

  Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers, year: 2015