Folgen
Christian Heinzemann
Titel
Zitiert von
Zitiert von
Jahr
Making the case for safety of machine learning in highly automated driving
S Burton, L Gauerhof, C Heinzemann
Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE …, 2017
1682017
Provably safe motion of mobile robots in human environments
SB Liu, H Roehm, C Heinzemann, I Lütkebohle, J Oehlerking, M Althoff
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017
852017
Experience paper: Search-based testing in automated driving control applications
C Gladisch, T Heinz, C Heinzemann, J Oehlerking, A von Vietinghoff, ...
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
692019
Inspect, understand, overcome: A survey of practical methods for ai safety
S Houben, S Abrecht, M Akila, A Bär, F Brockherde, P Feifel, ...
Deep Neural Networks and Data for Automated Driving: Robustness, Uncertainty …, 2022
682022
Modeling and verifying dynamic communication structures based on graph transformations
T Eckardt, C Heinzemann, S Henkler, M Hirsch, C Priesterjahn, W Schäfer
Computer Science-Research and Development 28, 3-22, 2013
502013
Leveraging combinatorial testing for safety-critical computer vision datasets
C Gladisch, C Heinzemann, M Herrmann, M Woehrle
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2020
432020
Executing reconfigurations in hierarchical component architectures
C Heinzemann, S Becker
Proceedings of the 16th International ACM Sigsoft symposium on Component …, 2013
392013
The mechatronicuml method: Model-driven software engineering of self-adaptive mechatronic systems
S Becker, S Dziwok, C Gerking, C Heinzemann, W Schäfer, M Meyer, ...
Companion Proceedings of the 36th International Conference on Software …, 2014
372014
The MechatronicUML design method-process and language for platform-independent modeling
S Becker, S Dziwok, C Gerking, C Heinzemann, S Thiele, W Schäfer, ...
Technical Repeport tr-ri-14-337, 1-368, 2014
362014
From evaluation to verification: Towards task-oriented relevance metrics for pedestrian detection in safety-critical domains
M Lyssenko, C Gladisch, C Heinzemann, M Woehrle, R Triebel
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2021
332021
Story diagrams-syntax and semantics
M von Detten, C Heinzemann, MC Platenius, J Rieke, D Travkin, ...
Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn …, 2012
302012
Domain-Specific Model Checking for Cyber-Physical Systems.
C Gerking, W Schäfer, S Dziwok, C Heinzemann
MoDeVVa@ models, 18-27, 2015
282015
SOCA: Domain analysis for highly automated driving systems
M Butz, C Heinzemann, M Herrmann, J Oehlerking, M Rittel, N Schalm, ...
2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020
232020
A discipline-spanning development process for self-adaptive mechatronic systems
C Heinzemann, O Sudmann, W Schäfer, M Tichy
Proceedings of the 2013 International Conference on Software and System …, 2013
232013
Testing deep learning-based visual perception for automated driving
S Abrecht, L Gauerhof, C Gladisch, K Groh, C Heinzemann, M Woehrle
ACM Transactions on Cyber-Physical Systems (TCPS) 5 (4), 1-28, 2021
222021
Runtime safety analysis for safe reconfiguration
C Priesterjahn, C Heinzemann, W Schäfer, M Tichy
IEEE 10th International Conference on Industrial Informatics, 1092-1097, 2012
222012
The MechatronicUML Design Method–Process
S Becker, C Brenner, C Brink, S Dziwok, C Heinzemann, R Löffler, ...
Syntax, and Semantics. Technical report, Software Engineering Group, Heinz …, 2012
212012
Transactional execution of hierarchical reconfigurations in cyber-physical systems
C Heinzemann, S Becker, A Volk
Software & Systems Modeling 18, 157-189, 2019
202019
From timed automata to timed failure propagation graphs
C Priesterjahn, C Heinzemann, W Schäfer
16th IEEE International Symposium on Object/component/service-oriented Real …, 2013
202013
Towards modeling reconfiguration in hierarchical component architectures
C Heinzemann, C Priesterjahn, S Becker
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software …, 2012
202012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20