Theo dõi
Christian Heinzemann
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
1712017
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
872017
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
742022
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
722019
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
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
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
392014
Executing reconfigurations in hierarchical component architectures
C Heinzemann, S Becker
Proceedings of the 16th International ACM Sigsoft symposium on Component …, 2013
392013
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
352021
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
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
242021
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
242020
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
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
232012
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 (1), 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
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20