Christopher Gerking
Christopher Gerking
Verified email at upb.de
Title
Cited by
Cited by
Year
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
312014
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
302014
Domain-Specific Model Checking for Cyber-Physical Systems.
C Gerking, W Schäfer, S Dziwok, C Heinzemann
MoDeVVa@ MoDELS, 18-27, 2015
142015
Transparent Uppaal-based verification of MechatronicUML models
C Gerking
Master's thesis, University of Paderborn, 2013
142013
Generating Modelica models from software specifications for the simulation of cyber-physical systems
U Pohlmann, J Holtmann, M Meyer, C Gerking
2014 40th EUROMICRO Conference on Software Engineering and Advanced …, 2014
132014
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
122014
Towards ensuring security by design in cyber-physical systems engineering processes
J Geismann, C Gerking, E Bodden
Proceedings of the 2018 International Conference on Software and System …, 2018
112018
How to efficiently build a front-end tool for UPPAAL: a model-driven approach
S Schivo, BM Yildiz, E Ruijters, C Gerking, R Kumar, S Dziwok, A Rensink, ...
International Symposium on Dependable Software Engineering: Theories, Tools …, 2017
112017
Towards safe execution of reconfigurations in cyber-physical systems
D Schubert, C Heinzemann, C Gerking
2016 19th International ACM SIGSOFT Symposium on Component-Based Software …, 2016
82016
Model checking the information flow security of real-time systems
C Gerking, D Schubert, E Bodden
International Symposium on Engineering Secure Software and Systems, 27-43, 2018
62018
Traceability of Information Flow Requirements in Cyber-Physical Systems Engineering.
C Gerking
DS@ MoDELS, 2016
62016
Solving the Movie Database Case with QVTo.
C Gerking, C Heinzemann
TTC@ STAF, 98-102, 2014
42014
Component-based refinement and verification of information-flow security policies for cyber-physical microservice architectures
C Gerking, D Schubert
2019 IEEE International Conference on Software Architecture (ICSA), 61-70, 2019
32019
Towards preserving information flow security on architectural composition of cyber-physical systems
C Gerking, D Schubert
European Conference on Software Architecture, 147-155, 2018
32018
Integration hybrider modellierungstechniken in camel-view
M Tichy, M Hirsch, C Brink, W Schäfer, C Gerking, M Hahn
Entwurf mechatronischer Systeme, HNI-Verlagsschriftenreihe 272, 235-251, 0
3
Domain-specific model checking of MECHATRONICUML models using UPPAAL
S Dziwok, C Gerking, C Heinzemann
Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn …, 2015
22015
Model-driven test case design for model-to-model semantics preservation
C Gerking, J Ladleif, W Schäfer
Proceedings of the 6th International Workshop on Automating Test Case Design …, 2015
12015
Industrial Security by Design
C Gerking, E Bodden, W Schäfer
Handbuch Gestaltung digitaler und vernetzter Arbeitswelten, 139-162, 2020
2020
Heuristic Inference of Model Transformation Definitions from Type Mappings
C Gerking, I Budde
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
2019
Explainability and Testing
C Gerking, I Gerostathopoulos, J Karlsson, N Khakpour, M Lochau, ...
Explainable Software for Cyber-Physical Systems (ES4CPS), 10, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20