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: 168
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.
-
Formal verification of systems with an unlimited number of components
IET Software journal, year: 2008, volume: Volume 2, edition: Isuue 6
-
Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction
Year: 2008, type: R&D Presentation
-
Partial Order Reduction for State/Event LTL
Year: 2008
-
The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems
Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08), year: 2008
2007
-
Component Substitutability via Equivalencies of Component-Interaction Automata
Electronic Notes in Theoretical Computer Science, year: 2007, volume: 182, edition: 1
-
Effective verification of systems with a dynamic number of components
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, year: 2007
-
Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification
MEMICS proceedings, year: 2007