Christopher Gerking

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 18

Top Topics

Information Flow

Security Policies

Top Venues

ECSA (Tracks, Workshops and Doctoral Symposium)

Softwaretechnik-Trends

Publications

Nicolas Boltz, Sebastian Hahner, Christopher Gerking, Robert Heinrich
An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security. CoRR (2024)
Hamideh Hajiabadi, Christopher Gerking, Lennart Hilbert, Anne Koziolek
A data-driven active learning approach to reusing ML solutions in scientific applications. J. Syst. Softw. 211 (2024)
Kaan Berk Yaman, Jan Willem Wittler, Christopher Gerking
Kfeature: Rendering the Kconfig System into Feature Models. VaMoS (2024)
Nicolas Boltz, Sebastian Hahner, Christopher Gerking, Robert Heinrich
An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security. ECSA (Tracks, Workshops and Doctoral Symposium) (2023)
Felix Schwickerath, Nicolas Boltz, Sebastian Hahner, Maximilian Walter, Christopher Gerking, Robert Heinrich
Tool-Supported Architecture-Based Data Flow Analysis for Confidentiality. CoRR (2023)
Nicolas Boltz, Maximilian Walter, Christopher Gerking
Designing Automotive Case Studies for Architectural Security Analyses. Softwaretechnik-Trends 43 (4) (2023)
Nicolas Boltz, Leonie Sterz, Christopher Gerking, Oliver Raabe
A Model-Based Framework for Simplified Collaboration of Legal and Software Experts in Data Protection Assessments. GI-Jahrestagung (2022)
Christopher Gerking, David Schubert
Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures. Software Engineering (2021)
Christopher Gerking, David Schubert
Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures. ICSA (2019)
Christopher Gerking, Ingo Budde
Heuristic Inference of Model Transformation Definitions from Type Mappings. MoDELS (Companion) (2019)
Christopher Gerking
Specification of Information Flow Security Policies in Model-Based Systems Engineering. STAF Workshops (2018)
Christopher Gerking, David Schubert, Eric Bodden
Model Checking the Information Flow Security of Real-Time Systems. ESSoS (2018)
Johannes Geismann, Christopher Gerking, Eric Bodden
Towards ensuring security by design in cyber-physical systems engineering processes. ICSSP (2018)
Christopher Gerking, David Schubert
Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems. ECSA (2018)
Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Mariëlle Stoelinga
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. SETTA (2017)
Christopher Gerking, David Schubert, Ingo Budde
Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities. ICMT (2017)
David Schubert, Christian Heinzemann, Christopher Gerking
Towards Safe Execution of Reconfigurations in Cyber-Physical Systems. CBSE (2016)
Christopher Gerking
Traceability of Information Flow Requirements in Cyber-Physical Systems Engineering. MoDELS (Doctoral Symposium) (2016)
Christopher Gerking, Jan Ladleif, Wilhelm Schäfer
Model-driven test case design for model-to-model semantics preservation. A-TEST@SIGSOFT FSE (2015)
Christopher Gerking, Wilhelm Schäfer, Stefan Dziwok, Christian Heinzemann
Domain-Specific Model Checking for Cyber-Physical Systems. MoDeVVa@MoDELS (2015)
Christopher Gerking, Christian Heinzemann
Solving the Movie Database Case with QVTo. TTC@STAF (2014)
Stefan Dziwok, Christopher Gerking, Steffen Becker, Sebastian Thiele, Christian Heinzemann, Uwe Pohlmann
A tool suite for the model-driven software engineering of cyber-physical systems. SIGSOFT FSE (2014)
Uwe Pohlmann, Jörg Holtmann, Matthias Meyer, Christopher Gerking
Generating Modelica Models from Software Specifications for the Simulation of Cyber-Physical Systems. EUROMICRO-SEAA (2014)
Steffen Becker, Stefan Dziwok, Christopher Gerking, Christian Heinzemann, Wilhelm Schäfer, Matthias Meyer, Uwe Pohlmann
The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems. ICSE Companion (2014)