Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Barbora Buhnova
Barbora Zimmerova
2010 – today
- 2013
[j12]Barbora Buhnova, Lucia Kapova Happe, Jan Kofron: Preface. Electr. Notes Theor. Comput. Sci. 295: 1-2 (2013)- [j11]Aldeida Aleti, Barbora Buhnova, Lars Grunske, Anne Koziolek, Indika Meedeniya: Software Architecture Optimization Methods: A Systematic Literature Review. IEEE Trans. Software Eng. 39(5): 658-683 (2013)
- [e2]Barbora Buhnova, Lucia Happe, Jan Kofron (Eds.): Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures. EPTCS 108, 2013
- 2012
- [j10]Franz Brosch, Heiko Koziolek, Barbora Buhnova, Ralf Reussner: Architecture-Based Reliability Prediction with the Palladio Component Model. IEEE Trans. Software Eng. 38(6): 1319-1339 (2012)
- [c9]Nikola Benes, Barbora Buhnova, Ivana Cerna, Radek Oslejsek: Reliability analysis in component-based development via probabilistic model checking. CBSE 2012: 83-92
- [e1]Vincenzo Grassi, Raffaela Mirandola, Barbora Buhnova, Antonio Vallecillo (Eds.): Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures, QoSA 2012, part of Comparch '12 Federated Events on Component-Based Software Engineering and Software Architecture, Bertinoro, Italy, June 25-28, 2012. ACM 2012, ISBN 978-1-4503-1346-9
- 2011
- [j9]
- [j8]Indika Meedeniya, Barbora Buhnova, Aldeida Aleti, Lars Grunske: Reliability-driven deployment optimization for embedded systems. Journal of Systems and Software 84(5): 835-846 (2011)
- [j7]Nikola Benes, Lubos Brim, Barbora Buhnova, Ivana Cerná, Jiri Sochor, Pavlína Vareková: Partial order reduction for state/event LTL with application to component-interaction automata. Sci. Comput. Program. 76(10): 877-890 (2011)
- [c8]Franz Brosch, Barbora Buhnova, Heiko Koziolek, Ralf Reussner: Reliability prediction for fault-tolerant software architectures. QoSA/ISARCS 2011: 75-84
- 2010
- [j6]
- [c7]Franz Brosch, Heiko Koziolek, Barbora Buhnova, Ralf Reussner: Parameterized Reliability Prediction for Component-Based Software Architectures. QoSA 2010: 36-51
- [c6]Indika Meedeniya, Barbora Buhnova, Aldeida Aleti, Lars Grunske: Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems. QoSA 2010: 52-67
- [c5]Lucia Kapová, Barbora Buhnova, Anne Martens, Jens Happe, Ralf Reussner: State dependence in performance evaluation of component-based software systems. WOSP/SIPEW 2010: 37-48
2000 – 2009
- 2009
- [j5]
- [c4]Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova: Partial Order Reduction for State/Event LTL. IFM 2009: 307-321
- 2008
- [j4]Nikola Benes, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova: A Case Study in Parallel Verification of Component-Based Systems. Electr. Notes Theor. Comput. Sci. 220(2): 67-83 (2008)
- [j3]Pavlína Vareková, Barbora Zimmerova, Pavel Moravec, Ivana Cerná: Formal verification of systems with an unlimited number of components. IET Software 2(6): 532-546 (2008)
- 2007
- [j2]Ivana Cerná, Pavlína Vareková, Barbora Zimmerova: Component Substitutability via Equivalencies of Component-Interaction Automata. Electr. Notes Theor. Comput. Sci. 182: 39-55 (2007)
- [c3]Barbora Zimmerova, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor: Component-Interaction Automata Approach (CoIn). CoCoME 2007: 146-176
- [c2]Pavlína Vareková, Pavel Moravec, Ivana Cerná, Barbora Zimmerova: Effective verification of systems with a dynamic number of components. SAVCBS 2007: 3-13
- [c1]Pavlína Vareková, Barbora Zimmerova: Subject-observer specification with component-interaction automata. SAVCBS 2007: 75-81
- 2006
- [j1]Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerova: Component-interaction automata as a verification-oriented component-based system specification. ACM SIGSOFT Software Engineering Notes 31(2) (2006)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:57 CEST by the dblp team