• Skip the Organizational structure panel
• Organizational structure

  On selecting a constituent part of MU the "Staff" page will be displayed with information relevant to the selected constituent part. The "Staff" page is not available for non-activated items.

  Masaryk University

  • Faculties
  • Law
  • Medicine
  • Science
  • Arts
  • Education
  • Economics
  • Informatics
  • Social Studies
  • Sports Studies

  • Institutes
  • Computer Science
  • CEITEC MU
  • Politica
  • Specialized Units
  • Hostels & Canteens
  • University Press
  • Telč Centre
  • UCB Management

  • Rector`s Office
  • Rectorate
  • Other Units
  • Archive
  • Language Centre
  • International Studies
  • Disabled Students
  • Technology Transfer
  • Biostatistics
  • Mendel Museum
  • CERIT
  • Civic Education
  • Project Team CEITEC

   

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

 

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

• Faculty of Informatics, Masaryk University
  Dep. of Computer Systems and Communications
  Botanická 68a, 602 00 Brno, Czech Republic

• Assistant Professor

• 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

• Since 2009: 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

• Since 2009: PB162 Java Programming
• Since 2005: PV167 Project in Object-oriented Design of Information Systems
• Since 2004: IB102 Automata and Grammars
• 2003 - 2005: IB108 Algorithm Design II

• Since 2009: Member of "Laboratory of Software Architectures and Information Systems (LaSArIS)", Faculty of Informatics, Masaryk University, Brno, Czech Republic
• Since 2004: 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

• 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)

• 2006 - 2008: Disciplinary Committee member at Faculty of Informatics, Masaryk University, Brno, Czech Republic

• Program committee co-chair of FESCA 2010, FESCA 2009
• Program committee member of CBSE 2010
• Reviewer for the Science of Computer Programming Journal
• Reviewer of QEST 2009, MEMICS 2008, FMICS 2007, SOFSEM 2007, FMICS 2005
• Conference co-organizer of FESCA 2010, FESCA 2009

• MEEDENIYA, Indika a Barbora BÜHNOVÁ a Aldeida ALETI a Lars GRUNSKE. Reliability-driven deployment optimization for embedded systems. Journal of Systems and Software, ELSEVIER, 84, 5, od s. 835-846, 12 s. ISSN 0164-1212. 2011.  info
• BROSCH, Franz a Barbora BÜHNOVÁ a Heiko KOZIOLEK a Ralf REUSSNER. Reliability prediction for fault-tolerant software architectures. In Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS. New York, NY, USA: ACM, 2011. od s. 75-84, 10 s. ISBN 978-1-4503-0724-6.  info
• BÜHNOVÁ, Barbora a Jens HAPPE. Proceedings of the 8th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'11). Online: Elsevier Science Publishers, 2011. 74 s. FESCA 2011 WebsiteFESCA 2011 Proceedings info
• KAPOVA, Lucia a Barbora BÜHNOVÁ a Anne MARTENS a Jens HAPPE a Ralf REUSSNER. State dependence in performance evaluation of component-based software systems. In Proceedings of the Joint WOSP/SIPEW International Conference on Performance Engineering (ICPE'10). New York, NY, USA: ACM, 2010. s. 37-48. ISBN 978-1-60558-563-5. URL info
• BÜHNOVÁ, Barbora. Application of the Automata Theory to Economic Systems: Modelling, Simulation and Analysis. Saarbrücken (DE): LAP Lambert Academic Publishing, 2010. 108 s. Neuveden. ISBN 978-3-8383-5054-7. Amazon.com info
• BROSCH, Franz a Heiko KOZIOLEK a Barbora BÜHNOVÁ a Ralf REUSSNER. Parameterized Reliability Prediction for Component-Based Software Architectures. In Proceedings of the International Conference on the Quality of Software Architectures (QoSA'10). Berlin / Heidelberg (DE): Springer Verlag, 2010. od s. 36-51, 16 s. ISBN 978-3-642-13820-1. SpringerLink info
• MEEDENIYA, Indika a Barbora BÜHNOVÁ a Aldeida ALETI a Lars GRUNSKE. Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems. In Proceedings of the International Conference on the Quality of Software Architectures (QoSA'10). Berlin / Heidelberg (DE): Springer Verlag, 2010. od s. 52-67, 16 s. ISBN 978-3-642-13820-1. SpringerLink info
• BÜHNOVÁ, Barbora a Ralf REUSSNER a Clemens SZYPERSKI a Wolfgang WECK. Proceedings of the 15th International Workshop on Component-Oriented Programming (WCOP'10). Online: Karlsruhe Institute of Technology (KIT), 2010. 86 s. WCOP 2010 Website info
• KAPOVA, Lucia a Barbora BÜHNOVÁ. Performance-driven stepwise refinement of component-based architectures. In Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems. New York, NY, USA: ACM, 2010. od s. nestránkováno, 7 s. ISBN 978-1-4503-0239-5. ACM DL link info
• BÜHNOVÁ, Barbora a Ralf REUSSNER a Clemens SZYPERSKI a Wolfgang WECK a Ivica CRNKOVIC a Judith STAFFORD. Proceedings of the 16th International Workshop on Component-Oriented Programming (WCOP'10). New York, NY, USA: ACM, 2010. ISBN 978-1-4503-0726-0. WCOP 2011 Website info
• BENEŠ, Nikola a Luboš BRIM a Ivana ČERNÁ a Jiří SOCHOR a Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Partial Order Reduction for State/Event LTL. In Proceedings of the International Conference on Integrated Formal Methods (IFM'09). Berlin / Heidelberg, Germany: Springer Verlag, 2009. od s. 307-321, 15 s. ISBN 978-3-642-00254-0.  info
• BROSCH, Franz a Barbora ZIMMEROVÁ. Design-Time Reliability Prediction for Software Systems. In International Workshop on Software Quality and Maintainability (SQM'09). 2009.  info
• MEEDENIYA, Indika a Aldeida ALETI a Barbora BÜHNOVÁ. Redundancy Allocation in Automotive Systems using Multi-objective Optimisation. In Proceedings of the Symposium on Automotive/Avionics Systems Engineering (SAASE’09). 2009.  info
• HAPPE, Jens a Barbora ZIMMEROVÁ. Proceedings of the 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'09). Online: Elsevier Science Publishers, 2009. 194 s.  info
• ZIMMEROVÁ, Barbora a Pavlína VAŘEKOVÁ a Nikola BENEŠ a Ivana ČERNÁ a 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
• BENEŠ, Nikola a Ivana ČERNÁ a Jiří SOCHOR a Pavlína MORAVCOVÁ VAŘEKOVÁ a Barbora BÜHNOVÁ. A Case Study in Parallel Verification of Component-Based Systems. Electronic Notes in Theoretical Computer Science, Neuveden: Elsevier, 220, 2, od s. 67-83, 16 s. ISSN 1571-0661. 2008.  info
• BENEŠ, Nikola a Luboš BRIM a Ivana ČERNÁ a Jiří SOCHOR a Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Partial Order Reduction for State/Event LTL. Brno, Czech Republic: Faculty of Informatics, Masaryk University, 2008. Technical report FIMU-RS-2008-07. FIMU Technical Reports URL info
• BENEŠ, Nikola a Luboš BRIM a Ivana ČERNÁ a Jiří SOCHOR a Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems. In Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08). Málaga, Spain: Department of Computer Science, University of Málaga, 2008. s. 221-225. ISSN 1571-0661.  info
• ZIMMEROVÁ, Barbora. Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction. Czech Republic: Masaryk University, Faculty of Informatics, 2008. PhD thesis.  info
• BENEŠ, Nikola a Ivana ČERNÁ a Jiří SOCHOR a Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. A Case Study in Parallel Verification of Component-Based Systems. In Pre-proceedings of the Workshop on Parallel and Distributed Methods in verifiCation (PDMC'08). Budapest, Hungary: ETAPS, 2008. od s. 35-51, 17 s. ISSN 1571-0661.  info
• ČERNÁ, Ivana a Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component Substitutability via Equivalencies of Component-Interaction Automata. Electronic Notes in Theoretical Computer Science, Elsevier, 182, 1s. 39-55. ISSN 1571-0661. 2007.  info
• VAŘEKOVÁ, Pavlína a Pavel MORAVEC a Ivana ČERNÁ a Barbora ZIMMEROVÁ. Effective verification of systems with a dynamic number of components. In Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York, NY, USA: ACM Press, 2007. s. 3-13. ISBN 978-1-59593-721-6. URL info
• VAŘEKOVÁ, Pavlína a Barbora ZIMMEROVÁ. Subject-observer specification with component-interaction automata. In Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York, NY, USA: ACM Press, 2007. s. 75-81. ISBN 978-1-59593-721-6. URL info
• ZIMMEROVÁ, Barbora a Pavlína VAŘEKOVÁ. Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification. In MEMICS proceedings. Brno, Czech Republic: Ing. Zdeněk Novotný CSc., 2007. s. 257-264. ISBN 978-80-7355-077-6.  info
• ČERNÁ, Ivana a Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component Substitutability via Equivalencies of Component-Interaction Automata. In Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'06). Macao: UNU-IIST, 2006. s. 115-130. ISSN 1571-0661.  info
• ČERNÁ, Ivana a Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component-Interaction Automata Modelling Language. Brno, Czech Republic: Faculty of Informatics, Masaryk University, 2006. Technical report FIMU-RS-2006-08. FIMU Technical Reports URL info
• ZIMMEROVÁ, Barbora. Component Placement in Distributed Environment w.r.t. Component Interaction. In Proceedings of the 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'06). Brno, Czech Republic: FIT VUT, 2006. s. 260-267. ISBN 80-214-3287-X. PDF info
• BRIM, Luboš a Ivana ČERNÁ a Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. ACM SIGSOFT Software Engineering Notes, New York, USA: ACM Press, 31, 2s. 1-8. ISSN 0163-5948. 2006.  info
• ZIMMEROVÁ, Barbora. Formal Analysis of Component-Based Systems in View of Comp. Interactions. In Proceedings of the International Research Training Groups Workshop 2006. Berlin, Germany: GITO-Verlag, 2006. od s. 34-36, 3 s. ISBN 3-936771-87-1.  info
• BRIM, Luboš a Ivana ČERNÁ a Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. In Proceedings of SAVCBS 2005. Ames, USA: Department of Computer Science, Iowa State University, 2005. s. 31-38. URL info
• VAŘEKOVÁ, Pavlína a Barbora ZIMMEROVÁ. Component-Interaction Automata for Specification and Verification of Component Interactions. In IFM 2005 Doctoral Symposium on Integrated Formal Methods. Eindhoven, The Netherlands: Technische Universiteit Eindhoven (TU/e), 2005. s. 71-75.  info

Last update: 2009/10/17