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áš

  Article in Periodical

  Formal Aspects of Computing, year: 2016, volume: 28, edition: 1, DOI

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

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

  Article in Proceedings

  Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, year: 2016

• 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

• LTL Parameter Synthesis of Parametric Timed Automata

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

  Article in Proceedings

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

• Tunable Online MUS/MSS Enumeration

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

  Article in Proceedings

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

2015

• Complete Composition Operators for IOCO-Testing Theory

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

  Article in Proceedings

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

• Language Emptiness of Continuous-Time Parametric Timed Automata

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

  Article in Proceedings

  Automata, Languages, and Programming, year: 2015

• Refinement checking on parametric modal transition systems

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

  Article in Periodical

  Acta Informatica, year: 2015, volume: 52, edition: 2-3, DOI

2014

• LTL Model Checking of Parametric Timed Automata

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

  Article in Proceedings

  MEMICS 2014, year: 2014