RNDr. Nikola Beneš, Ph.D.

2014

• On Clock-Aware LTL Properties of Timed Automata

  BEZDĚK Peter BENEŠ Nikola HAVEL Vojtěch BARNAT Jiří ČERNÁ Ivana

  Článek ve sborníku

  Theoretical Aspects of Computing – ICTAC 2014, rok: 2014

• Towards Verification of Ensemble Based Component Systems

  BARNAT Jiří BENEŠ Nikola BUREŠ Tomáš ČERNÁ Ivana KEZNIKL Tomáš PLÁŠIL František

  Článek ve sborníku

  Formal Aspects of Component Software, rok: 2014

2013

• DCCL: Verification of Component Systems with Ensembles

  BARNAT Jiří BENEŠ Nikola ČERNÁ Ivana PETRUCHOVÁ Zuzana

  Článek ve sborníku

  CBSE '13 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, rok: 2013

• Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory

  BENEŠ Nikola DELAHAYE Benoit FAHRENBERG Uli KŘETÍNSKÝ Jan LEGAY Axel

  Článek ve sborníku

  CONCUR 2013 - Concurrency Theory - 24th International Conference, rok: 2013

2012

• Dual-Priced Modal Transition Systems with Time Durations

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

  Článek ve sborníku

  LPAR-18 - Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, rok: 2012

• EXPTIME-Completeness of Thorough Refinement on Modal Transition Systems

  BENEŠ Nikola KŘETÍNSKÝ Jan LARSEN Kim G. SRBA Jiří

  Článek v odborném periodiku

  Information and Computation, rok: 2012, ročník: 218, vydání: September, DOI

• Factorization for Component-Interaction Automata

  BENEŠ Nikola ČERNÁ Ivana ŠTEFAŇÁK Filip

  Článek ve sborníku

  SOFSEM 2012: Theory and Practice of Computer Science, rok: 2012

• Modal Process Rewrite Systems

  BENEŠ Nikola KŘETÍNSKÝ Jan

  Článek ve sborníku

  Theoretical Aspects of Computing - ICTAC 2012, rok: 2012

• Reliability analysis in component-based development via probabilistic model checking

  BENEŠ Nikola BÜHNOVÁ Barbora ČERNÁ Ivana OŠLEJŠEK Radek

  Článek ve sborníku

  Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE '12), rok: 2012

2011

• CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems

  BENEŠ Nikola ČERNÁ Ivana KŘIVÁNEK Milan

  Článek ve sborníku

  Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, rok: 2011