Christian Heinzemann
Title
Cited by
Cited by
Year
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
662017
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
472013
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
382017
Executing reconfigurations in hierarchical component architectures
C Heinzemann, S Becker
Proceedings of the 16th International ACM Sigsoft symposium on Component …, 2013
352013
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, 2014
342014
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, 2014
342014
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
322014
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
252012
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
202013
The MechatronicUML Method–Process
S Becker, C Brenner, S Dziwok, T Gewering, C Heinzemann, U Pohlmann, ...
Syntax, and Semantics. Technical Report tr-ri-12-318, Software Engineering …, 2012
192012
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
192011
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
172012
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
172012
Reachability analysis on timed graph transformation systems
C Heinzemann, J Suck, T Eckardt
Electronic Communications of the EASST 32, 2011
172011
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
162012
Domain-Specific Model Checking for Cyber-Physical Systems.
C Gerking, W Schäfer, S Dziwok, C Heinzemann
MoDeVVa@ MoDELS, 18-27, 2015
152015
A tool suite for the model-driven software engineering of cyber-physical systems
S Dziwok, C Gerking, S Becker, S Thiele, C Heinzemann, U Pohlmann
Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations …, 2014
152014
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
152013
Automata-based refinement checking for real-time systems
C Heinzemann, C Brenner, S Dziwok, W Schäfer
Computer Science-Research and Development 30 (3-4), 255-283, 2015
142015
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
142013
The system can't perform the operation now. Try again later.
Articles 1–20