Barbora Bühnová

2012

Nikola Beneš, Barbora Bühnová, Ivana Černá, and Radek Ošlejšek:
Reliability analysis in component-based development via probabilistic model checking,
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE ’12), ACM, 2012, 83-92. [bibtex, url]

2011

Nikola Beneš, Luboš Brim, Barbora Bühnová, Ivana Černá, Jiří Sochor, and Pavlína Moravcová Vařeková:
Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata,
Science of Computer Programming, 2011. [bibtex, url]