Seguir
Christian Heinzemann
Título
Citado por
Citado por
Año
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
1502017
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
842017
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
602019
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
532022
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
512013
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
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
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
322020
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
282021
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
282012
Domain-Specific Model Checking for Cyber-Physical Systems.
C Gerking, W Schäfer, S Dziwok, C Heinzemann
MoDeVVa@ models, 18-27, 2015
272015
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
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
222012
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
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
212021
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
212013
Transactional execution of hierarchical reconfigurations in cyber-physical systems
C Heinzemann, S Becker, A Volk
Software & Systems Modeling 18, 157-189, 2019
202019
Reusing dynamic communication protocols in self-adaptive embedded component architectures
C Heinzemann, S Henkler
Proceedings of the 14th international ACM Sigsoft symposium on Component …, 2011
202011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20