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

 

BENEŠ, Nikola - BRIM, Luboš - BÜHNOVÁ, Barbora - ČERNÁ, Ivana - SOCHOR, Jiří - MORAVCOVÁ VAŘEKOVÁ, Pavlína.
Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata. Science of Computer Programming, Elsevier. ISSN 0167-6423, 2011, vol. 76, no. 10, pp. 877-890.

more

BÜHNOVÁ, Barbora - HAPPE, Jens (Eds.).
Proceedings of the 8th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'11). Online : Elsevier Science Publishers, 2011. 74 pp.

more

MEEDENIYA, Indika - BÜHNOVÁ, Barbora - ALETI, Aldeida - GRUNSKE, Lars.
Reliability-driven deployment optimization for embedded systems. Journal of Systems and Software, ELSEVIER, The Nederlands. ISSN 0164-1212, 2011, vol. 84, no. 5, pp. 835-846.

more

BROSCH, Franz - BÜHNOVÁ, Barbora - KOZIOLEK, Heiko - REUSSNER, Ralf.
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. ISBN 978-1-4503-0724-6, pp. 75-84. 21.6.2011, Boulder, CO, USA.

more

BÜHNOVÁ, Barbora.
Application of the Automata Theory to Economic Systems: Modelling, Simulation and Analysis. Saarbrücken (DE) : LAP Lambert Academic Publishing, 2010. 108 pp. Neuveden. ISBN 978-3-8383-5054-7.

more

MEEDENIYA, Indika - BÜHNOVÁ, Barbora - ALETI, Aldeida - GRUNSKE, Lars.
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. ISBN 978-3-642-13820-1, pp. 52-67. 23.6.2010, Prague, Czech Republic.

more

BROSCH, Franz - KOZIOLEK, Heiko - BÜHNOVÁ, Barbora - REUSSNER, Ralf.
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. ISBN 978-3-642-13820-1, pp. 36-51. 23.6.2010, Prague, Czech Republic.

more

KAPOVA, Lucia - BÜHNOVÁ, Barbora.
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. ISBN 978-1-4503-0239-5, nestránkováno-7 pp. 4.10.2010, Oslo, Norway.

more

