RNDr. Nikola Beneš, Ph.D.

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

• Modal Transition Systems: Composition and LTL Model Checking

  BENEŠ Nikola ČERNÁ Ivana KŘETÍNSKÝ Jan

  Článek ve sborníku

  ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, rok: 2011

• Parametric Modal Transition Systems

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

  Článek ve sborníku

  ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, rok: 2011

• Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata

  BENEŠ Nikola BRIM Luboš BÜHNOVÁ Barbora ČERNÁ Ivana SOCHOR Jiří MORAVCOVÁ VAŘEKOVÁ Pavlína

  Článek v odborném periodiku

  Science of Computer Programming, rok: 2011, ročník: 76, vydání: 10, DOI

• Process Algebra for Modal Transition Systemses

  BENEŠ Nikola KŘETÍNSKÝ Jan

  Článek ve sborníku

  Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers, rok: 2011

2010

• CoIn-DiVinE

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

  Software

  Rok: 2010

• Process Algebra for Modal Transition Systemses

  BENEŠ Nikola KŘETÍNSKÝ Jan

  Článek ve sborníku

  MEMICS 2010, rok: 2010

2009

• CoIn Tool Set

  BENEŠ Nikola BÜHNOVÁ Barbora ČERNÁ Ivana KŘIVÁNEK Milan

  Software

  Rok: 2009

• Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete

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

  Článek ve sborníku

  Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings, rok: 2009