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 |
---|
social and academic networks: |
---|
Total number of publications: 165
2010
-
Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10)
Year: 2010, type:
-
State dependence in performance evaluation of component-based software systems
Proceedings of the Joint WOSP/SIPEW International Conference on Performance Engineering (ICPE'10), year: 2010
2009
-
CoIn Tool Set
Year: 2009
-
Design-Time Reliability Prediction for Software Systems
Year: 2009, type: Appeared in Conference without Proceedings
-
Partial Order Reduction for State/Event LTL
Proceedings of the International Conference on Integrated Formal Methods (IFM'09), year: 2009
-
Proceedings of the 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'09)
Year: 2009, type:
-
Redundancy Allocation in Automotive Systems using Multi-objective Optimisation
Year: 2009, type: Appeared in Conference without Proceedings
2008
-
A Case Study in Parallel Verification of Component-Based Systems
Electronic Notes in Theoretical Computer Science, year: 2008, volume: 220, edition: 2
-
A Case Study in Parallel Verification of Component-Based Systems
Pre-proceedings of the Workshop on Parallel and Distributed Methods in verifiCation (PDMC'08), year: 2008
-
Component-Interaction Automata Approach (CoIn)
The Common Component Modeling Example: Comparing Software Component Models, year: 2008, number of pages: 31 s.