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
2008
-
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
-
Subject-observer specification with component-interaction automata
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
2006
-
Component Placement in Distributed Environment w.r.t. Component Interaction
Proceedings of the 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'06), year: 2006
-
Component Substitutability via Equivalencies of Component-Interaction Automata
Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'06), year: 2006