• Gaining knowledge is the highest profession for university members. At any time, we support all kind of new and promising ideas. Our team is working in a highly parallel manner to get the most papers out of each idea.
Research Areas

Research Areas

Today, software is the key innovation driver for many technical systems. While software engineering methods made huge steps forward in pure IT domains, software development tools, methods and processes for software in technical applications did not change a lot in the last two decades. To face this problem, we are using, adapting and extending methods known from modern software engineering and formal methods of computer science. We are focusing on three - in our opinion - utterly important topics to achieve this goal.

Weiterlesen
Projects

Projects

We are currently working on a number of projects. A list of the actual topics can be found here.

Weiterlesen
Publications

Publications

During the years, our research lead to a number of publications at conferences and journals. Publishing ideas and results is the main resource for fruitful discussions and feedback from the worldwide research community.

Weiterlesen