Lukas Panneke

Kontakt

A02 3-338 (» Adresse und Lageplan)

Nach Vereinbarung (Email). Bevorzugt Di, Mi, Do

Sekretariat

Marion Bramkamp

Ulhornsweg 84 - Raum A2 2-228

+49 441 798-2426

Lukas Panneke

Veröffentlichungen

  • [article] bibtex
    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.
    doi: 10.1016/j.scico.2025.103301
  • [article] bibtex
    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.
    doi: 10.3233/FI-242196
  • [thesis] bibtex
    L. Panneke, "Implementing Symbolic Unfoldings of High-level Petri Nets" Master's thesis , Oldenburg, 2023.
  • [thesis] bibtex
    L. Panneke, "Optimization Techniques for Reachability Analysis of Bounded Petri Nets" Bachelor's thesis , Oldenburg, 2021.
Webmaster (Stand: 12.04.2025)  Kurz-URL:Shortlink: https://uol.de/p109145
Zum Seitananfang scrollen Scroll to the top of the page