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
UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. Our work contributes towards the following SDG(s):
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
-
Detection of spoiled food along the supply chain with novel sensors for packed food
Altmann, A., Khodaygani, M., Leucker, M., Schell, C. & Rahmanzadeh, R., 2024, Photonic Technologies in Plant and Agricultural Science. Heinemann, D. & Polder, G. (eds.). SPIE, Vol. 12879. p. 1287906 1 p.Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
Consensus on the definition and assessment of external validity of randomized controlled trials: A Delphi study
Jung, A., Braun, T., Armijo-Olivo, S., Challoumas, D. & Luedtke, K., 25.12.2023, In: Research Synthesis Methods.Research output: Journal Articles › Journal articles › Research › peer-review
-
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
Projects
- 3 Finished
-
KI SIGS - Space for Intelligent Health Systems
Leucker, M., Koch, R., Martinetz, T., Dembinski, R., Glüer, C. C., Buschschlüter, S., Rostalski, P., Modersitzki, J., Gerkmann, T. & Steinicke, F.
01.04.20 → 31.12.23
Project: Projects with Federal Funding › Projects with Federal Ministry Funding: BMWK
-
Emmy Noether Research Group: Constraint-based models and algorithms for self-diagnosis and self-scheduling in embedded and software systems
01.01.06 → 31.12.14
Project: DFG Projects › DFG Scholarships: Emmy Noether Programme
-
Methods for model-based programming of autonomous systems
01.01.02 → 31.12.05
Project: DFG Projects › DFG Scholarships: Research 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 Content › Online Video Content: YouTube, Channels, Websites