Bounded Model Checking for Probabilistic Programs. - Nils Jansen 001; Christian Dehnert; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Lukas Westhofen 001 (ATVA, 2016)

Fundamental Considerations around Scenario-Based Testing for Automated Driving. - Christian Neurohr; Lukas Westhofen 001; Tabea Henning; Thies de Graaff; Eike Möhlmann; Eckard Böde (IV, 2020)

Benchmarking Software Model Checkers on Automotive Code. - Lukas Westhofen 001; Philipp Berger 002; Joost-Pieter Katoen (NFM, 2020)

Criticality Analysis of Occlusion Phenomenon at T-Intersection. - Lukas Westhofen 001 (IEEE DataPort, 2020)

Criticality Analysis for the Verification and Validation of Automated Vehicles. - Christian Neurohr; Lukas Westhofen 001; Martin Butz; Martin Bollmann; Ulrich Eberle; Roland Galbas (IEEE Access, 2021)

6-Layer Model for a Structured Description and Categorization of Urban Traffic and Environment. - Maike Scholtes; Lukas Westhofen 001; Lara Ruth Turner; Katrin Lotto; Michael Schuldes; Hendrik Weber; Nicolas Wagener; Christian Neurohr; Martin Bollmann; Franziska Körtke; Johannes Hiller; Michael Hoss; et al. (IEEE Access, 2021)

Criticality Metrics for Automated Driving: A Review and Suitability Analysis of the State of the Art. - Lukas Westhofen 001; Christian Neurohr; Tjark Koopmann; Martin Butz; Barbara Schütt; Fabian Utesch; Birte Kramer; Christian Gutenkunst; Eckard Böde (CoRR, 2021)

Using Ontologies for the Formalization and Recognition of Criticality for Automated Driving. - Lukas Westhofen 001; Christian Neurohr; Martin Butz; Maike Scholtes; Michael Schuldes (CoRR, 2022)

On Quantification for SOTIF Validation of Automated Driving Systems. - Lina Putze; Lukas Westhofen 001; Tjark Koopmann; Eckard Böde; Christian Neurohr (IV, 2023)

Topllet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries. - Lukas Westhofen 001; Christian Neurohr; Jean Christoph Jung; Daniel Neider (NFM, 2024)

Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains. - Lukas Westhofen 001; Christian Neurohr; Jean Christoph Jung; Daniel Neider (TACAS (1), 2024)

Temporal Conjunctive Query Answering via Rewriting. - Lukas Westhofen 001; Jean Christoph Jung; Daniel Neider (AAAI, 2025)

Grasping Causality for the Explanation of Criticality for Automated Driving. - Tjark Koopmann; Lina Putze; Lukas Westhofen 001; Roman Gansch; Ahmad Adee; Christian Neurohr (IEEE Access, 2025)

TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems. - Philipp Borchers; Tjark Koopmann; Lukas Westhofen 001; Jan Steffen Becker; Lina Putze; Dominik Grundt; Thies de Graaff; Vincent Kalwa; Christian Neurohr (Sci. Comput. Program., 2025)

On Scenario Formalisms for Automated Driving. - Christian Neurohr; Lukas Westhofen 001; Tjark Koopmann; Eike Möhlmann; Eckard Böde; Axel Hahn (CoRR, 2025)