RNDr. Nikola Beneš, Ph.D.

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

• On Determinism in Modal Transition Systems

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

  Článek v odborném periodiku

  Theoretical Computer Science, rok: 2009, ročník: 410/2009, vydání: 41

• Partial Order Reduction for State/Event LTL

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

  Článek ve sborníku

  Proceedings of the International Conference on Integrated Formal Methods (IFM'09), rok: 2009