We use cookies on our website. Some are necessary for the operation of the website. You can also allow cookies for statistical purposes. You can adjust the data protection settings or agree to all cookies directly.
Institute for Software Engineering and Programming Languages (ISP)
Institution
Section overview
Description
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
Activities
- Research
Parent institution
Coordinated projects
Contact
Institute for Software Engineering and Programming Languages
(ISP)
Maria-Goeppert-Str. 3
23562 Lübeck
Schleswig-Holstein
Germany
Phone: +49 451 3101-6500
Email: office(@)isp.uni-luebeck.de