( en | de | ru )

 

Disambiguation of "Heinzemann, Christian"

Author of the publication

copydeleteadd this publication to your clipboard
Specification and refinement checking of dynamic systems

, , and . Proceedings of the 7th International Fujaba Days, (2009)

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)Modeling and verifying dynamic communication structures based on graph transformations., , , , , and . Comput. Sci. Res. Dev., 28 (1): 3-22 (2013)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)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)A Flow-based Credibility Metric for Safety-critical Pedestrian Detection., , , , and . CoRR, (2024)Instance Segmentation in CARLA: Methodology and Analysis for Pedestrian-oriented Synthetic Data Generation in Crowded Scenes., , , , and . ICCVW, page 988-996. IEEE, (2021)SOCA: Domain Analysis for Highly Automated Driving Systems., , , , , , and . ITSC, page 1-6. IEEE, (2020)Towards threat metric evaluation in complex urban scenarios., , , , and . ITSC, page 1192-1198. IEEE, (2021)