Publikationen pro Jahr
Publikationen pro Jahr
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
UN-Ziele für nachhaltige Entwicklung
2015 einigten sich UN-Mitgliedstaaten auf 17 globale Ziele für nachhaltige Entwicklung (Sustainable Development Goals, SDGs) zur Beendigung der Armut, zum Schutz des Planeten und zur Förderung des allgemeinen Wohlstands. Unsere Arbeit leistet einen Beitrag zu folgendem(n) SDG(s):
Fingerprint
Ergründen Sie die Forschungsthemen, in denen Institut für Softwaretechnik und Programmiersprachen aktiv ist. Diese Themenbezeichnungen stammen aus den Arbeiten der Mitglieder dieser Organisation. Zusammen bilden sie einen einzigartigen Fingerprint.
Kooperationen und Spitzenforschungsbereiche der letzten fünf Jahre
Internationale Kooperationspartner der letzten fünf Jahre auf einen Blick - die Auswahl eines Punktes zeigt inhaltliche Details zur wissenschaftlichen Zusammenarbeit.
Publikationen
-
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. (Hrsg.). SPIE, Band 12879. S. 1287906 1 S.Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung
-
Evidence gaps in conservative non-pharmacological interventions and guideline implementation for high-burden non-communicable diseases: protocol for an overview of reviews
Döding, R., Braun, T., Ehrenbrusthoff, K., Elsner, B., Kopkow, C., Lange, T., Lüdtke, K., Jung, A., Miller, C., Owen, P. J., Saueressig, T., Schäfer, A., Schäfer, R., Schleimer, T., Shala, R., Szikszay, T., Zebisch, J. & Belavý, D. L., 2024, in: BMJ open sport & exercise medicine. 10, 4, S. e002032Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung
-
Guidelines for the development and validation of patient-reported outcome measures: a scoping review
Jung, A., Challoumas, D., Pagels, L., Armijo-Olivo, S., Braun, T. & Luedtke, K., 2024, in: BMJ Evidence-Based Medicine. bmjebm-2023-112681.Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung
Projekte
- 3 Abgeschlossen
-
KI SIGS - KI-Space für intelligente Gesundheitssysteme
Leucker, M. (Sprecher*in, Koordinator*in), Koch, R. (Projektleiter*in (PI)), Martinetz, T. (Projektleiter*in (PI)), Dembinski, R. (Projektleiter*in (PI)), Glüer, C. C. (Projektleiter*in (PI)), Buschschlüter, S. (Projektleiter*in (PI)), Rostalski, P. (Projektleiter*in (PI)), Modersitzki, J. (Projektleiter*in (PI)), Gerkmann, T. (Projektleiter*in (PI)) & Steinicke, F. (Projektleiter*in (PI))
01.04.20 → 31.12.23
Projekt: Projekte aus Bundesmitteln › Projekte aus Mitteln der Bundesministerien: BMWK
-
Emmy Noether-Nachwuchsgruppe: Constraintbasierte Modelle und Algorithmen für Selbstdiagnose und -Planung in eingebetteten Systemen und Softwaresystemen
Sachenbacher, M. (Sprecher*in, Koordinator*in)
01.01.06 → 31.12.14
Projekt: DFG-Projekte › DFG-Stipendien: Emmy Noether-Programm
-
Methoden zur modellbasierten Programmierung autonomer Systeme
Sachenbacher, M. (Projektleiter*in (PI))
01.01.02 → 31.12.05
Projekt: DFG-Projekte › DFG-Stipendien: Research Fellowships
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: YouTube, online-TV, Websites