Lukas Westhofen
Orcid: 0000-0003-1065-4182Affiliations:
- 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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on github.com
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
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024
2023
Proceedings of the IEEE Intelligent Vehicles Symposium, 2023
2022
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
IEEE Access, 2021
2020
Dataset, December, 2020
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020
Proceedings of the IEEE Intelligent Vehicles Symposium, 2020
2016
Proceedings of the Automated Technology for Verification and Analysis, 2016