BÜHNOVÁ, Barbora - REUSSNER, Ralf - SZYPERSKI, Clemens - WECK, Wolfgang (Eds.).
Proceedings of the 15th International Workshop on Component-Oriented Programming (WCOP'10). Online : Karlsruhe Institute of Technology (KIT), 2010. 86 pp. KIT Interner Bericht 2010-14, ISSN 1432-7864.

more

BÜHNOVÁ, Barbora - REUSSNER, Ralf - SZYPERSKI, Clemens - WECK, Wolfgang - CRNKOVIC, Ivica - STAFFORD, Judith (Eds.).
Proceedings of the 16th International Workshop on Component-Oriented Programming (WCOP'10). New York, NY, USA : ACM, 2010. KIT Interner Bericht 2010-14, ISSN 1432-7864. ISBN 978-1-4503-0726-0.

more

HAPPE, Jens - BÜHNOVÁ, Barbora (Eds.).
Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10). Online : Elsevier Science Publishers, 2010. 140 pp.

more

KAPOVA, Lucia - BÜHNOVÁ, Barbora - MARTENS, Anne - HAPPE, Jens - REUSSNER, Ralf.
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. ISBN 978-1-60558-563-5, pp. 37-48. 28.1.2010, San Jose, California, USA.

more

BENEŠ, Nikola - BÜHNOVÁ, Barbora - ČERNÁ, Ivana - KŘIVÁNEK, Milan.
CoIn Tool Set. 2009.

more

BROSCH, Franz - ZIMMEROVÁ, Barbora.
Design-Time Reliability Prediction for Software Systems. 2009.

more

BENEŠ, Nikola - BRIM, Luboš - ČERNÁ, Ivana - SOCHOR, Jiří - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
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. ISBN 978-3-642-00254-0, pp. 307-321. 16.2.2009, Düsseldorf, Germany.

more

HAPPE, Jens - ZIMMEROVÁ, Barbora (Eds.).
Proceedings of the 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'09). Online : Elsevier Science Publishers, 2009. 194 pp.

more

MEEDENIYA, Indika - ALETI, Aldeida - BÜHNOVÁ, Barbora.
Redundancy Allocation in Automotive Systems using Multi-objective Optimisation. 2009.

more

BENEŠ, Nikola - ČERNÁ, Ivana - SOCHOR, Jiří - MORAVCOVÁ VAŘEKOVÁ, Pavlína - BÜHNOVÁ, Barbora.
A Case Study in Parallel Verification of Component-Based Systems. Electronic Notes in Theoretical Computer Science, Neuveden, Elsevier, Hungary. ISSN 1571-0661, 2008, vol. 220, no. 2, pp. 67-83.

more

BENEŠ, Nikola - ČERNÁ, Ivana - SOCHOR, Jiří - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
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. pp. 35-51. 29.3.2008, Budapest, Hungary.

more

ZIMMEROVÁ, Barbora - VAŘEKOVÁ, Pavlína - BENEŠ, Nikola - ČERNÁ, Ivana - BRIM, Luboš - SOCHOR, Jiří.
Component-Interaction Automata Approach (CoIn). In The Common Component Modeling Example: Comparing Software Component Models. Berlin / Heidelberg, Germany : Springer Verlag, 2008. LNCS 5153, ISBN 978-3-540-85288-9, pp. 146-176.

more

VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora - MORAVEC, Pavel - ČERNÁ, Ivana.
Formal verification of systems with an unlimited number of components. IET Software journal, Inst. of Engeneering and Technology, USA. ISSN 1751-8806, 2008, vol. Volume 2, no. Isuue 6, pp. p. 532-546.

more

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.

more

BENEŠ, Nikola - BRIM, Luboš - ČERNÁ, Ivana - SOCHOR, Jiří - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Partial Order Reduction for State/Event LTL. Brno, Czech Republic : Faculty of Informatics, Masaryk University, 2008. Technical report FIMU-RS-2008-07.

more

BENEŠ, Nikola - BRIM, Luboš - ČERNÁ, Ivana - SOCHOR, Jiří - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
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. pp. 221-225. 10.9.2008, Málaga, Spain.

more

ČERNÁ, Ivana - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Component Substitutability via Equivalencies of Component-Interaction Automata. Electronic Notes in Theoretical Computer Science, Elsevier, Germany. ISSN 1571-0661, 2007, vol. 182, no. 1, pp. 39-55.

more

VAŘEKOVÁ, Pavlína - MORAVEC, Pavel - ČERNÁ, Ivana - ZIMMEROVÁ, Barbora.
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. ISBN 978-1-59593-721-6, pp. 3-13. 3.9.2007, Dubrovnik, Croatia.

more

ZIMMEROVÁ, Barbora - VAŘEKOVÁ, Pavlína.
Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification. In MEMICS proceedings. Brno, Czech Republic : Ing. Zdeněk Novotný CSc., 2007. ISBN 978-80-7355-077-6, pp. 257-264. 26.10.2007, Znojmo, Czechia.

more

VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
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. ISBN 978-1-59593-721-6, pp. 75-81. 3.9.2007, Dubrovnik, Croatia.

more

BRIM, Luboš - ČERNÁ, Ivana - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. ACM SIGSOFT Software Engineering Notes, New York, USA, ACM Press, USA. ISSN 0163-5948, 2006, vol. 31, no. 2, pp. 1-8. SESSION: Specification and Verification of Component-Based Systems Workshop (SAVCBS 2005), Article No. 4.

more

ČERNÁ, Ivana - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Component-Interaction Automata Modelling Language. Brno, Czech Republic : Faculty of Informatics, Masaryk University, 2006. Technical report FIMU-RS-2006-08.

more

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. ISBN 80-214-3287-X, pp. 260-267. 27.10.2006, Mikulov, Czech Republic.

more

ČERNÁ, Ivana - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
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. pp. 115-130. 20.9.2006, Prague, Czech Republic.

more

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. ISBN 3-936771-87-1, pp. 34-36. 6.11.2006, Dagstuhl, Germany.

more

BRIM, Luboš - ČERNÁ, Ivana - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
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. pp. 31-38. 5.9.2005, Lisbon, Portugal.

more

VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
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. pp. 71-75. 29.11.2005, Eindhoven, The Netherlands.

more