I lead the Software Architectures research group within the Lab of Software Architectures and Information Systems (LaSArIS). We are involved in various research projects where my team engages in research of:

   - Quality of software architecture, analytical techniques
   - Quality prediction (namely reliability) in software architectures
   - Quality-driven design of critical infrastructures
   - Forensic analysis and digital forensics

Find more about LaSArIS via the link above.

I have been involved in numerous Organizing Committees of international conferences. Some of them are listed below, while a more complete list is in my Curriculum Vitae.

• CompArch 2011-2015: Federated Events on Component-Based Software Engineering and Software Architecture
  2011 (Boulder, Colorado, USA), 2012 (Bertinoro, Italy), 2013 (Vancouver, Canada), 2014 (Lille, France), 2015 (Montreal, Canada)
  Role - Steering Committee member
• FESCA 2009-2015: 6th-12th International Workshop on Formal Engineering approaches to Software Components and Architectures
  Satellite event of ETAPS 2009 (York, UK), 2010 (Paphos, Cyprus), 2011 (Saarbrucken, Germany), 2012 (Tallin, Estonia), 2013 (Rome, Italy), 2014 (Grenoble, France), 2015 (London, UK)
  Role - Program committee co-chair, Workshop co-organizer
• WCOP 2010-2015: 15-20th International Doctoral Symposium on Components and Architecture
  Doctoral Symposium of CompArch 2010 (Prague, Czech Republic), 2011 (Boulder, Colorado, USA), 2012 (Bertinoro, Italy), 2013 (Vancouver, Canada), 2014 (Lille, France), 2015 (Montreal, Canada)
  Role - Program committee co-chair, Workshop co-organizer
• MOBILESoft 2016: IEEE/ACM International Conference on Mobile Software Engineering and Systems
  Co-located with ICSE 2016 (Austin, TX, USA)
  Role - Tutorials & Technical Briefings chair
• ESEC/FSE 2013: 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
  (Saint Petersburg, Russia)
  Role - Workshop selection co-chair, Local organization assistant
• QoSA 2012: 8th International Conference on the Quality of Software Architectures
  Federated event of CompArch 2012 (Bertinoro, Italy)
  Role - Program committee co-chair, Conference co-organizer

Our lab collaborates with a number of university and industrial partners, some of which which followed my internships listed below.

• Faculty of ICT, Swinburne University of Technology, Melbourne, Australia
  Guest researcher
  April - May 2009
• Forschungszentrum Informatik (FZI) & Universität Karlsruhe, Germany
  Postdoc researcher
  September 2008 - February 2009
• Fakultät für Informatik, Universität Karlsruhe, Germany
  Guest researcher at Chair for Software Design and Quality (SDQ), Prof. Dr. Ralf H. Reussner
  April - June 2007

• A. Aleti, B. Buhnova, L. Grunske, A. Koziolek and I. Meedeniya. Software Architecture Optimization Methods: A Systematic Literature Review. In IEEE Transactions on Software Engineering journal (2012 IF 2.588), Volume 5, Issue 39, pages 658-683. IEEE Computer Society, May 2013. ISSN 0098-5589.
• L. Happe, B. Buhnova and R. Reussner. Stateful component-based performance models. In Software and Systems Modeling journal (2012 IF 1.250), Volume 76, Issue 10, pages 1-25. Springer-Verlag, April 2013. ISSN 1619-1374.
• F. Brosch, H. Koziolek, B. Buhnova and R. Reussner. Architecture-Based Reliability Prediction with the Palladio Component Model. In IEEE Transactions on Software Engineering journal (2012 IF 2.588), Volume 38, Issue 6, pages 1319-1339. IEEE Computer Society, Nov.-Dec. 2012. ISSN 0098-5589.
• N. Beneš, L. Brim, B. Buhnova, I. Černá, J. Sochor, and P. Vařeková. Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata. In Science of Computer Programming journal (2010 IF 1.306), Volume 76, Issue 10, pages 877-890. Elsevier, October 2011. ISSN 0167-6423.
• I. Meedeniya, B. Buhnova, A. Aleti, and L. Grunske. Reliability-driven deployment optimization for embedded systems. In Journal of Systems and Software (2010 IF 1.293), Volume 84, Issue 5, pages 835-846. Elsevier, May 2011. ISSN 0164-1212.
• B. Buhnova. Application of the Automata Theory to Economic Systems: Modelling, Simulation and Analysis, 168 pages. LAP Lambert Academic Publishing, April 2010. ISBN 978-3838350547.
• P. Vařeková, B. Zimmerova, P. Moravec, and I. Černá. Formal Verification of Systems with an Unlimited Number of Components. In IET Software journal (2009 IF 0.650), Volume 2, Issue 6, pages 532-546. Institution of Engineering and Technology (IET), December 2008.
• B. Zimmerova, P. Vařeková, N. Beneš, I. Černá, L. Brim and J. Sochor. The Common Component Modeling Example: Comparing Software Component Models, chapter Component-Interaction Automata Approach (CoIn), volume 5153 of LNCS, pages 146-176. Springer-Verlag, August 2008.
• L. Brim, I. Černá, P. Vařeková, and B. Zimmerova. Component-interaction automata as a verification-oriented component-based system specification. In ACM SIGSOFT Software Engineering Notes, New York, USA : ACM Press, Volume 31, Issue 2, March 2006.

The list of all publications can be found at my Google Scholar profile.