Assoc. Prof. Ing. RNDr. Barbora Bühnová, Ph.D.


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

Show on the map

Phone: +420 549 49 4494
E‑mail:
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 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
  • 2005 - 2009: Project "Realistic application of formal methods in component systems", Investigated jointly by FI MU, FMP CU Prague, and ICS ASCR
  • 2005 - 2008: Project "Integrated approach to education of PhD students in the area of parallel and distributed systems", Investigated jointly by FI MU, and FIT TU
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 2016: Management of the Association of Industrial Partners (AIP) of FI MU
  • 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
  • Steering committee member of ICSA 2016-2018, CompArch 2011-2015
  • Program committee co-chair of ICSA 2018, FESCA 2009-2016, WCOP 2010-2015, QoSA 2012
  • Guest editor of the Science of Computer Programming Journal
  • Reviewer of IEEE Transactions on Software Engineering, IEEE Transactions on Services Computing, Science of Computer Programming, Software and Systems Modeling, Journal of Software Maintenance and Evolution: Research and Practice
  • PC member of ASWEC (2013–2015 ), BCI (2012), CBSE (2010), DeMobile (2014), DoCEIS (2016), FASSI (2015, 2016), FESCA (2009–2016), ICSE (2012, 2014, 2015), MB4SP (2015), MOBILESoft (2016), QOSA (2011–2016), SANCS (2015), SERENE (2015, 2016), WICSA (2016)
Major Publications
  • 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. 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. ISSN 1751-8806. URL info

2017/10/21

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

More info