!!Research output per year
!!Research output per year
Persönliches Profil
Forschungsinteresse
- software engineering: correct and reliable systems
- formal methods
- theoretical computer science
- verification, especially model checking, runtime verification, and testing
- message sequence charts
- model learning
- energy informatics
Strategische Forschungsbereiche und Zentren
- Zentren: Zentrum für Künstliche Intelligenz Lübeck (ZKIL)
Fingerprint
Fingerprints basieren auf einer Begriffsuche in Textquellen wie Abstracts oder Projektbeschreibungen, um einen Index gewichteter Hauptthemen jedes einzelnen Forschers zu erstellen.
- 1 Ähnliche Profile
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.
-
Cognitive Modeling of Agents: Integrating Emotions, Goals, Needs, and Decision-Making
Khodaygani, M., Ali, A. T., Dohnke, T., Groth, T., Baake, E., Leucker, M. & Russwinkel, N., 2025, in: CEUR Workshop Proceedings. 2025, 4058Publikation: Beiträge in Fachzeitschriften › Konferenzaufsätze in Fachzeitschriften › Forschung › Begutachtung
Projekte
- 2 Abgeschlossen
-
KI-BioSense: Qualitätsüberwachung entlang der Lebensmittel-Prozesskette mittels Biosensoren und Künstlicher Intelligenz
Leucker, M. (Projektleiter*in (PI)) & Rahmanzadeh, R. (Projektleiter*in (PI))
01.12.20 → 31.05.24
Projekt: Projekte aus Bundesmitteln › Projekte aus Bundesmitteln: BMLEH (Landwirtschaft, Ernährung und Heimat)
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: Vlog, Tutorial, YouTube-Channel, online-TV-Beitrag
Organisationen
-
Institut für Softwaretechnik und Programmiersprachen
Organisation: Institute und Kliniken