Publikationen pro Jahr
Publikationen pro Jahr
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.
-
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
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