doc. Ing. RNDr. Barbora Bühnová, Ph.D.

2007

• 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

• Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification

  ZIMMEROVÁ Barbora VAŘEKOVÁ Pavlína

  Článek ve sborníku

  MEMICS proceedings, rok: 2007

• Subject-observer specification with component-interaction automata

  VAŘEKOVÁ Pavlína 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

2006

• Component Placement in Distributed Environment w.r.t. Component Interaction

  ZIMMEROVÁ Barbora

  Článek ve sborníku

  Proceedings of the 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'06), 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.)

• Formal Analysis of Component-Based Systems in View of Comp. Interactions

  ZIMMEROVÁ Barbora

  Článek ve sborníku

  Proceedings of the International Research Training Groups Workshop 2006, rok: 2006

2005

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

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

  Článek ve sborníku

  Proceedings of SAVCBS 2005, rok: 2005

• Component-Interaction Automata for Specification and Verification of Component Interactions

  VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora

  Článek ve sborníku

  IFM 2005 Doctoral Symposium on Integrated Formal Methods, rok: 2005