RNDr. Nikola Beneš, Ph.D.

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

• Analysing Sanity of Requirements for Avionics Systems

  BARNAT Jiří BAUCH Petr BENEŠ Nikola BRIM Luboš BERAN Jan KRATOCHVÍLA Tomáš

  Článek v odborném periodiku

  Formal Aspects of Computing, rok: 2016, ročník: 28, vydání: 1, DOI

• Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis

  BENDÍK Jaroslav BENEŠ Nikola BARNAT Jiří ČERNÁ Ivana

  Článek ve sborníku

  Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, 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

• LTL Parameter Synthesis of Parametric Timed Automata

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

  Článek ve sborníku

  Software Engineering and Formal Methods - 14th International Conference, SEFM 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

• Tunable Online MUS/MSS Enumeration

  BENDÍK Jaroslav BENEŠ Nikola ČERNÁ Ivana BARNAT Jiří

  Článek ve sborníku

  Foundations of Software Technology and Theoretical Computer Science - 36th International Conference, FSTTCS 2016, rok: 2016

2015

• Complete Composition Operators for IOCO-Testing Theory

  BENEŠ Nikola DACA Przemysław HENZINGER Thomas A. KŘETÍNSKÝ Jan NIČKOVIĆ Dejan

  Článek ve sborníku

  Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, rok: 2015

• Language Emptiness of Continuous-Time Parametric Timed Automata

  BENEŠ Nikola BEZDĚK Peter LARSEN Kim G. SRBA Jiří

  Článek ve sborníku

  Automata, Languages, and Programming, rok: 2015