Publications
Institute Overview
The Institute for Software Engineering and Programming Languages (ISP) is part of the University of Lübeck. We focus on research and teaching in software engineering, programming languages, and related fields.
Professors
- Martin Leucker (Director)
- Diedrich Wolter
Contact Details
Phone
+49 451 3101-6501Address
Building MFC II
Maria-Goeppert-Str. 3
23562 Lübeck
Feel free to contact us for any inquiries about our research, teaching, or collaboration opportunities.
articlepublished
Symbolic runtime verification for monitoring under uncertainties and assumptions
2026Inf. Softw. Technol.
Raik Hipler and Hannes Kallwies and Martin Leucker and Marco Montali and César Sánchez and Sarah Winkler
articlepublished
Project VoLL-KI
2025Künstliche Intell.
Michael Kohlhase and Marc Berges and Jens Grubert and Andreas Henrich and Dieter Landes and Jochen L. Leidner and Florian Mittag and Daniela Nicklas and Ute Schmid and Yvonne Sedlmaier and Achim Ulbrich-vom Ende and Diedrich Wolter
articlepublished
Composable digital twins on Digital Twin as a Service platform
2025Simul.
Prasad Talasila and Cláudio Gomes and Lars Bernd Vosteen and Hannes Iven and Martin Leucker and Santiago Gil and Peter Høgh Mikkelsen and Eduard Kamburjan and Peter Gorm Larsen
inproceedingspublished
The AI Act and Some Implications for Developing AI-Based Systems
2025The Combined Power of Research, Education, and Dissemination - Essays
Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
Martin Leucker
inproceedingspublished
A Note on Runtime Verification of Concurrent Systems
2025Principles of Formal Quantitative Analysis - Essays Dedicated to Christel
Baier on the Occasion of Her 60th Birthday
Martin Leucker
inproceedingspublished
Formal Model of Energy System using Attack Trees
202521st IEEE International Conference on Smart Technologies, EUROCON
2025, Gdynia, Poland, June 4-6, 2025
Aliyu Tanko Ali and Damas P. Gruska and Martin Leucker
inproceedingspublished
Towards Monitoring and Diagnosis of Quantum Digital Twins
202555. Jahrestagung der Gesellschaft für Informatik, INFORMATIK
2025: The Wide Open - Offenheit von Source bis Science, Potsdam, Germany,
September 16-19, 2025
Martin Sachenbacher and Martin Leucker
inproceedingspublished
TwinLang - A Digital Twin Modelling and Management Language
202528th ACM/IEEE International Conference on Model Driven Engineering
Languages and Systems, MODELS 2025 - Companion, Grand Rapids, MI,
USA, October 5-10, 2025
Martin Leucker and Daniel Thoma and Lars Bernd Vosteen
inproceedingspublished
A Practical Approach to Runtime Verification
2025Runtime Verification - 25th International Conference, RV 2025, Graz,
Austria, September 15-19, 2025, Proceedings
Raik Hipler and Hannes Kallwies and Martin Leucker and Kevin Gillian Dommele and Jannis Wien
inproceedingspublished
Inference of Deterministic Finite Automata via Q-Learning
2025Formal Methods: Foundations and Applications - 28th Brazilian Symposium,
SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings
Elaheh Hosseinkhani and Martin Leucker
inproceedingspublished
A Voice-Enabled Query Framework for Systems Engineering Artefacts
2025Bridging the Gap Between AI and Reality - Third International Conference
on Bridging the Gap between AI and Reality, AISoLA 2025, Rhodes,
Greece, November 1-5, 2025, Selected Papers
Lennart Landt and Martin Leucker and Carsten Burchardt
articlepublished
A Note on Runtime Verification of Concurrent Systems
2025CoRR
Martin Leucker
articlepublished
Inference of Deterministic Finite Automata via Q-Learning
2025CoRR
Elaheh Hosseinkhani and Martin Leucker
inproceedingspublished
Concept-Based Explanations in Computer Vision: Where Are We and Where Could We Go?
2024Computer Vision - ECCV 2024 Workshops - Milan, Italy, September
29-October 4, 2024, Proceedings, Part XXI
Jae Hee Lee and Georgii Mikriukov and Gesina Schwalbe and Stefan Wermter and Diedrich Wolter
inproceedingspublished
Decomposing Analogy: A Logic Characterization
2024Foundations of Information and Knowledge Systems - 13th International
Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings
Mena Leemhuis and Diedrich Wolter and Özgür L. Özçep
inproceedingspublished
Model-Based Diagnosis with ASP for Non-groundable Domains
2024Foundations of Information and Knowledge Systems - 13th International
Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings
Moritz Bayerkuhnlein and Diedrich Wolter
inproceedingspublished
From Resolving Inconsistencies in Qualitative Constraints Networks to Identifying Robust Solutions: A Universal Encoding in ASP
2024KI 2024: Advances in Artificial Intelligence - 47th German Conference
on AI, Würzburg, Germany, September 25-27, 2024, Proceedings
Moritz Bayerkuhnlein and Tobias Schwartz and Diedrich Wolter
inproceedingspublished
Rules of Partial Orthomodularity
2024Logic, Language, Information, and Computation - 30th International
Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings
Mena Leemhuis and Diedrich Wolter and Özgür L. Özçep
incollectionpublished
Robotik
2024Künstliche Intelligenz für Lehrkräfte: Eine fachliche
Einführung mit didaktischen Hinweisen
Diedrich Wolter and Udo Frese and Tilman Michaeli
proceedingspublished
Artificial Intelligence. ECAI 2023 International Workshops - XAI(^3), TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I
2024Communications in Computer and Information Science
Page 1 of 15