doc. Ing. RNDr. Barbora Bühnová, Ph.D.
proděkanka pro vnější vztahy a spolupráci s partnery Fakulty informatiky
kancelář: A304
Botanická 554/68a
602 00 Brno
telefon: | 549 49 4494 |
---|
sociální a akademické sítě: |
---|
Počet publikací: 165
2011
-
Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata
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)
Rok: 2011, druh: Editorství tématického sborníku
-
Reliability prediction for fault-tolerant software architectures
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
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
Rok: 2010, počet stran: 108 s.
-
Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems
Proceedings of the International Conference on the Quality of Software Architectures (QoSA'10), rok: 2010
-
Parameterized Reliability Prediction for Component-Based Software Architectures
Proceedings of the International Conference on the Quality of Software Architectures (QoSA'10), rok: 2010
-
Performance-driven stepwise refinement of component-based architectures
Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems, rok: 2010
-
Proceedings of the 15th International Workshop on Component-Oriented Programming (WCOP'10)
Rok: 2010, druh: Editorství tématického sborníku
-
Proceedings of the 16th International Workshop on Component-Oriented Programming (WCOP'11)
Rok: 2010, druh: Editorství tématického sborníku