The Reliable Software Architectures research group (ReliSA) of Department of Computer Science and Engineering of University of West Bohemia focuses on methods and models which help specify, analyse and verify software architectures with high complexity and/or quality requirements.

Creating software which works reliably requires the combination of multiple software engineering approaches, and our unique strength is in a combination of expertise in modular-and component-based systems, static software analysis methods, discrete time simulation, wide range of testing methods, and practical expertise in methodologies of software development. We have a proven track of national and international research projects, close links with leading European groups and collaboration with industrial partners.


The group can be contacted via its senior members. The head of the group is Doc. Ing. Přemysl Brada, MSc., Ph.D.  The official address for snail-mail correspondence is:

Department of Computer Science and Engineering, Faculty of Applied Sciences, University of West Bohemia, Univerzitní 8, 306 14 Plzeň, Czech Republic

To see us in person, you are welcome to visit us at our seminars.


We have an open call for PhD student researcher in evolving service-based systems linked to a recently funded AFarCloud ECSEL project. Please contact Premek Brada if you are interested.

One well-paid 6-month postdoc position is available with our group for research in analysis and verification of software systems, projects and processes. Details at , deadline 1st August 2018.

relisa 2015 wordle


Older news

  • 2016-09-02 -- Jens Dietrich from Massey Uni, New Zealand, finished his 1-month stay with ReliSA, during which we worked on empirical study about the use of design-by-contract in Java.
  • 2016-03-18 - Lukáš Holý defended his PhD thesis Large Component Diagrams Visualization. Congratulations!
  • 2015-10-22 - Pavel Herout, Richard Lipka and Lubos Matejka successfully finished a project concerning integration and load testing of large distributed cash system for the Smart software Ltd. company.
  • 2015-10-07 - Premek Brada, Lukas Holy and Petr Picha successfully finished a project concernig analysis and improvement suggestions to the software development process for the CCA Group a.s. company.
  • ... and the rest is history.