Barbora Buhnova
TitleCited byYear
Software architecture optimization methods: A systematic literature review
A Aleti, B Buhnova, L Grunske, A Koziolek, I Meedeniya
IEEE Transactions on Software Engineering 39 (5), 658-683, 2012
2802012
Architecture-based reliability prediction with the palladio component model
F Brosch, H Koziolek, B Buhnova, R Reussner
IEEE Transactions on Software Engineering 38 (6), 1319-1339, 2011
1092011
Component-interaction automata as a verification-oriented component-based system specification
L Brim, I ČernŠ, P VařekovŠ, B Zimmerova
ACM SIGSOFT Software Engineering Notes 31 (2), 4, 2005
972005
Reliability-driven deployment optimization for embedded systems
I Meedeniya, B Buhnova, A Aleti, L Grunske
Journal of Systems and Software 84 (5), 835-846, 2011
492011
Component substitutability via equivalencies of component-interaction automata
I ČernŠ, P VařekovŠ, B Zimmerova
Electronic Notes in Theoretical Computer Science 182, 39-55, 2007
462007
Architecture-driven reliability and energy optimization for complex embedded systems
I Meedeniya, B Buhnova, A Aleti, L Grunske
International Conference on the Quality of Software Architectures, 52-67, 2010
442010
Parameterized reliability prediction for component-based software architectures
F Brosch, H Koziolek, B Buhnova, R Reussner
International Conference on the Quality of Software Architectures, 36-51, 2010
422010
Big data for internet of things: a survey
M Ge, H Bangui, B Buhnova
Future Generation Computer Systems 87, 601-614, 2018
332018
Reliability prediction for fault-tolerant software architectures
F Brosch, B Buhnova, H Koziolek, R Reussner
Proceedings of the joint ACM SIGSOFT conference--QoSA and ACM SIGSOFT†…, 2011
262011
Voluntary corporate disclosure in the Era of Social Media
F Evangelista, F Caputo, G Russo, B Buhnova
The 4rd International Symposium Advances in Business Management.“Towards†…, 2016
242016
Beyond the digital ecosystems view: insights from Smart Communities
F Caputo, V Formisano, B Buhnova, L Walletzkż
9th Annual Conference of the EuroMed Academy of Business, 2016
222016
Anomaly detection in smart grid data: An experience report
B Rossi, S Chren, B Buhnova, T Pitner
2016 ieee international conference on systems, man, and cybernetics (smc†…, 2016
212016
State dependence in performance evaluation of component-based software systems
L Kapova, B Buhnova, A Martens, J Happe, R Reussner
Proceedings of the first joint WOSP/SIPEW international conference on†…, 2010
212010
Component-interaction automata approach (CoIn)
B Zimmerova, P VařekovŠ, N Beneš, I ČernŠ, L Brim, J Sochor
The Common Component Modeling Example, 146-176, 2008
162008
The Common Component Modeling Example: Comparing Software Component Models, chapter Component-Interaction Automata Approach (CoIn)
B Zimmerova, P VarekovŠ, N Beneš, I CernŠ, L Brim, J Sochor
LNCS, 2007
162007
Redundancy allocation in automotive systems using multi-objective optimisation
I Meedeniya, A Aleti, B Buhnova
Symposium of Avionics/Automotive Systems Engineering (SAASE’09), San Diego, CA, 2009
142009
Investigating the role of smartness for sustainability: insights from the Smart Grid domain
F Caputo, B Buhnova, L Walletzkż
Sustainability Science 13 (5), 1299-1309, 2018
132018
Component-interaction automata modelling language
I ČernŠ, P Varekova, B Zimmerova
132006
Partial order reduction for state/event LTL
N Beneš, L Brim, I ČernŠ, J Sochor, P VařekovŠ, B Zimmerova
International Conference on Integrated Formal Methods, 307-321, 2009
122009
Component-interaction automata for specification and verification of component interactions
P VarekovŠ, B Zimmerova
Proceedings of the IFM 2005 Doctoral Symposium on Integrated Formal Methods†…, 2005
122005
The system can't perform the operation now. Try again later.
Articles 1–20