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

2009

• Proceedings of the 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'09)

  HAPPE Jens ZIMMEROVÁ Barbora

  Year: 2009, type:

• Redundancy Allocation in Automotive Systems using Multi-objective Optimisation

  MEEDENIYA Indika ALETI Aldeida BÜHNOVÁ Barbora

  Appeared in Conference without Proceedings

  Year: 2009, type: Appeared in Conference without Proceedings

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.

• Formal verification of systems with an unlimited number of components

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

  Article in Periodical

  IET Software journal, year: 2008, volume: Volume 2, edition: Isuue 6

• Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction

  ZIMMEROVÁ Barbora

  R&D Presentation

  Year: 2008, type: R&D Presentation

• 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

2007

• Component Substitutability via Equivalencies of Component-Interaction Automata

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

  Article in Periodical

  Electronic Notes in Theoretical Computer Science, year: 2007, volume: 182, edition: 1