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.