![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
2008
-
A Case Study in Parallel Verification of Component-Based Systems
Electronic Notes in Theoretical Computer Science, rok: 2008, ročník: 220, vydání: 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), rok: 2008
-
Component-Interaction Automata Approach (CoIn)
The Common Component Modeling Example: Comparing Software Component Models, rok: 2008, počet stran: 31 s.
-
Formal verification of systems with an unlimited number of components
IET Software journal, rok: 2008, ročník: Volume 2, vydání: Isuue 6
-
Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction
Rok: 2008, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
Partial Order Reduction for State/Event LTL
Rok: 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), rok: 2008
2007
-
Component Substitutability via Equivalencies of Component-Interaction Automata
Electronic Notes in Theoretical Computer Science, rok: 2007, ročník: 182, vydání: 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, rok: 2007
-
Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification
MEMICS proceedings, rok: 2007