doc. Ing. RNDr. Barbora Bühnová, Ph.D.

Vice-dean for industrial relations, Faculty of Informatics


Office: A304
Botanická 554/68a
602 00 Brno

Show on the map

Phone: +420 549 49 4494
E‑mail:
social and academic networks:
CV

Curriculum Vitae

Person-Related Identification Information
  • Doc. Ing. RNDr. Barbora Bühnová, Ph.D.
Department
  • Faculty of Informatics, Masaryk University
    Dep. of Computer Systems and Communications
    Botanická 68a, 602 00 Brno, Czech Republic
Employment - Position
  • Associate Professor
Education and Academic Qualifications
  • 2017: Assoc. Prof. in Computer Science, habilitation "Quality-Driven Architecture Design of Software Systems", FI MU, Brno
  • 2009: Ing. in Economics, Thesis "Appl. of the Automata Theory to Modelling of Socio-Econ. Systems", PEF MZLU, Brno
  • 2008: Ph.D. in Computer Science, Thesis "Modelling and Formal Analysis of Component-Based Systems", FI MU, Brno
  • 2008: RNDr. in Computer Science, Thesis "Formal Analysis of Component-Based Systems", FI MU, Brno
  • 2004: Mgr. in Computer Science, Thesis "Pattern-Oriented A&D of Internet Applications", FI MU, Brno
Employment
  • Since 2017: Faculty of Informatics, Masaryk University, Brno, Czech Republic; Associate Professor
  • Since 2017: CERIT SC - Institute of Computer Science, Masaryk University, Brno, Czech Republic; Associate Professor
  • 2009 - 2017: Faculty of Informatics, Masaryk University, Brno, Czech Republic; Assistant Professor
  • 2008 - 2009: Research Center for Information Technology (FZI), Karlsruhe, Germany; PostDoc researcher
  • 2005 - 2009: Faculty of Informatics, Masaryk University, Brno, Czech Republic; Specialist
  • 2003 - 2008: Faculty of Informatics, Masaryk University, Brno, Czech Republic; External Teacher
  • 2003 - 2004: INSPIRE CZ s.r.o, Brno, Czech Republic; Web-based software analyst
  • 2001 - 2003: INSPIRE CZ s.r.o, Brno, Czech Republic; Web-based software developer
Teaching Activities
  • Since 2021: CORE013 Software Development
  • Since 2015: PV260 Software Quality
  • Since 2012: PB007 Software engineering I
  • Since 2012: PV239 Mobile Application Development
  • Since 2010: PV179 Selected Topics in .NET Technologies
  • Since 2009: PV178 Introduction to Development in C#/.NET
  • Since 2009: PV226 Seminar LaSArIS
  • Since 2005: PV167 Project in Object-oriented Design of Information Systems
  • 2009 - 2010: PB162 Java Programming
  • 2004 - 2009: IB102 Automata and Grammars
  • 2003 - 2005: IB108 Algorithm Design II
Scientific and Research Activities
  • Since 2009: Member of "Laboratory of Software Architectures and Information Systems (LaSArIS)", Faculty of Informatics, Masaryk University, Brno, Czech Republic
  • From 2004 to 2009: Member of "Parallel and Distributed Systems Laboratory (ParaDiSe)", Faculty of Informatics, Masaryk University, Brno, Czech Republic
  • 2009 - 2009: Member of "The ArcheOpterix Team", Faculty of Information and Communication Technologies, Swinburne University of Technology, Melbourne, Australia
  • 2007 - 2009: Member of "The Palladio Team", Fakultät für Informatik, Universität Karlsruhe, Germany
  • 2018 - 2022: Leader of Research Program 2 "CyberSecurity, CyberCrime and Critical Information Infrastructures Center of Excellence" (CZ.02.1.01/0.0/0.0/16 019/0000822)
  • 2017 - 2021: Scientific Leader of the project "CERIT Scientific Cloud" (CZ.02.1.01/0.0/0.0/16 013/0001802)
  • 2014 - 2015: Project leader "Application of Bayesian Belief Networks in the Smart Grid Domain"
  • 2005 - 2009: Project "Realistic application of formal methods in component systems", Investigated jointly by FI MU, FMP CU Prague, and ICS ASCR
Internship
  • 2009 - 2009 (6 weeks): Faculty of Information and Communication Technologies, Swinburne University of Technology, Melbourne, Australia; Visiting researcher (by invitation)
  • 2008 - 2009 (6 months): Research Center for Information Technology (FZI) & Universität Karlsruhe, Germany; PostDoc researcher (by invitation)
  • 2007 - 2007 (2 months): Fakultät für Informatik, Universität Karlsruhe, Germany; Guest researcher (by invitation)
