( en | de | ru )

 

Disambiguation of "Heinzemann, Christian"

Author of the publication

copydeleteadd this publication to your clipboard
Automata-based refinement checking for real-time systems.

, , , and . Comput. Sci. Res. Dev., 30 (3-4): 255-283 (2015)

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)vTSL - A Formally Verifiable DSL for Specifying Robot Tasks., and . IROS, page 8308-8314. IEEE, (2018)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)Automata-Based Refinement Checking for Real-Time Systems., , , and . Software Engineering, volume P-213 of LNI, page 99-112. GI, (2013)Transactional execution of hierarchical reconfigurations in cyber-physical systems., , and . Softw. Syst. Model., 18 (1): 157-189 (2019)Using Sensitivity Analysis and Search-Based Testing in the Verification of a Computer Vision Function., and . ICSRS, page 454-463. IEEE, (2023)Experience Paper: Search-Based Testing in Automated Driving Control Applications., , , , , and . ASE, page 26-37. IEEE, (2019)