( en | de | ru )

 

Disambiguation of "Heinzemann, Christian"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development.

, , , , , , , , , and . TACAS (2), volume 14571 of Lecture Notes in Computer Science, page 44-65. Springer, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christian Heinzemann

Jörg Heinzemann

Gisela Heinzemann

Christian Christian

Christian Winter

Gold-katalysierte Cycloisomerisierung funktionalisierter Allene und Anwendung in der Naturstoffsynthese. TU Dortmund, (2009)
 

Other publications of authors with the same name

Leveraging combinatorial testing for safety-critical computer vision datasets., , , and . CVPR Workshops, page 1314-1321. Computer Vision Foundation / IEEE, (2020)Towards Safety-Aware Pedestrian Detection in Autonomous Systems., , , , and . IROS, page 293-300. IEEE, (2022)Artifact for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development"., , , , , , , , , and . (October 2023)Open Questions in Testing of Learned Computer Vision Functions for Automated Driving., , and . SAFECOMP Workshops, volume 11699 of Lecture Notes in Computer Science, page 333-345. Springer, (2019)Modeling and verifying dynamic communication structures based on graph transformations., , , , , and . Comput. Sci. Res. Dev., 28 (1): 3-22 (2013)From Evaluation to Verification: Towards Task-Oriented Relevance Metrics for Pedestrian Detection in Safety-Critical Domains., , , , and . CVPR Workshops, page 38-45. Computer Vision Foundation / IEEE, (2021)vTSL - A Formally Verifiable DSL for Specifying Robot Tasks., and . IROS, page 8308-8314. IEEE, (2018)Automata-Based Refinement Checking for Real-Time Systems., , , and . Software Engineering, volume P-213 of LNI, page 99-112. GI, (2013)Experience Paper: Search-Based Testing in Automated Driving Control Applications., , , , , and . ASE, page 26-37. IEEE, (2019)Transactional execution of hierarchical reconfigurations in cyber-physical systems., , and . Softw. Syst. Model., 18 (1): 157-189 (2019)