University Activities
  • Since 2019: Vice-Dean for Industrial Partners, FI MU
  • Since 2018: Chair of the Association of Industrial Partners (AIP) of FI MU
  • 2018 - 2019: Academic Senate of FI MU member
  • Since 2014: Deputy Head of the Department of Computer Systems and Communications, FI MU
  • 2006 - 2008: Disciplinary Committee member at FI MU
Activities Outside University
  • Tool Demos co-chair at ECSA 2020: 14th European Conference on Software Architecture
  • Pubicity chair at ETAPS 2019: European Joint Conferences on Theory and Practice of Software
  • Program committee co-chair at ICSA 2018: 15th International Conference on Software Architecture
  • Proceedings co-chair at ICSE 2018: 40th International Conference on Software Engineering
  • Tool Demonstrations co-chair at ICSA 2017: 14th International Conference on Software Architecture
  • Conference chair at MOBILESoft 2017: IEEE/ACM International Conference on Mobile Software Engineering and Systems
  • Program committee co-chair, Workshop co-organizer at FESCA 2009-2017: 6th-14th International Workshop on Formal Engineering approaches to Software Components and Architectures
  • Young Researchers Forum co-chair at WICSA and CompArch 2016: Joint International Conference on Software Architecture
  • Program committee co-chair, Symposium co-organizer at WCOP 2010-2015: 15-20th International Doctoral Symposium on Components and Architecture
  • Tutorials & Technical Briefings chair at MOBILESoft 2016: IEEE/ACM International Conference on Mobile Software Engineering and Systems
  • Workshop selection co-chair, Local organization assistant at ESEC/FSE 2013: 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
  • Program committee co-chair, Conference co-organizer at QoSA 2012: 8th International Conference on Quality of Software Architecture
  • And more, including PC membership in 50+ conferences and reviewing for 10+ journals.
Awards Related to Science and Research
  • Dec 2021: TOP IT osobnosti 2021, by Computerworld magazine
  • Nov 2021: MUNI Scientist 2021, by Masaryk University
  • Since 2021: Network Vice-chair, Nominated and elected, EUGAIN: European Network For Gender Balance in Informatics
  • Since 2018: Steering Committee chair, Nominated and elected, ICSA: International Conference on Software Architecture (CORE rank A)
  • Since 2018: Editorial Board member, Appointed by the editor in chief, EMSE: Empirical Software Engineering (Springer, IF 3.156)
  • Since 2018: Review Board member, Appointed by the editor in chief, TSE: IEEE Transactions on Software Engineering (IEEE, IF 6.112)
  • Since 2019: GARI International Advisory Board member, Appointed by the GARI President, GARI: Global Arena Research Institute
  • Since 2017: Steering Committee member, Nominated and elected, ICSA: International Conference on Software Architecture (CORE rank A)
  • 2011 - 2016: Steering Committee member, Nominated and elected, CompArch: Federated Events on Component-Based Software Engineering and Software Architecture
