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

Vice-dean for external relations and cooperation with partners, Faculty of Informatics

Office: A304
Botanická 554/68a
602 00 Brno

Phone:	+420 549 49 4494
E‑mail:

social and academic networks:

Type

Total number of publications: 170

2014

Architecture-Based Reliability Prediction with the Palladio Component Model

BROSCH Franz KOZIOLEK Heiko BÜHNOVÁ Barbora REUSSNER Ralf

Article in Periodical

IEEE transactions on software engineering, year: 2012, volume: 38, edition: 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

Year: 2012, type:
Reliability analysis in component-based development via probabilistic model checking

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

Article in Proceedings

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

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

Article in Periodical

Science of Computer Programming, year: 2011, volume: 76, edition: 10, DOI
Proceedings of the 8th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'11)

BÜHNOVÁ Barbora HAPPE Jens

Year: 2011, type:
Reliability prediction for fault-tolerant software architectures

BROSCH Franz BÜHNOVÁ Barbora KOZIOLEK Heiko REUSSNER Ralf

Article in Proceedings

Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS, year: 2011
Reliability-driven deployment optimization for embedded systems

MEEDENIYA Indika BÜHNOVÁ Barbora ALETI Aldeida GRUNSKE Lars

Article in Periodical

Journal of Systems and Software, year: 2011, volume: 84, edition: 5