Generating Modelica Models from Software Specifications for the Simulation of Cyber-Physical Systems. - Uwe Pohlmann; Jörg Holtmann; Matthias Meyer 001; Christopher Gerking (EUROMICRO-SEAA, 2014)

The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems. - Steffen Becker 001; Stefan Dziwok; Christopher Gerking; Christian Heinzemann; Wilhelm Schäfer; Matthias Meyer 001; Uwe Pohlmann (ICSE Companion, 2014)

A tool suite for the model-driven software engineering of cyber-physical systems. - Stefan Dziwok; Christopher Gerking; Steffen Becker 001; Sebastian Thiele 002; Christian Heinzemann; Uwe Pohlmann (SIGSOFT FSE, 2014)

Solving the Movie Database Case with QVTo. - Christopher Gerking; Christian Heinzemann (TTC@STAF, 2014)

Domain-Specific Model Checking for Cyber-Physical Systems. - Christopher Gerking; Wilhelm Schäfer; Stefan Dziwok; Christian Heinzemann (MoDeVVa@MoDELS, 2015)

Model-driven test case design for model-to-model semantics preservation. - Christopher Gerking; Jan Ladleif; Wilhelm Schäfer (A-TEST@SIGSOFT FSE, 2015)

Towards Safe Execution of Reconfigurations in Cyber-Physical Systems. - David Schubert; Christian Heinzemann; Christopher Gerking (CBSE, 2016)

Traceability of Information Flow Requirements in Cyber-Physical Systems Engineering. - Christopher Gerking (MoDELS (Doctoral Symposium), 2016)

Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities. - Christopher Gerking; David Schubert; Ingo Budde (ICMT, 2017)

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. - Stefano Schivo; Bugra M. Yildiz; Enno Ruijters; Christopher Gerking; Rajesh Kumar 012; Stefan Dziwok; Arend Rensink; Mariëlle Stoelinga (SETTA, 2017)

Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems. - Christopher Gerking; David Schubert (ECSA, 2018)

Model Checking the Information Flow Security of Real-Time Systems. - Christopher Gerking; David Schubert; Eric Bodden (ESSoS, 2018)

Towards ensuring security by design in cyber-physical systems engineering processes. - Johannes Geismann; Christopher Gerking; Eric Bodden (ICSSP, 2018)

Specification of Information Flow Security Policies in Model-Based Systems Engineering. - Christopher Gerking (STAF Workshops, 2018)

Heuristic Inference of Model Transformation Definitions from Type Mappings. - Christopher Gerking; Ingo Budde (MoDELS (Companion), 2019)

Model-driven information flow security engineering for cyber-physical systems. - Christopher Gerking (2020)

Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures. - Christopher Gerking; David Schubert (Software Engineering, 2021)

A Model-Based Framework for Simplified Collaboration of Legal and Software Experts in Data Protection Assessments. - Nicolas Boltz; Leonie Sterz; Christopher Gerking; Oliver Raabe (GI-Jahrestagung, 2022)

An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security. - Nicolas Boltz; Sebastian Hahner; Christopher Gerking; Robert Heinrich (ECSA (Tracks, Workshops and Doctoral Symposium), 2023)

Tool-Supported Architecture-Based Data Flow Analysis for Confidentiality. - Felix Schwickerath; Nicolas Boltz; Sebastian Hahner; Maximilian Walter; Christopher Gerking; Robert Heinrich (CoRR, 2023)

Designing Automotive Case Studies for Architectural Security Analyses. - Nicolas Boltz; Maximilian Walter; Christopher Gerking (Softwaretechnik-Trends, 2023)

Modeling and Analyzing Zero Trust Architectures Regarding Performance and Security. - Nicolas Boltz; Larissa Schmid; Bahareh Taghavi; Christopher Gerking; Robert Heinrich (ECSA, 2024)

How Do Asynchronous Communication Models Impact the Composability of Information Flow Security? - Lena Gerlach; Christopher Gerking (FACS, 2024)

Kfeature: Rendering the Kconfig System into Feature Models. - Kaan Berk Yaman; Jan Willem Wittler; Christopher Gerking (VaMoS, 2024)

A data-driven active learning approach to reusing ML solutions in scientific applications. - Hamideh Hajiabadi; Christopher Gerking; Lennart Hilbert; Anne Koziolek (J. Syst. Softw., 2024)

Scaling Information Flow Control By-Construction to Component-Based Software Architectures. - Rasmus C. Rønneberg; Tabea Bordis; Christopher Gerking; Asmae Heydari Tabar; Ina Schaefer (FORTE, 2025)