You are here
Home ›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.