![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
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í: 168
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
-
Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10)
Rok: 2010, druh: Editorství tématického sborníku
-
State dependence in performance evaluation of component-based software systems
Proceedings of the Joint WOSP/SIPEW International Conference on Performance Engineering (ICPE'10), rok: 2010
2009
-
CoIn Tool Set
Rok: 2009
-
Design-Time Reliability Prediction for Software Systems
Rok: 2009, druh: Další prezentace na konferencích
-
Partial Order Reduction for State/Event LTL
Proceedings of the International Conference on Integrated Formal Methods (IFM'09), rok: 2009
-
Proceedings of the 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'09)
Rok: 2009, druh: Editorství tématického sborníku
-
Redundancy Allocation in Automotive Systems using Multi-objective Optimisation
Rok: 2009, druh: Další prezentace na konferencích