RNDr. Nikola Beneš, Ph.D.

2011

• Modal Transition Systems: Composition and LTL Model Checking

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

  Article in Proceedings

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

• Parametric Modal Transition Systems

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

  Article in Proceedings

  ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, year: 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

  Article in Periodical

  Science of Computer Programming, year: 2011, volume: 76, edition: 10, DOI

• Process Algebra for Modal Transition Systemses

  BENEŠ Nikola KŘETÍNSKÝ Jan

  Article in Proceedings

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

2010

• CoIn-DiVinE

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

  Year: 2010

• Process Algebra for Modal Transition Systemses

  BENEŠ Nikola KŘETÍNSKÝ Jan

  Article in Proceedings

  MEMICS 2010, year: 2010

2009

• CoIn Tool Set

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

  Year: 2009

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

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

  Article in Proceedings

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

• On Determinism in Modal Transition Systems

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

  Article in Periodical

  Theoretical Computer Science, year: 2009, volume: 410/2009, edition: 41

• Partial Order Reduction for State/Event LTL

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

  Article in Proceedings

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