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

2010

• Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems

  MEEDENIYA Indika BÜHNOVÁ Barbora ALETI Aldeida GRUNSKE Lars

  Article in Proceedings

  Proceedings of the International Conference on the Quality of Software Architectures (QoSA'10), year: 2010

• Parameterized Reliability Prediction for Component-Based Software Architectures

  BROSCH Franz KOZIOLEK Heiko BÜHNOVÁ Barbora REUSSNER Ralf

  Article in Proceedings

  Proceedings of the International Conference on the Quality of Software Architectures (QoSA'10), year: 2010

• Performance-driven stepwise refinement of component-based architectures

  KAPOVA Lucia BÜHNOVÁ Barbora

  Article in Proceedings

  Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems, year: 2010

• Proceedings of the 15th International Workshop on Component-Oriented Programming (WCOP'10)

  BÜHNOVÁ Barbora REUSSNER Ralf SZYPERSKI Clemens WECK Wolfgang

  Year: 2010, type:

• Proceedings of the 16th International Workshop on Component-Oriented Programming (WCOP'11)

  BÜHNOVÁ Barbora REUSSNER Ralf SZYPERSKI Clemens WECK Wolfgang CRNKOVIC Ivica STAFFORD Judith

  Year: 2010, type:

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

  HAPPE Jens BÜHNOVÁ Barbora

  Year: 2010, type:

• State dependence in performance evaluation of component-based software systems

  KAPOVA Lucia BÜHNOVÁ Barbora MARTENS Anne HAPPE Jens REUSSNER Ralf

  Article in Proceedings

  Proceedings of the Joint WOSP/SIPEW International Conference on Performance Engineering (ICPE'10), year: 2010

2009

• CoIn Tool Set

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

  Year: 2009

• Design-Time Reliability Prediction for Software Systems

  BROSCH Franz ZIMMEROVÁ Barbora

  Appeared in Conference without Proceedings

  Year: 2009, type: Appeared in Conference without Proceedings

• 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