Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Westhofen, Lukas
35  Ergebnisse:
Personensuche X
?
1

Topllet: An Optimized Engine for Answering Metric Temporal ..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Westhofen, Lukas ; Neurohr, Christian ; Jung, Jean Christoph. - p. 314-321 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Answering Temporal Conjunctive Queries over Description Log..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Westhofen, Lukas ; Neurohr, Christian ; Jung, Jean Christoph. - p. 167-187 , 2024
Link: https://doi.org/10.1007/..
 
?
3

On Quantification for SOTIF Validation of Automated Driving..:

, In: 2023 IEEE Intelligent Vehicles Symposium (IV),
Putze, Lina ; Westhofen, Lukas ; Koopmann, Tjark.. - p. 1-8 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Implicit Surface Tension for SPH Fluid Simulation:

Jeske, Stefan Rhys ; Westhofen, Lukas ; Löschner, Fabian..
ACM Transactions on Graphics.  43 (2023)  1 - p. 1-14 , 2023
Link: https://doi.org/10.1145/..
 
?
5

A comparison of linear consistent correction methods for fi..:

Westhofen, Lukas ; Jeske, Stefan ; Bender, Jan
Proceedings of the ACM on Computer Graphics and Interactive Techniques.  6 (2023)  3 - p. 1-20 , 2023
Link: https://doi.org/10.1145/..
 
?
6

Leveraging the GIDAS Database for the Criticality Analysis ..:

Babisch, Stefan ; Neurohr, Christian ; Westhofen, Lukas...
Journal of Advanced Transportation.  2023 (2023)  - p. 1-25 , 2023
Link: https://doi.org/10.1155/..
 
?
7

Criticality Metrics for Automated Driving: A Review and Sui..:

Westhofen, Lukas ; Neurohr, Christian ; Koopmann, Tjark...
Archives of Computational Methods in Engineering.  30 (2022)  1 - p. 1-35 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Fast Octree Neighborhood Search for SPH Simulations:

Fernández-Fernández, José Antonio ; Westhofen, Lukas ; Löschner, Fabian...
ACM Transactions on Graphics.  41 (2022)  6 - p. 1-13 , 2022
Link: https://doi.org/10.1145/..
 
?
9

Using Ontologies for the Formalization and Recognition of C..:

Westhofen, Lukas ; Neurohr, Christian ; Butz, Martin..
IEEE Open Journal of Intelligent Transportation Systems.  3 (2022)  - p. 519-538 , 2022
Link: https://doi.org/10.1109/..
 
?
10

Criticality Analysis for the Verification and Validation of..:

Neurohr, Christian ; Westhofen, Lukas ; Butz, Martin...
IEEE Access.  9 (2021)  - p. 18016-18041 , 2021
Link: https://doi.org/10.1109/..
 
?
11

6-Layer Model for a Structured Description and Categorizati..:

Scholtes, Maike ; Westhofen, Lukas ; Turner, Lara Ruth...
IEEE Access.  9 (2021)  - p. 59131-59147 , 2021
Link: https://doi.org/10.1109/..
 
?
12

Benchmarking Software Model Checkers on Automotive Code:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Westhofen, Lukas ; Berger, Philipp ; Katoen, Joost-Pieter - p. 133-150 , 2020
Link: https://doi.org/10.1007/..
 
?
13

Fundamental Considerations around Scenario-Based Testing fo..:

, In: 2020 IEEE Intelligent Vehicles Symposium (IV),
Neurohr, Christian ; Westhofen, Lukas ; Henning, Tabea... - p. 121-127 , 2020
Link: https://doi.org/10.1109/..
 
?
14

Consistent SPH Rigid-Fluid Coupling:

Bender, Jan Stephen ; Westhofen, Lukas ; Jeske, Stefan Rhys
info:eu-repo/semantics/altIdentifier/doi/10.2312/vmv.20231244.  , 2023
Link: https://publications.rwt..
 
?
15

On Quantification for SOTIF Validation of Automated Driving..:

Putze, Lina ; Westhofen, Lukas ; Koopmann, Tjark..
http://arxiv.org/abs/2304.10170.  , 2023
Link: http://arxiv.org/abs/230..
 
1-15