| Making the case for safety of machine learning in highly automated driving S Burton, L Gauerhof, C Heinzemann International Conference on Computer Safety, Reliability, and Security, 5-16, 2017 | 112 | 2017 |
| 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 | 65 | 2017 |
| 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 (1), 3-22, 2013 | 48 | 2013 |
| 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 | 37 | 2014 |
| 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 | 37 | 2014 |
| Executing reconfigurations in hierarchical component architectures C Heinzemann, S Becker Proceedings of the 16th International ACM Sigsoft symposium on Component …, 2013 | 37 | 2013 |
| 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 | 36 | 2019 |
| 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 | 36 | 2014 |
| 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 | 29 | 2012 |
| Inspect, understand, overcome: a survey of practical methods for AI safety S Houben, S Abrecht, M Akila, A Bär, F Brockherde, P Feifel, ... arXiv preprint arXiv:2104.14235, 2021 | 26 | 2021 |
| Domain-Specific Model Checking for Cyber-Physical Systems. C Gerking, W Schäfer, S Dziwok, C Heinzemann MoDeVVa@ models, 18-27, 2015 | 23 | 2015 |
| 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 | 22 | 2013 |
| 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 | 22 | 2012 |
| 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 | 20 | 2013 |
| 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 | 20 | 2012 |
| 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 | 20 | 2011 |
| 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 | 18 | 2012 |
| Generating simulink and stateflow models from software specifications C Heinzemann, U Pohlmann, J Rieke, W Schäfer, O Sudmann, M Tichy DS 70: Proceedings of DESIGN 2012, the 12th International Design Conference …, 2012 | 18 | 2012 |
| Simulating self-adaptive component-based systems using MATLAB/Simulink C Heinzemann, J Rieke, W Schäfer 2013 IEEE 7th International Conference on Self-Adaptive and Self-Organizing …, 2013 | 17 | 2013 |
| The mechatronicuml method-process, syntax S Becker, C Brenner, S Dziwok, T Gewering, C Heinzemann, U Pohlmann, ... and semantics. Technical Report tr-ri-12-318, Software Engineering Group …, 2012 | 17 | 2012 |
