Barbora Buhnova
Barbora Zimmerova
Person information
- affiliation: Masaryk University, Brno, Czech Republic
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2017
- [j16]Hind Bangui, Mouzhi Ge, Barbora Buhnova, Said Rakrak, Said Raghay, Tomás Pitner:
Multi-Criteria Decision Analysis Methods in the Mobile Cloud Offloading Paradigm. J. Sensor and Actuator Networks 6(4): 25 (2017) - [c21]David Gesvindr, Barbora Buhnova, Ondrej Gasior:
Quality Evaluation of PaaS Cloud Application Design Using Generated Prototypes. ICSA 2017: 31-40 - [c20]David Gesvindr, Jana Michalkova, Barbora Buhnova:
System for Collection and Processing of Smart Home Sensor Data. ICSA Workshops 2017: 247-250 - [c19]Paris Avgeriou, Barbora Buhnova:
Welcome Message from the Tool Demonstrations Chairs of ICSA 2017. ICSA Workshops 2017: 267 - [c18]Oldrich Faldik, Richard John Payne, John S. Fitzgerald, Barbora Buhnova:
Modelling System of Systems Interface Contract Behaviour. FESCA@ETAPS 2017: 1-15 - 2016
- [j15]David Gesvindr, Barbora Buhnova:
Performance Challenges, Current Bad Practices, and Hints in PaaS Cloud Application Design. SIGMETRICS Performance Evaluation Review 43(4): 3-12 (2016) - [c17]Bruno Rossi, Stanislav Chren, Barbora Buhnova, Tomás Pitner:
Anomaly detection in Smart Grid data: An experience report. SMC 2016: 2313-2318 - [c16]Stanislav Chren, Barbora Buhnova:
Local load optimization in smart grids with Bayesian networks. SMC 2016: 4021-4027 - [c15]David Gesvindr, Barbora Buhnova:
Architectural Tactics for the Design of Efficient PaaS Cloud Applications. WICSA 2016: 158-167 - 2015
- [c14]Jan Rosecky, Filip Procházka, Barbora Buhnova:
Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids. ICLP (Technical Communications) 2015 - 2014
- [j14]Barbora Buhnova, Antonio Vallecillo, Nenad Medvidovic, Magnus Larsson, Javier López, Jorge Cuéllar:
Guest editorial to the Special Issue on Component-Based Software Engineering and Software Architecture. Sci. Comput. Program. 90: 67-70 (2014) - [j13]Lucia Happe, Barbora Buhnova, Ralf H. Reussner:
Stateful component-based performance models. Software and System Modeling 13(4): 1319-1343 (2014) - [c13]David Gesvindr, Barbora Buhnova, Jan Rosecky:
Overview of Research Challenges towards Smart Grid Quality by Design. FedCSIS 2014: 1497-1504 - [c12]Barbora Buhnova, Stanislav Chren, Lucie Fabriková:
Failure data collection for reliability prediction models: a survey. QoSA 2014: 83-92 - [c11]Franz Brosch, Heiko Koziolek, Barbora Buhnova, Ralf H. Reussner:
Architecture-Based Reliability Prediction with the Palladio Component Model. Software Engineering 2014: 31-32 - [c10]Aldeida Aleti, Barbora Buhnova, Lars Grunske, Anne Koziolek, Indika Meedeniya:
Software Architecture Optimization Methods: A Systematic Literature Review. Software Engineering 2014: 77-78 - [e3]Barbora Buhnova, Lucia Happe, Jan Kofron:
Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014. EPTCS 147, 2014 [contents] - 2013
- [j12]Barbora Buhnova, Lucia Kapová 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:
Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2013, Rome, Italy, March 23, 2013. EPTCS 108, 2013 [contents] - 2012
- [j10]Franz Brosch, Heiko Koziolek, Barbora Buhnova, Ralf H. 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:
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 [contents] - 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 H. Reussner:
Reliability prediction for fault-tolerant software architectures. QoSA/ISARCS 2011: 75-84 - 2010
- [j6]
- [c7]Franz Brosch, Heiko Koziolek, Barbora Buhnova, Ralf H. 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 H. 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 2018-01-30 22:28 CET by the dblp team