Major Publications
  • HAPPE, Lucia a Barbora BÜHNOVÁ. Frustrations Steering Women away from Software Engineering. IEEE Software. IEEE, 2022, roč. 39, č. 4, s. 63-69. ISSN 0740-7459. doi:10.1109/MS.2021.3099077. URL info
  • CAPILLA, Rafael, Emilia CIOROAICA, Barbora BÜHNOVÁ a Jan BOSCH. On Autonomous Dynamic Software Ecosystems. IEEE Transactions on Engineering Management. IEEE, 2022, 15 s. ISSN 0018-9391. doi:10.1109/TEM.2021.3116873. info
  • JACOBSON, Ivar, Jeff SUTHERLAND, Brian KERR a Barbora BÜHNOVÁ. Better Scrum through Essence. Software: Practice And Experience. Wiley, 2022, roč. 52, č. 6, s. 1531-1540. ISSN 1097-024X. doi:10.1002/spe.3070. URL info
  • BÜHNOVÁ, Barbora, Terézia KAZIČKOVÁ, Mouzhi GE, Leonard WALLETZKÝ, Francesco CAPUTO a Luca CARRUBBO. A Cross-Domain Landscape of ICT Services in Smart Cities. In Panos M. Pardalos, Stamatina Th. Rassia, Arsenios Tsokas. Artificial Intelligence, Machine Learning, and Optimization Tools for Smart Cities. Springer, 2022. s. 63-95. ISBN 978-3-030-84458-5. info
  • GEŠVINDR, David, Ondřej GASIOR a Barbora BÜHNOVÁ. Architecture design evaluation of PaaS cloud applications using generated prototypes: PaaSArch Cloud Prototyper tool. Journal of Systems and Software. Elsevier, 2020, roč. 169, November, s. 1-21. ISSN 0164-1212. doi:10.1016/j.jss.2020.110701. URL info
  • GE, Mouzhi, Hind BANGUI a Barbora BÜHNOVÁ. Big Data for Internet of Things: A Survey. Future Generation Computer Systems. Elsevier, 2018, roč. 87, č. 1, s. 601-614. ISSN 0167-739X. doi:10.1016/j.future.2018.04.053. URL info
  • CAPUTO, Francesco, Barbora BÜHNOVÁ a Leonard WALLETZKÝ. Investigating the role of smartness for sustainability: Insights from the Smart Grid domain. Sustainability Science. Tokyo: Springer, 2018, roč. 13, č. 5, s. 1299-1309. ISSN 1862-4065. doi:10.1007/s11625-018-0555-4. info
  • BANGUI, Hind, Mouzhi GE, Barbora BÜHNOVÁ, Said RAKRAK, Said RAGHAY a Tomáš PITNER. Multi-Criteria Decision Analysis Methods in the Mobile Cloud Offloading Paradigm. Journal of Sensor and Actuator Networks. MDPI, 2017, roč. 6, č. 4, s. 1-19. ISSN 2224-2708. doi:10.3390/jsan6040025. URL info
  • HAPPE, Lucia, Barbora BÜHNOVÁ a Ralf REUSSNER. Stateful component-based performance models. Software & Systems Modeling. Springer, 2014, roč. 13, č. 4, s. 1319-1343. ISSN 1619-1366. doi:10.1007/s10270-013-0336-6. Springer link info
  • ALETI, Aldeida, Barbora BÜHNOVÁ, Lars GRUNSKE, Anne KOZIOLEK a Indika MEEDENIYA. Software Architecture Optimization Methods: A Systematic Literature Review. IEEE transactions on software engineering. New York: IEEE Computer Society, 2013, roč. 5, č. 39, s. 658-683. ISSN 0098-5589. doi:10.1109/TSE.2012.64. Article URL info
  • BROSCH, Franz, Heiko KOZIOLEK, Barbora BÜHNOVÁ a Ralf REUSSNER. Architecture-Based Reliability Prediction with the Palladio Component Model. IEEE transactions on software engineering. New York: IEEE Computer Society, 2012, roč. 38, č. 6, s. 1319-1339. ISSN 0098-5589. doi:10.1109/TSE.2011.94. Article URL info
  • BENEŠ, Nikola, Luboš BRIM, Barbora BÜHNOVÁ, Ivana ČERNÁ, Jiří SOCHOR a Pavlína MORAVCOVÁ VAŘEKOVÁ. Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata. Science of Computer Programming. Elsevier, 2011, roč. 76, č. 10, s. 877-890. ISSN 0167-6423. doi:10.1016/j.scico.2010.02.008. URL info
  • MEEDENIYA, Indika, Barbora BÜHNOVÁ, Aldeida ALETI a Lars GRUNSKE. Reliability-driven deployment optimization for embedded systems. Journal of Systems and Software. ELSEVIER, 2011, roč. 84, č. 5, s. 835-846. ISSN 0164-1212. info
  • ZIMMEROVÁ, Barbora, Pavlína VAŘEKOVÁ, Nikola BENEŠ, Ivana ČERNÁ, Luboš BRIM a Jiří SOCHOR. Component-Interaction Automata Approach (CoIn). In The Common Component Modeling Example: Comparing Software Component Models. Berlin / Heidelberg, Germany: Springer Verlag, 2008. s. 146-176. LNCS 5153. ISBN 978-3-540-85288-9. URL info
  • VAŘEKOVÁ, Pavlína, Barbora ZIMMEROVÁ, Pavel MORAVEC a Ivana ČERNÁ. Formal verification of systems with an unlimited number of components. IET Software journal. Inst. of Engeneering and Technology, 2008, Volume 2, Isuue 6, s. p. 532-546, 15 s. ISSN 1751-8806. URL info

2021/12/27

You are running an old browser version. We recommend updating your browser to its latest version.

More info