Institute of Software Engineering and Programming Languages

  • Postal addressShow on map

    Ratzeburger Allee 160, Hs. 64

    23562 Lübeck


Organisation profile

About us

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


Dive into the research topics where Institute of Software Engineering and Programming Languages is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or