L. Panneke und H. Wehrheim, "jMT: Testing Correctness of Java Memory Models" in Proc. TACAS'26, 2026.
doi: 10.1007/978-3-032-22749-2_13

L. Panneke und H. Wehrheim, jMT: Testing Correctness of Java Memory Models (Extended Version).
doi: 10.48550/arXiv.2604.15978

L. Panneke und H. Wehrheim, jMT: Testing Correctness of Java Memory Models (Artifact)Zenodo.
doi: 10.5281/zenodo.17437917

A. Austel, L. Panneke, J. Piotrowski, N. Wetzig, B. Westphal, und M. Steidel, "Using Monitoring of Maritime Traffic Scenarios in the Validation of Maritime Systems" in Proc. 2025 Symposium on Maritime Informatics and Robotics (MARIS), 2025.
doi: 10.1109/MARIS64137.2025.11139541

R. Stemmer, I. Saxena, L. Panneke, D. Grundt, A. Austel, E. Möhlmann, und B. Westphal, "Runtime monitoring of complex scenario-based requirements for autonomous driving functions" Science of Computer Programming, vol. 244. 2025.
doi: 10.1016/j.scico.2025.103301

N. Würdemann, T. Chatain, S. Haar, und L. Panneke, "Taking Complete Finite Prefixes To High Level, Symbolically" Fundamenta Informaticae, vol. 192, iss. 3--4. 2024.
doi: 10.3233/FI-242196