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

Životopis

Identifikace osoby

• Doc. Ing. RNDr. Barbora Bühnová, Ph.D.

Pracoviště

• Fakulta informatiky, Masarykova univerzita
  Katedra počítačových systémů a komunikací
  Botanická 68a, 602 00 Brno, Česká republika

Funkce na pracovišti

• Docentka

Vzdělání a akademická kvalifikace

• 2017: Doc. informatika, habilitace "Quality-Driven Architecture Design of Software Systems", FI MU, Brno
• 2009: Ing. ekonomie, závěrečná práce "Využití teorie automatů při modelování socio-ekonomických systémů", PEF MZLU, Brno
• 2008: Ph.D. informatika, závěrečná práce "Modelování a formální analýza komponentových systémů", FI MU, Brno
• 2008: RNDr. informatika, závěrečná práce "Formální analýza komponentových systémů", FI MU, Brno
• 2004: Mgr. informatika, závěrečná práce "A&N internetových aplikací s použitím vzorů", FI MU, Brno

Přehled zaměstnání

• Od 2017: Fakulta informatiky, Masarykova univerzita, Brno, Česká republika; Docentka
• Od 2017: CERIT SC - Ústav výpočetní techniky, Masarykova univerzita, Brno, Česká republika; Docentka
• 2009 - 2017: Fakulta informatiky, Masarykova univerzita, Brno, Česká republika; Odborný asistent
• 2008 - 2009: Research Center for Information Technology (FZI), Karlsruhe, Německo; PostDoc researcher
• 2005 - 2009: Fakulta informatiky, Masarykova univerzita, Brno, Česká republika; Odborný pracovník
• 2003 - 2008: Fakulta informatiky, Masarykova univerzita, Brno, Česká republika; Externí učitel
• 2003 - 2004: INSPIRE CZ s.r.o, Brno, Česká republika; Analytik pro webové technologie
• 2001 - 2003: INSPIRE CZ s.r.o, Brno, Česká republika; Programátor webových portálů

Pedagogická činnost

• Od 2021: CORE013 Vývoj softwarových systémů
• Od 2015: PV260 Software Quality
• Od 2012: PB007 Softwarové inženýrství I
• Od 2012: PV239 Vývoj aplikací pro mobilní platformy
• Od 2010: PV179 Vybraná témata .NET technologií
• Od 2009: PV178 Úvod do vývoje v C#/.NET
• Od 2009: PV226 Seminář LaSArIS
• Od 2005: PV167 Projekt z objektového návrhu informačních systémů
• 2009 - 2010: PB162 Programování v jazyce Java
• 2004 - 2009: IB102 Automaty a gramatiky
• 2003 - 2005: IB108 Návrh algoritmů II

Vědeckovýzkumná činnost

• Od 2009: Člen "Laboratory of Software Architectures and Information Systems (LaSArIS)", Fakulta informatiky, Masarykova univerzita, Brno, Česká republika
• Od 2004 do 2009: Člen "Parallel and Distributed Systems Laboratory (ParaDiSe)", Fakulta informatiky, Masarykova univerzita, Brno, Česká republika
• 2009 - 2009: Člen "The ArcheOpterix Team", Faculty of Information and Communication Technologies, Swinburne University of Technology, Melbourne, Austrálie
• 2007 - 2009: Člen "The Palladio Team", Fakultät für Informatik, Universität Karlsruhe, Německo
• 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: Projekt "Realistická aplikace formálních metod v komponentových systémech", řešeno ve spojení FI MU, MFF UK v Praze a ÚI AV ČR

Akademické stáže

• 2009 - 2009 (6 týdnů): Faculty of Information and Communication Technologies, Swinburne University of Technology, Melbourne, Austrálie; Visiting researcher (na pozvání)
• 2008 - 2009 (6 měsíců): Research Center for Information Technology (FZI) & Universität Karlsruhe, Německo; PostDoc researcher (na pozvání)
• 2007 - 2007 (2 měsíce): Fakultät für Informatik, Universität Karlsruhe, Německo; Guest researcher (na pozvání)

Universitní aktivity

• Od 2019: Proděkanka pro průmyslové partnery, FI MU
• Od 2018: Člen Disciplinární komise na FI MU
• Od 2018: Vedení Sdružení Průmyslových Partnerů (SPP) na FI MU
• 2018 - 2019: Člen Akademického senátu FI MU
• 2014 - 2019: Zástupce vedoucí Katedry Počítačových Systémů a Komunikací, FI MU
• 2006 - 2008: Člen Disciplinární komise na FI MU

Mimouniversitní aktivity

• 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
• A další, včetně členství ve více než 50 programových výborech konferencí a recenzí pro více než 10 odborných časopisů.

Ocenění vědeckou komunitou

• 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

Vybrané publikace

• 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

27. 12. 2021