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
Kooperationen und Spitzenforschungsbereiche der letzten fünf Jahre
Publikationen
-
Distributed multi-objective consumer-centric routing for LoRa-based IoT-enabled FANET
Chughtai, O., Rehan, M. W., Naeem, M., Alenezi, A. H. & Haider, S. A., 06.01.2026, in: Future Generation Computer Systems. 179, 108368.Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung
Projekte
- 4 Abgeschlossen
-
KI-BioSense: Qualitätsüberwachung entlang der Lebensmittel-Prozesskette mittels Biosensoren und Künstlicher Intelligenz
Leucker, M. (Projektleiter*in (PI)) & Rahmanzadeh, R. (Projektleiter*in (PI))
01.12.20 → 31.05.24
Projekt: Projekte aus Bundesmitteln › Projekte aus Bundesmitteln: BMLEH (Landwirtschaft, Ernährung und Heimat)
Presseberichte
-
KI-SIGS YouTube Channel
Leucker, M., Möller, R., Martinetz, T., Fischer, S. & Ernst, F.
01.01.20
1 eigener Medienbeitrag
Presse/Medien: Medienbeiträge › Online Video Content: Vlog, Tutorial, YouTube-Channel, online-TV-Beitrag