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
Research Areas and Centers
- Centers: Center for Artificial Intelligence Luebeck (ZKIL)
- Research Area: Intelligent Systems
Fingerprint
Collaborations and top research areas from the last five years
Research output
-
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.Research output: Journal Articles › Journal articles › Research › peer-review
Projects
- 4 Finished
-
AI-BioSense: Quality monitoring along the food process chain using biosensors and artificial intelligence
Leucker, M. (Principal Investigator (PI)) & Rahmanzadeh, R. (Principal Investigator (PI))
01.12.20 → 31.05.24
Project: Projects with Federal Funding › Federal Funding: BMLEH (Agriculture, Food and Regional Identity)
Press/Media
-
KI-SIGS YouTube Channel
Leucker, M., Möller, R., Martinetz, T., Fischer, S. & Ernst, F.
01.01.20
1 Media contribution
Press/Media: Media Content › Online Video Content: Vlog, Tutorial, YouTube Channel, online-TV