Lukas Westhofen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Test Coverage of Automated Robotic Systems in Open World Environments. | Lukas Westhofen, Till Schallau, Dominik Schmid, Stefan Naujokat, Falk Howar, Daniel Neider |
| 2025 | AAAI | Temporal Conjunctive Query Answering via Rewriting. | Lukas Westhofen, Jean Christoph Jung, Daniel Neider |
| 2024 | TACAS | Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains. | Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider |
| 2016 | ATVA | Bounded Model Checking for Probabilistic Programs. | Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen |