Research Output per year
Research Output per year
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
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
Research output
-
ARCADE—Adversarially Robust Cost-Sensitive Anomaly Detection in Blockchain Using Explainable Artificial Intelligence
Kamran, M., Rehan, M. M., Nisar, W. & Rehan, M. W., 18.04.2025, In: Electronics (Switzerland). 14, 8, 1648.Research output: Journal Articles › Journal articles › Research › peer-review
1 Citation (Scopus)
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