Research

The ISP focuses on rigorous engineering of hard- and software systems with emphasis on software quality. One of our main interests lies in model-based development with formal verification techniques, in particular

• Model Checking,
• Runtime Verification, and
• Testing.

As main application areas we work in the

• medical
• energy, and
• logistic/mobility

domains. More details can be found on our project pages.