Research output per year
Research output per year
Personal profile
Scientific Focus
- 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
Research Areas and Centers
- Centers: Center for Artificial Intelligence Luebeck (ZKIL)
Fingerprint
Dive into the research topics where Martin Leucker is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
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. (eds.). SPIE, Vol. 12627. p. 126270IResearch output: Chapters in Books/Reports/Conference Proceedings › Conference contribution
-
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, p. 58375-58418 44 p.Research output: Journal Articles › Journal articles › Research › peer-review
2 Citations (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. (eds.).Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
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, p. 113-129.Research output: Contribution to conference › Conference Papers › peer-review
-
Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Bartocci, E. (ed.), Falcone, Y. (ed.) & Leucker, M. (ed.), 2021, Springer. (Lecture Notes in Computer Science)(Formal Methods in Outer Space)Research output: Books/Anthologies/Proceedings/Theses › Anthologies › peer-review
Press/Media
-
KI-SIGS YouTube Channel
Martin Leucker, Ralf Möller, Thomas Martinetz, Stefan Fischer & Floris Ernst
01.01.20
1 Media contribution
Press/Media: Media activity