RNDr. Nikola Beneš, Ph.D.

2018

• On clock-aware LTL parameter synthesis of timed automata

  BEZDĚK Peter BENEŠ Nikola ČERNÁ Ivana BARNAT Jiří

  Article in Periodical

  Journal of Logical and Algebraic Methods in Programming, year: 2018, volume: 99, edition: Oct, DOI

• PITHYA

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

  Year: 2018

• Recursive Online Enumeration of All Minimal Unsatisfiable Subsets

  BENDÍK Jaroslav ČERNÁ Ivana BENEŠ Nikola

  Article in Proceedings

  Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings}, year: 2018

2017

• Detecting Attractors in Biological Models with Uncertain Parameters

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

  Article in Proceedings

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

• Discrete Bifurcation Analysis with Pithya

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

  Article in Proceedings

  15th International Conference on Computational Methods in Systems Biology (CMSB), year: 2017

• Model Checking Approach to Discrete Bifurcation Analysis

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

  Appeared in Conference without Proceedings

  Year: 2017, type: Appeared in Conference without Proceedings

• 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