Travelled to:1 × China
1 × Germany
Collaborated with:D.Schubert C.Heinzemann I.Budde S.Dziwok S.Becker S.Thiele U.Pohlmann
Talks about:physic (4) cyber (4) system (3) architectur (2) toward (2) inform (2) secur (2) refin (2) model (2) flow (2)
Person: Christopher Gerking
DBLP: Gerking:Christopher
Contributed to:
2014
2017
2016
2018
2019Wrote 5 papers:
- FSE-2014-DziwokGBTHP #cyber-physical #modelling #re-engineering
- A tool suite for the model-driven software engineering of cyber-physical systems (SD, CG, SB, ST, CH, UP), pp. 715–718.
- ICMT-2017-GerkingSB #imperative #using
- Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities (CG, DS, IB), pp. 19–34.
- CBSE-2016-SchubertHG #configuration management #cyber-physical #execution #towards
- Towards Safe Execution of Reconfigurations in Cyber-Physical Systems (DS, CH, CG), pp. 33–38.
- ECSA-2018-GerkingS #architecture #composition #cyber-physical #data flow #security #towards
- Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems (CG, DS), pp. 147–155.
- ICSA-2019-GerkingS #architecture #component #cyber-physical #data flow #policy #refinement #security #verification
- Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures (CG, DS), pp. 61–70.