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

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

• BÜHNOVÁ, Barbora, Dávid HALÁSZ, Danish IQBAL a Hind BANGUI. Survey on Trust in Software Engineering for Autonomous Dynamic Ecosystems. Online. In SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing. Neuveden: ACM, 2023, s. 1490-1497. ISBN 978-1-4503-9517-5. Dostupné z: https://dx.doi.org/10.1145/3555776.3577702. URL info
• BÜHNOVÁ, Barbora. Trust Management in the Internet of Everything. Online. In ECSA 2022: Software Architecture. ECSA 2022 Tracks and Workshops. Neuveden: Springer, 2023, s. 123-137. ISBN 978-3-031-36888-2. Dostupné z: https://dx.doi.org/10.1007/978-3-031-36889-9_10. URL info
• BANGUI, Hind, Barbora BÜHNOVÁ, Daša KUŠNIRÁKOVÁ a Dávid HALÁSZ. Trust Management in Social Internet of Things across Domains. Internet of Things. Elsevier, 2023, roč. 23, č. 1, s. 1-26. ISSN 2543-1536. Dostupné z: https://dx.doi.org/10.1016/j.iot.2023.100833. URL info
• PELLICCIONE, Patrizio, Barbora BÜHNOVÁ, Sebastian GOTTSCHALK, Ingo WEBER a Gregor ENGELS. Architecting and Engineering Value-Based Ecosystems. Online. In Patrizio Pelliccione, Rick Kazman, Ingo Weber, Anna Liu. Software Architecture: Research Roadmaps from the Community. Neuveden: Springer, 2023, s. 41-68. ISBN 978-3-031-36846-2. Dostupné z: https://dx.doi.org/10.1007/978-3-031-36847-9_3. URL info
• 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. Dostupné z: https://dx.doi.org/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, roč. 69, č. 6, s. 3633-3647. ISSN 0018-9391. Dostupné z: https://dx.doi.org/10.1109/TEM.2021.3116873. URL 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 0038-0644. Dostupné z: https://dx.doi.org/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. Online. In Panos M. Pardalos, Stamatina Th. Rassia, Arsenios Tsokas. Artificial Intelligence, Machine Learning, and Optimization Tools for Smart Cities. Cham, Switzerland: Springer, 2022, s. 63-95. Springer Optimization and Its Applications, vol 186. ISBN 978-3-030-84458-5. Dostupné z: https://dx.doi.org/10.1007/978-3-030-84459-2_5. URL 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. Dostupné z: https://dx.doi.org/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. Dostupné z: https://dx.doi.org/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. Dostupné z: https://dx.doi.org/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. Dostupné z: https://dx.doi.org/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. Dostupné z: https://dx.doi.org/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. Dostupné z: https://dx.doi.org/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. Dostupné z: https://dx.doi.org/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. Dostupné z: https://dx.doi.org/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