prof. RNDr. Ivana Černá, CSc.

2007

• Component Substitutability via Equivalencies of Component-Interaction Automata

  ČERNÁ Ivana VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora

  Článek v odborném periodiku

  Electronic Notes in Theoretical Computer Science, rok: 2007, ročník: 182, vydání: 1

• Effective verification of systems with a dynamic number of components

  VAŘEKOVÁ Pavlína MORAVEC Pavel ČERNÁ Ivana ZIMMEROVÁ Barbora

  Článek ve sborníku

  Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, rok: 2007

• ProbDiVinE

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana ČEŠKA Milan TŮMOVÁ Jana

  Software

  Rok: 2007

• ProbDiVinE: A Parallel Qualitative LTL Model Checker

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana ČEŠKA Milan TŮMOVÁ Jana

  Článek ve sborníku

  Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07), rok: 2007

2006

• Cluster-Based LTL Model Checking of Large Systems

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana

  Článek ve sborníku

  Formal Methods for Components and Objects, rok: 2006

• Component Substitutability via Equivalencies of Component-Interaction Automata

  ČERNÁ Ivana VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora

  Článek ve sborníku

  Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'06), rok: 2006

• Component-Interaction Automata as a Verification-Oriented Component-Based System Specification

  BRIM Luboš ČERNÁ Ivana VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora

  Článek v odborném periodiku

  Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering, rok: 2006, ročník: 31, vydání: 2

• Component-Interaction Automata Modelling Language

  ČERNÁ Ivana VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora

  Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)

  Rok: 2006, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)

• Distributed breadth-first search LTL model checking

  BARNAT Jiří ČERNÁ Ivana

  Článek v odborném periodiku

  Formal Methods in System Design, rok: 2006, ročník: 29, vydání: 2

• Distributed Qualitative LTL Model Checking of Markov Decision Processes

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana ČEŠKA Milan TŮMOVÁ Jana

  Článek ve sborníku

  Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation, rok: 2006