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.

A main application area concerns energy informatics, especially e-mobility, for which we develop routing- and further optimization algorithms and solutions, for example

• Green Navigation
• Fleet Optimization
• Android-based Car-PC

More details can be found on our project pages.