Institut für Softwaretechnik und Programmiersprachen

Organisationsprofil

Über uns

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

Strategische Forschungsbereiche und Zentren

  • Zentren: Zentrum für Künstliche Intelligenz Lübeck (ZKIL)
  • Querschnittsbereich: Intelligente Systeme

Fingerprint

Ergründen Sie die Forschungsthemen, in denen Institut für Softwaretechnik und Programmiersprachen aktiv ist. Diese Themenbezeichnungen stammen aus den Arbeiten der Mitglieder dieser Organisation. Zusammen bilden sie einen einzigartigen Fingerprint.
Vollständigen Fingerprint anzeigen

Kooperationen und Spitzenforschungsbereiche der letzten fünf Jahre

Internationale Kooperationspartner der letzten fünf Jahre auf einen Blick - die Auswahl eines Punktes zeigt inhaltliche Details zur wissenschaftlichen Zusammenarbeit.
Netzwerk genauer erkunden
Alle 33 Personen anzeigen
Alle 296 Publikationen anzeigen
  • 4 Abgeschlossen
Alle 4 Projekte anzeigen