RNDr. Nikola Beneš, Ph.D.

2018

• On clock-aware LTL parameter synthesis of timed automata

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

  Článek v odborném periodiku

  Journal of Logical and Algebraic Methods in Programming, rok: 2018, ročník: 99, vydání: Oct, DOI

• PITHYA

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

  Software

  Rok: 2018

• Recursive Online Enumeration of All Minimal Unsatisfiable Subsets

  BENDÍK Jaroslav ČERNÁ Ivana BENEŠ Nikola

  Článek ve sborníku

  Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings}, rok: 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

  Článek ve sborníku

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

• Discrete Bifurcation Analysis with Pithya

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

  Článek ve sborníku

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

• Model Checking Approach to Discrete Bifurcation Analysis

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

  Další prezentace na konferencích

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

• 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