Christian Heinzemann
Orcid: 0000-0003-2144-6215
According to our database1,
Christian Heinzemann
authored at least 52 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
8
2
2
1
1
1
1
2
1
2
4
4
2
1
2
2
1
3
6
3
1
1
1
2
2
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Supplementary Material for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development".
Dataset, January, 2024
Supplementary Material for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development".
Dataset, January, 2024
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024
2023
Artifact for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development".
Dataset, October, 2023
Supplementary Material for TACAS Submission "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development".
Dataset, October, 2023
Artifact for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development".
Dataset, October, 2023
Using Sensitivity Analysis and Search-Based Testing in the Verification of a Computer Vision Function.
Proceedings of the 7th International Conference on System Reliability and Safety, 2023
2022
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022
2021
ACM Trans. Cyber Phys. Syst., 2021
CoRR, 2021
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021
On the Necessity of Explicit Artifact Links in Safety Assurance Cases for Machine Learning.
Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021
Instance Segmentation in CARLA: Methodology and Analysis for Pedestrian-oriented Synthetic Data Generation in Crowded Scenes.
Proceedings of the IEEE/CVF International Conference on Computer Vision Workshops, 2021
From Evaluation to Verification: Towards Task-Oriented Relevance Metrics for Pedestrian Detection in Safety-Critical Domains.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2021
2020
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020
Proceedings of the IEEE Intelligent Vehicles Symposium, 2020
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020
Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020
2019
Softw. Syst. Model., 2019
Open Questions in Testing of Learned Computer Vision Functions for Automated Driving.
Proceedings of the Computer Safety, Reliability, and Security, 2019
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
2018
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018
2017
Proceedings of the Computer Safety, Reliability, and Security, 2017
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017
2016
Combining robotics component-based model-driven development with a model-based performance analysis.
Proceedings of the 2016 IEEE International Conference on Simulation, 2016
Proceedings of the 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2016
2015
Comput. Sci. Res. Dev., 2015
Proceedings of the 12th Workshop on Model-Driven Engineering, 2015
2014
Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014
The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems.
Proceedings of the 36th International Conference on Software Engineering, 2014
Proceedings of the Design Methodology for Intelligent Technical Systems, 2014
Proceedings of the Design Methodology for Intelligent Technical Systems, 2014
2013
Modeling and verifying dynamic communication structures based on graph transformations.
Comput. Sci. Res. Dev., 2013
Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013
Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2013
Proceedings of the International Conference on Software and System Process, 2013
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013
Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013
Proceedings of the CBSE'13, 2013
2012
Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012
Proceedings of the Coordination Models and Languages - 14th International Conference, 2012
Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012
2011
Reusing dynamic communication protocols in self-adaptive embedded component architectures.
Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, 2011
2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Verifikation von Protokollverfeinerungen.
Proceedings of the Informatiktage 2010, 2010
2009
Proceedings of the 31st International Conference on Software Engineering, 2009
2008
Proceedings of the Web Information Systems and Technologies, 4th International Conference, 2008
BSBC: Towards a Succinct Data Format for XML Streams.
Proceedings of the WEBIST 2008, 2008