RNDr. Nikola Beneš, Ph.D.

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

• Refinement checking on parametric modal transition systems

  BENEŠ Nikola KŘETÍNSKÝ Jan LARSEN Kim G. MOLLER Mikael H. SICKERT Salomon SRBA Jiří

  Článek v odborném periodiku

  Acta Informatica, rok: 2015, ročník: 52, vydání: 2-3, DOI

2014

• LTL Model Checking of Parametric Timed Automata

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

  Článek ve sborníku

  MEMICS 2014, rok: 2014