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, 1-368, 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
Domain-Specific Model Checking for Cyber-Physical Systems.
C Gerking, W Schäfer, S Dziwok, C Heinzemann
MoDeVVa@ MoDELS, 18-27, 2015
202015
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
182018
Transparent Uppaal-based verification of MechatronicUML models
C Gerking
Master's thesis, Software Engineering Group, Heinz Nixdorf Institute …, 2013
172013
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
142014
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
132017
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
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
102019
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
92018
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
92016
The MechatronicUML design method: Process and language for platform-independent modeling
S Dziwok, U Pohlmann, G Piskachev, D Schubert, S Thiele, C Gerking
62016
Traceability of Information Flow Requirements in Cyber-Physical Systems Engineering.
C Gerking
DS@ MoDELS, 2016
52016
Solving the Movie Database Case with QVTo.
C Gerking, C Heinzemann
TTC@ STAF, 98-102, 2014
42014
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
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
22015
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
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