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)
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
-
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. (Hrsg.). SPIE, Band 12627. S. 126270IPublikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag
-
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, S. 58375-58418 44 S.Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung
2 Zitate (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. (Hrsg.).Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung
-
Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search.
Barbot, B., Bollig, B., Finkel, A., Haddad, S., Khmelnitsky, I., Leucker, M., Neider, D., Roy, R. & Ye, L., 2021, S. 113-129.Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung
Projekte
- 1 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
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