Christopher Gerking

According to our database, Christopher Gerking authored at least 25 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Kfeature: Rendering the Kconfig System into Feature Models.

Kaan Berk Yaman, Jan Willem Wittler, Christopher Gerking

Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 2024

How Do Asynchronous Communication Models Impact the Composability of Information Flow Security?

Lena Gerlach, Christopher Gerking

Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

Modeling and Analyzing Zero Trust Architectures Regarding Performance and Security.

Nicolas Boltz, Larissa Schmid, Bahareh Taghavi, Christopher Gerking, Robert Heinrich

Proceedings of the Software Architecture - 18th European Conference, 2024

2023

Designing Automotive Case Studies for Architectural Security Analyses.

Nicolas Boltz, Maximilian Walter, Christopher Gerking

Softwaretechnik-Trends, November, 2023

Tool-Supported Architecture-Based Data Flow Analysis for Confidentiality.

Felix Schwickerath, Nicolas Boltz, Sebastian Hahner, Maximilian Walter, Christopher Gerking, Robert Heinrich

CoRR, 2023

An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security.

Nicolas Boltz, Sebastian Hahner, Christopher Gerking, Robert Heinrich

Proceedings of the Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium, 2023

2022

A Model-Based Framework for Simplified Collaboration of Legal and Software Experts in Data Protection Assessments.

Nicolas Boltz, Leonie Sterz, Christopher Gerking, Oliver Raabe

Proceedings of the 52. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2022, Informatik in den Naturwissenschaften, 26., 2022

2021

Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures.

Christopher Gerking, David Schubert

Proceedings of the Software Engineering 2021, 2021

2020

Model-driven information flow security engineering for cyber-physical systems.

Christopher Gerking

PhD thesis, 2020

2019

Heuristic Inference of Model Transformation Definitions from Type Mappings.

Christopher Gerking, Ingo Budde

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

2018

Specification of Information Flow Security Policies in Model-Based Systems Engineering.

Christopher Gerking

Proceedings of the Software Technologies: Applications and Foundations, 2018

Towards ensuring security by design in cyber-physical systems engineering processes.

Johannes Geismann, Christopher Gerking, Eric Bodden

Proceedings of the 2018 International Conference on Software and System Process, 2018

Model Checking the Information Flow Security of Real-Time Systems.

Christopher Gerking, David Schubert, Eric Bodden

Proceedings of the Engineering Secure Software and Systems - 10th International Symposium, 2018

Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems.

Christopher Gerking, David Schubert

Proceedings of the Software Architecture, 2018

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, Stefan Dziwok, Arend Rensink, Mariëlle Stoelinga

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities.

Christopher Gerking, David Schubert, Ingo Budde

Proceedings of the Theory and Practice of Model Transformation, 2017

2016

Traceability of Information Flow Requirements in Cyber-Physical Systems Engineering.

Christopher Gerking

Proceedings of the Doctoral Symposium at the 19th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems 2016 (MoDELS 2016), 2016

Towards Safe Execution of Reconfigurations in Cyber-Physical Systems.

David Schubert, Christian Heinzemann, Christopher Gerking

Proceedings of the 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2016

2015

Model-driven test case design for model-to-model semantics preservation.

Christopher Gerking, Jan Ladleif, Wilhelm Schäfer

Proceedings of the 6th International Workshop on Automating Test Case Design, 2015

Domain-Specific Model Checking for Cyber-Physical Systems.

Christopher Gerking, Wilhelm Schäfer, Stefan Dziwok, Christian Heinzemann

Proceedings of the 12th Workshop on Model-Driven Engineering, 2015

2014

Solving the Movie Database Case with QVTo.

Christopher Gerking, Christian Heinzemann

Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014

A tool suite for the model-driven software engineering of cyber-physical systems.

Stefan Dziwok, Christopher Gerking, Steffen Becker, Sebastian Thiele, Christian Heinzemann, Uwe Pohlmann

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems.

Steffen Becker, Stefan Dziwok, Christopher Gerking, Christian Heinzemann, Wilhelm Schäfer, Matthias Meyer, Uwe Pohlmann

Proceedings of the 36th International Conference on Software Engineering, 2014

Generating Modelica Models from Software Specifications for the Simulation of Cyber-Physical Systems.

Uwe Pohlmann, Jörg Holtmann, Matthias Meyer, Christopher Gerking

Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014