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.
-
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
-
Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Bartocci, E. (Hrsg.), Falcone, Y. (Hrsg.) & Leucker, M. (Hrsg.), 2021, Springer. (Lecture Notes in Computer Science)(Formal Methods in Outer Space)Publikation: Bücher/Sammlungen/Gesamtwerke/Habilitations- und Dissertationsschriften › Anthologien › Begutachtung
Projekte
- 1 Laufend
-
KI SIGS - Space für Intelligente Gesundheitssysteme
01.04.20 → 31.12.23
Projekt: Projekte aus Bundesmitteln › Projekte aus Mitteln der Bundesministerien
Presseberichte
-
KI-SIGS YouTube Channel
Martin Leucker, Ralf Möller, Thomas Martinetz, Stefan Fischer & Floris Ernst
01.01.20
1 eigener Medienbeitrag
Presse/Medien: Medienbeitrag