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
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
-
Fluorescence based detection of gaseous food spoilage indicators
Altmann, A., Khodaygani, M., Leucker, M., Schell, C. & Rahmanzadeh, R., 2023, Translational Biophotonics: Diagnostics and Therapeutics III. Huang, Z. & Lilge, L. D. (eds.). SPIE, Vol. 12627. p. 126270IResearch output: Chapters in Books/Reports/Conference Proceedings › Conference contribution
-
Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Challenges and Solutions
Petersen, E., Potdevin, Y., Mohammadi, E., Zidowitz, S., Breyer, S., Nowotka, D., Henn, S., Pechmann, L., Leucker, M., Rostalski, P. & Herzog, C., 2022, In: IEEE Access. 10, p. 58375-58418 44 p.Research output: Journal Articles › Journal articles › Research › peer-review
2 Citations (Scopus) -
AI-Lab - An Ecosystem for Managing AI projects
Leucker, M. & Ostanina, M., 2021, INFORMATIK 2021: Managing Artificial Intelligence. Giffen, B. V., Koehler, J., Brenner, W. & Albayrak, C. A. (eds.).Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
KI SIGS - Space for Intelligent Health Systems
01.04.20 → …
Project: Industrial Research & Development › Industrial Collaboration
-
Methods for model-based programming of autonomous systems
01.01.02 → 31.12.05
Project: DFG Funding › DFG Fellowships
Press/Media
-
KI-SIGS YouTube Channel
Martin Leucker, Ralf Möller, Thomas Martinetz, Stefan Fischer & Floris Ernst
01.01.20
1 Media contribution
Press/Media: Media activity