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

2014

• Stateful component-based performance models

  HAPPE Lucia BÜHNOVÁ Barbora REUSSNER Ralf

  Článek v odborném periodiku

  Software & Systems Modeling, rok: 2014, ročník: 13, vydání: 4, DOI

2013

• Software Architecture Optimization Methods: A Systematic Literature Review

  ALETI Aldeida BÜHNOVÁ Barbora GRUNSKE Lars KOZIOLEK Anne MEEDENIYA Indika

  Článek v odborném periodiku

  IEEE transactions on software engineering, rok: 2013, ročník: 5, vydání: 39, DOI

2012

• Architecture-Based Reliability Prediction with the Palladio Component Model

  BROSCH Franz KOZIOLEK Heiko BÜHNOVÁ Barbora REUSSNER Ralf

  Článek v odborném periodiku

  IEEE transactions on software engineering, rok: 2012, ročník: 38, vydání: 6, DOI

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

  BÜHNOVÁ Barbora REUSSNER Ralf SZYPERSKI Clemens WECK Wolfgang GRASSI Vincenzo MIRANDOLA Raffaela

  Editorství tématického sborníku

  Rok: 2012, druh: Editorství tématického sborníku

• Reliability analysis in component-based development via probabilistic model checking

  BENEŠ Nikola BÜHNOVÁ Barbora ČERNÁ Ivana OŠLEJŠEK Radek

  Článek ve sborníku

  Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE '12), rok: 2012

2011

• Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata

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

  Článek v odborném periodiku

  Science of Computer Programming, rok: 2011, ročník: 76, vydání: 10, DOI

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

  BÜHNOVÁ Barbora HAPPE Jens

  Editorství tématického sborníku

  Rok: 2011, druh: Editorství tématického sborníku

• Reliability prediction for fault-tolerant software architectures

  BROSCH Franz BÜHNOVÁ Barbora KOZIOLEK Heiko REUSSNER Ralf

  Článek ve sborníku

  Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS, rok: 2011

• Reliability-driven deployment optimization for embedded systems

  MEEDENIYA Indika BÜHNOVÁ Barbora ALETI Aldeida GRUNSKE Lars

  Článek v odborném periodiku

  Journal of Systems and Software, rok: 2011, ročník: 84, vydání: 5

2010

• Application of the Automata Theory to Economic Systems: Modelling, Simulation and Analysis

  BÜHNOVÁ Barbora

  Odborná kniha

  Rok: 2010, počet stran: 108 s.