ask others

Barbora Buhnova

Barbora Zimmerova

> Home > Persons

Person information

affiliation: Masaryk University, Brno, Czech Republic

Refine list

refinements active!

zoomed in on ?? of ?? records

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icsa/GesvindrBG17
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/icsa/GesvindrBG17
David Gesvindr, Barbora Buhnova, Ondrej Gasior:
Quality Evaluation of PaaS Cloud Application Design Using Generated Prototypes. ICSA 2017: 31-40
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icsa/GesvindrMB17
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/icsa/GesvindrMB17
David Gesvindr, Jana Michalkova, Barbora Buhnova:
System for Collection and Processing of Smart Home Sensor Data. ICSA Workshops 2017: 247-250
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icsa/AvgeriouB17
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/icsa/AvgeriouB17
Paris Avgeriou, Barbora Buhnova:
Welcome Message from the Tool Demonstrations Chairs of ICSA 2017. ICSA Workshops 2017: 267
[c18]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/FaldikPFB17
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/FaldikPFB17
Oldrich Faldik, Richard John Payne, John S. Fitzgerald, Barbora Buhnova:
Modelling System of Systems Interface Contract Behaviour. FESCA@ETAPS 2017: 1-15
2016
[j15]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/sigmetrics/GesvindrB16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sigmetrics/GesvindrB16
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/smc/RossiCBP16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/smc/RossiCBP16
Bruno Rossi, Stanislav Chren, Barbora Buhnova, Tomás Pitner:
Anomaly detection in Smart Grid data: An experience report. SMC 2016: 2313-2318
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/smc/ChrenB16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/smc/ChrenB16
Stanislav Chren, Barbora Buhnova:
Local load optimization in smart grids with Bayesian networks. SMC 2016: 4021-4027
[c15]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/wicsa/GesvindrB16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/wicsa/GesvindrB16
David Gesvindr, Barbora Buhnova:
Architectural Tactics for the Design of Efficient PaaS Cloud Applications. WICSA 2016: 158-167
2015
[c14]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/iclp/RoseckyPB15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/iclp/RoseckyPB15
Jan Rosecky, Filip Procházka, Barbora Buhnova:
Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids. ICLP (Technical Communications) 2015
2014
[j14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BuhnovaVMLLC14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/scp/BuhnovaVMLLC14
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sosym/HappeBR14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sosym/HappeBR14
Lucia Happe, Barbora Buhnova, Ralf H. Reussner:
Stateful component-based performance models. Software and System Modeling 13(4): 1319-1343 (2014)
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fedcsis/GesvindrBR14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/fedcsis/GesvindrBR14
David Gesvindr, Barbora Buhnova, Jan Rosecky:
Overview of Research Challenges towards Smart Grid Quality by Design. FedCSIS 2014: 1497-1504
[c12]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/qosa/BuhnovaCF14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/qosa/BuhnovaCF14
Barbora Buhnova, Stanislav Chren, Lucie Fabriková:
Failure data collection for reliability prediction models: a survey. QoSA 2014: 83-92
[c11]
- no documents available
- export record
  dblp key:
  - conf/se/BroschKBR14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/se/BroschKBR14
Franz Brosch, Heiko Koziolek, Barbora Buhnova, Ralf H. Reussner:
Architecture-Based Reliability Prediction with the Palladio Component Model. Software Engineering 2014: 31-32
[c10]
- no documents available
- export record
  dblp key:
  - conf/se/AletiBGKM14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/se/AletiBGKM14
Aldeida Aleti, Barbora Buhnova, Lars Grunske, Anne Koziolek, Indika Meedeniya:
Software Architecture Optimization Methods: A Systematic Literature Review. Software Engineering 2014: 77-78
[e3]
- view
- export record
  dblp key:
  - journals/corr/BuhnovaHK14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/BuhnovaHK14
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BuhnovaHK13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/BuhnovaHK13
Barbora Buhnova, Lucia Kapová Happe, Jan Kofron:
Preface. Electr. Notes Theor. Comput. Sci. 295: 1-2 (2013)
[j11]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/tse/AletiBGKM13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/tse/AletiBGKM13
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]
- view
- export record
  dblp key:
  - journals/corr/abs-1302-4780
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-1302-4780
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/tse/BroschKBR12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/tse/BroschKBR12
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/cbse/BenesBCO12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cbse/BenesBCO12
Nikola Benes, Barbora Buhnova, Ivana Cerna, Radek Oslejsek:
Reliability analysis in component-based development via probabilistic model checking. CBSE 2012: 83-92
[e1]
- view
  - table of contents in dblp
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/qosa/2012
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/qosa/2012
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BuhnovaH11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/BuhnovaH11
Barbora Buhnova, Jens Happe:
Preface. Electr. Notes Theor. Comput. Sci. 279(2): 1-2 (2011)
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jss/MeedeniyaBAG11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jss/MeedeniyaBAG11
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BenesBBCSV11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/scp/BenesBBCSV11
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/qosa/BroschBKR11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/qosa/BroschBKR11
Franz Brosch, Barbora Buhnova, Heiko Koziolek, Ralf H. Reussner:
Reliability prediction for fault-tolerant software architectures. QoSA/ISARCS 2011: 75-84
2010
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/HappeB10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/HappeB10
Jens Happe, Barbora Buhnova:
Preface. Electr. Notes Theor. Comput. Sci. 264(1): 1-2 (2010)
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/qosa/BroschKBR10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/qosa/BroschKBR10
Franz Brosch, Heiko Koziolek, Barbora Buhnova, Ralf H. Reussner:
Parameterized Reliability Prediction for Component-Based Software Architectures. QoSA 2010: 36-51
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/qosa/MeedeniyaBAG10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/qosa/MeedeniyaBAG10
Indika Meedeniya, Barbora Buhnova, Aldeida Aleti, Lars Grunske:
Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems. QoSA 2010: 52-67
[c5]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/wosp/KapovaBMHR10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/wosp/KapovaBMHR10
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

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/HappeZ09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/HappeZ09
Jens Happe, Barbora Zimmerova:
Preface. Electr. Notes Theor. Comput. Sci. 253(1): 1-2 (2009)
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifm/BenesBCSVZ09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ifm/BenesBCSVZ09
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BenesCSVZ08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/BenesCSVZ08
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iee/VarekovaZ0C08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/iee/VarekovaZ0C08
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/CernaVZ07
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/CernaVZ07
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dagstuhl/ZimmerovaVBCBS07
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dagstuhl/ZimmerovaVBCBS07
Barbora Zimmerova, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor:
Component-Interaction Automata Approach (CoIn). CoCoME 2007: 146-176
[c2]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/sigsoft/VarekovaMCZ07
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sigsoft/VarekovaMCZ07
Pavlína Vareková, Pavel Moravec, Ivana Cerná, Barbora Zimmerova:
Effective verification of systems with a dynamic number of components. SAVCBS 2007: 3-13
[c1]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/sigsoft/VarekovaZ07
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sigsoft/VarekovaZ07
Pavlína Vareková, Barbora Zimmerova:
Subject-observer specification with component-interaction automata. SAVCBS 2007: 75-81
2006
[j1]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/sigsoft/BrimCVZ06
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sigsoft/BrimCVZ06
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

see FAQ

maintained by

at