Lukas Westhofen

Orcid: 0000-0003-1065-4182

Affiliations:
  • German Aerospace Center (DLR), Institute of Systems Engineering for Future Mobility, Oldenburg, Germany
  • OFFIS - Institute for Information Technology, Oldenburg, Germany (former)
  • RWTH Aachen University, Aachen, Germany (former)


According to our database1, Lukas Westhofen authored at least 12 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Topllet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries.
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2023
On Quantification for SOTIF Validation of Automated Driving Systems.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

2022
Grasping Causality for the Explanation of Criticality for Automated Driving.
CoRR, 2022

Using Ontologies for the Formalization and Recognition of Criticality for Automated Driving.
CoRR, 2022

2021
Criticality Metrics for Automated Driving: A Review and Suitability Analysis of the State of the Art.
CoRR, 2021

6-Layer Model for a Structured Description and Categorization of Urban Traffic and Environment.
IEEE Access, 2021

Criticality Analysis for the Verification and Validation of Automated Vehicles.
IEEE Access, 2021

2020
Criticality Analysis of Occlusion Phenomenon at T-Intersection.
Dataset, December, 2020

Benchmarking Software Model Checkers on Automotive Code.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Fundamental Considerations around Scenario-Based Testing for Automated Driving.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

2016
Bounded Model Checking for Probabilistic Programs.
Proceedings of the Automated Technology for Verification and Analysis, 2016


  Loading...