A. Austel, L. Panneke, J. Piotrowski, N. Wetzig, B. Westphal, and 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, and 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, and L. Panneke, "Taking Complete Finite Prefixes To High Level, Symbolically" Fundamenta Informaticae, vol. 192, iss. 3--4. 2024.
doi: 10.3233/FI-242196

L. Panneke, "Implementing Symbolic Unfoldings of High-level Petri Nets" Master's thesis , Oldenburg, 2023.

L. Panneke, "Optimization Techniques for Reachability Analysis of Bounded Petri Nets" Bachelor's thesis , Oldenburg, 2021.