Lukas Panneke // University of Oldenburg

Research Interests

Semantics of parallel programs

Weak memory models
Programming languages
Compilers
Software verification

Publications

[inproceedings] bibtex
L. Panneke and H. Wehrheim, "jMT: Testing Correctness of Java Memory Models" in Proc. TACAS'26, 2026.
doi: 10.1007/978-3-032-22749-2_13
@inproceedings{java-memory-tester, author = {Lukas Panneke and Heike Wehrheim}, title = {{jMT}: Testing Correctness of Java Memory Models}, editor = {Sebastian Junges and Guy Katz}, booktitle = {{TACAS}'26}, pages = {257--276}, publisher = {Springer}, series = {LNCS 16506}, year = {2026}, doi = {10.1007/978-3-032-22749-2_13}, }
[misc] bibtex
L. Panneke and H. Wehrheim, jMT: Testing Correctness of Java Memory Models (Extended Version).
doi: 10.48550/arXiv.2604.15978
@misc{java-memory-tester-extended, author = {Lukas Panneke and Heike Wehrheim}, title = {{jMT}: Testing Correctness of Java Memory Models (Extended Version)}, journal = {CoRR}, eprinttype = {arXiv}, eprint = {2604.15978}, eprintclass = {cs.PL}, year = {2026}, doi = {10.48550/arXiv.2604.15978}, }
[misc] bibtex
L. Panneke and H. Wehrheim, jMT: Testing Correctness of Java Memory Models (Artifact)Zenodo.
doi: 10.5281/zenodo.17437917
@misc{java-memory-tester-artifact, author = {Lukas Panneke and Heike Wehrheim}, title = {{jMT}: Testing Correctness of Java Memory Models (Artifact)}, publisher = {Zenodo}, year = {2025}, month = oct, doi = {10.5281/zenodo.17437917}, }
[inproceedings] bibtex
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
@inproceedings{scenario-monitoring-ships, author = {Anna Austel and Lukas Panneke and Janusz Piotrowski and Nina Wetzig and Bernd Westphal and Matthias Steidel}, title = {Using Monitoring of Maritime Traffic Scenarios in the Validation of Maritime Systems}, editor = {Dimitris Zissis and Yannis Theodoridis and Joao Sousa}, booktitle = {2025 Symposium on Maritime Informatics and Robotics (MARIS)}, pages = {1--8}, publisher = {IEEE}, year = {2025}, doi = {10.1109/MARIS64137.2025.11139541}, }
[article] bibtex
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
@article{scenario-monitoring-cars, author = {Ralf Stemmer and Ishan Saxena and Lukas Panneke and Dominik Grundt and Anna Austel and Eike Möhlmann and Bernd Westphal}, title = {Runtime monitoring of complex scenario-based requirements for autonomous driving functions}, journal = {Science of Computer Programming}, volume = {244}, year = {2025}, doi = {10.1016/j.scico.2025.103301}, }
[article] bibtex
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
@article{symbolic-unfolding-cfp, author = {Nick Würdemann and Thomas Chatain and Stefan Haar and Lukas Panneke}, title = {Taking Complete Finite Prefixes To High Level, Symbolically}, journal = {Fundamenta Informaticae}, volume = {192}, number = {3--4}, pages = {313--361}, year = {2024}, doi = {10.3233/FI-242196}, biburl = {https://dblp.org/rec/journals/corr/abs-2311-11443.bib},