Research
Research projects
-
Verification of Component-Based Systems project of the ParaDiSe Laboratory
The aim of the project is to develop a semantic framework for component-based modeling and describing the dynamic behaviour of components and their interactions. Futhermore, we aim at providing algorithms and techniques for formal verification of their temporal properties.
[ basic information | public project page | internal project page ]
-
Integrated approach to education of PhD students in the area of parallel and distributed systems
The aim of the project is to create a new type of framework for PhD studies whose underlying principles are consistent with current international trends. The project focuses on a highly important topic of parallel and distributed systems.
[ basic information | project page ]
Research fellowships
Organized Conferences
-
CompArch 2011-2012: Federated Events on Component-Based Software Engineering and Software Architecture
2011 (Boulder, Colorado, USA), 2012 (Bertinoro, Italy)
Role - Steering Committee member
-
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
-
FESCA 2009-2012: 6th-9th 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)
Role - Program committee co-chair, Workshop co-organizer
-
WCOP 2010-2012: 15-17th International Doctoral Symposium on Components and Architecture
Doctoral Symposium of CompArch 2010 (Prague, Czech Republic), 2011 (Boulder, Colorado, USA), 2012 (Bertinoro, Italy)
Role - Program committee co-chair, Workshop co-organizer
Selected Publications
- 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.
- F. Brosch, B. Buhnova, H. Koziolek, and R. Reussner. Parameterized Reliability Prediction for Component-based Software Architectures. In Proceedings of the International ACM SIGSOFT Conference on the Quality of Software Architectures (QoSA'11), pages 75-84. ACM, June 2011. ISBN 978-1-4503-0724-6.
- 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.
- L. Kapova and B. Buhnova. Performance-Driven Stepwise Refinement of Component-Based Architectures. In Proceedings of the International Workshop on the Quality of Service-Oriented Software Systems (QUASOSS'10), article no. 4. ACM, October 2010. ISBN 978-1-4503-0239-5.
- 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
http://www.muni.cz/people/39394/publications.
© Bara Buhnova, 2005-2011
