Format for Printing from Your Browser, MS-Word, LaTeX, rich LaTeX

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 and 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, p. 1490-1497. ISBN 978-1-4503-9517-5. Available from: 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, p. 123-137. ISBN 978-3-031-36888-2. Available from: https://dx.doi.org/10.1007/978-3-031-36889-9_10. URL info
  • BANGUI, Hind, Barbora BÜHNOVÁ, Daša KUŠNIRÁKOVÁ and Dávid HALÁSZ. Trust Management in Social Internet of Things across Domains. Internet of Things. Elsevier, 2023, vol. 23, No 1, p. 1-26. ISSN 2543-1536. Available from: https://dx.doi.org/10.1016/j.iot.2023.100833. URL info
  • PELLICCIONE, Patrizio, Barbora BÜHNOVÁ, Sebastian GOTTSCHALK, Ingo WEBER and 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, p. 41-68. ISBN 978-3-031-36846-2. Available from: https://dx.doi.org/10.1007/978-3-031-36847-9_3. URL info
  • HAPPE, Lucia and Barbora BÜHNOVÁ. Frustrations Steering Women away from Software Engineering. IEEE Software. IEEE, 2022, vol. 39, No 4, p. 63-69. ISSN 0740-7459. Available from: https://dx.doi.org/10.1109/MS.2021.3099077. URL info
  • CAPILLA, Rafael, Emilia CIOROAICA, Barbora BÜHNOVÁ and Jan BOSCH. On Autonomous Dynamic Software Ecosystems. IEEE Transactions on Engineering Management. IEEE, 2022, vol. 69, No 6, p. 3633-3647. ISSN 0018-9391. Available from: https://dx.doi.org/10.1109/TEM.2021.3116873. URL info
  • JACOBSON, Ivar, Jeff SUTHERLAND, Brian KERR and Barbora BÜHNOVÁ. Better Scrum through Essence. Software: Practice And Experience. Wiley, 2022, vol. 52, No 6, p. 1531-1540. ISSN 0038-0644. Available from: https://dx.doi.org/10.1002/spe.3070. URL info
  • BÜHNOVÁ, Barbora, Terézia KAZIČKOVÁ, Mouzhi GE, Leonard WALLETZKÝ, Francesco CAPUTO and 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, p. 63-95. Springer Optimization and Its Applications, vol 186. ISBN 978-3-030-84458-5. Available from: https://dx.doi.org/10.1007/978-3-030-84459-2_5. URL info
  • GEŠVINDR, David, Ondřej GASIOR and Barbora BÜHNOVÁ. Architecture design evaluation of PaaS cloud applications using generated prototypes: PaaSArch Cloud Prototyper tool. Journal of Systems and Software. Elsevier, 2020, vol. 169, November, p. 1-21. ISSN 0164-1212. Available from: https://dx.doi.org/10.1016/j.jss.2020.110701. URL info
  • GE, Mouzhi, Hind BANGUI and Barbora BÜHNOVÁ. Big Data for Internet of Things: A Survey. Future Generation Computer Systems. Elsevier, 2018, vol. 87, No 1, p. 601-614. ISSN 0167-739X. Available from: https://dx.doi.org/10.1016/j.future.2018.04.053. URL info
  • CAPUTO, Francesco, Barbora BÜHNOVÁ and Leonard WALLETZKÝ. Investigating the role of smartness for sustainability: Insights from the Smart Grid domain. Sustainability Science. Tokyo: Springer, 2018, vol. 13, No 5, p. 1299-1309. ISSN 1862-4065. Available from: https://dx.doi.org/10.1007/s11625-018-0555-4. info
  • BANGUI, Hind, Mouzhi GE, Barbora BÜHNOVÁ, Said RAKRAK, Said RAGHAY and Tomáš PITNER. Multi-Criteria Decision Analysis Methods in the Mobile Cloud Offloading Paradigm. Journal of Sensor and Actuator Networks. MDPI, 2017, vol. 6, No 4, p. 1-19. ISSN 2224-2708. Available from: https://dx.doi.org/10.3390/jsan6040025. URL info
  • HAPPE, Lucia, Barbora BÜHNOVÁ and Ralf REUSSNER. Stateful component-based performance models. Software & Systems Modeling. Springer, 2014, vol. 13, No 4, p. 1319-1343. ISSN 1619-1366. Available from: https://dx.doi.org/10.1007/s10270-013-0336-6. Springer link info
  • ALETI, Aldeida, Barbora BÜHNOVÁ, Lars GRUNSKE, Anne KOZIOLEK and Indika MEEDENIYA. Software Architecture Optimization Methods: A Systematic Literature Review. IEEE transactions on software engineering. New York: IEEE Computer Society, 2013, vol. 5, No 39, p. 658-683. ISSN 0098-5589. Available from: https://dx.doi.org/10.1109/TSE.2012.64. Article URL info
  • BROSCH, Franz, Heiko KOZIOLEK, Barbora BÜHNOVÁ and Ralf REUSSNER. Architecture-Based Reliability Prediction with the Palladio Component Model. IEEE transactions on software engineering. New York: IEEE Computer Society, 2012, vol. 38, No 6, p. 1319-1339. ISSN 0098-5589. Available from: https://dx.doi.org/10.1109/TSE.2011.94. Article URL info
  • BENEŠ, Nikola, Luboš BRIM, Barbora BÜHNOVÁ, Ivana ČERNÁ, Jiří SOCHOR and Pavlína MORAVCOVÁ VAŘEKOVÁ. Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata. Science of Computer Programming. Elsevier, 2011, vol. 76, No 10, p. 877-890. ISSN 0167-6423. Available from: https://dx.doi.org/10.1016/j.scico.2010.02.008. URL info
  • MEEDENIYA, Indika, Barbora BÜHNOVÁ, Aldeida ALETI and Lars GRUNSKE. Reliability-driven deployment optimization for embedded systems. Journal of Systems and Software. ELSEVIER, 2011, vol. 84, No 5, p. 835-846. ISSN 0164-1212. info
  • ZIMMEROVÁ, Barbora, Pavlína VAŘEKOVÁ, Nikola BENEŠ, Ivana ČERNÁ, Luboš BRIM and Jiří SOCHOR. Component-Interaction Automata Approach (CoIn). In The Common Component Modeling Example: Comparing Software Component Models. Berlin / Heidelberg, Germany: Springer Verlag, 2008, p. 146-176. LNCS 5153. ISBN 978-3-540-85288-9. URL info
  • VAŘEKOVÁ, Pavlína, Barbora ZIMMEROVÁ, Pavel MORAVEC and 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, p. p. 532-546, 15 pp. ISSN 1751-8806. URL info

2021/12/27

Curriculum Vitae: doc. Ing. RNDr. Barbora Bühnová, Ph.D. (učo 39394), version: English(7), last update: 2021/12/27 21:25, B. Bühnová

Another Variant: Czech(1)