RNDr. Nikola Beneš, Ph.D.

2009

• Space Effective Model Checking for Component-Interaction Automata

  BENEŠ Nikola KŘIVÁNEK Milan ŠTEFAŇÁK Filip

  Article in Proceedings

  Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09), year: 2009

2008

• A Case Study in Parallel Verification of Component-Based Systems

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

  Article in Periodical

  Electronic Notes in Theoretical Computer Science, year: 2008, volume: 220, edition: 2

• A Case Study in Parallel Verification of Component-Based Systems

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

  Article in Proceedings

  Pre-proceedings of the Workshop on Parallel and Distributed Methods in verifiCation (PDMC'08), year: 2008

• Component-Interaction Automata Approach (CoIn)

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

  Chapter of a book

  The Common Component Modeling Example: Comparing Software Component Models, year: 2008, number of pages: 31 s.

• Partial Order Reduction for State/Event LTL

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

  Year: 2008

• The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems

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

  Article in Proceedings

  Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08), year: 2008