Christopher Gerking

31 papers A 1B 4C 2Misc 1Journal 6Unranked 16

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Enabling a model-driven workflow for ongoing interdisciplinary collaboration in legal threat modeling. Inf. Softw. Technol. Nicolas Boltz, Leonie Sterz, Oliver Raabe, Christopher Gerking
2026	J	`jnl`	Towards Leveraging LLMs to Generate Abstract Penetration Test Cases from Software Architecture. CoRR Mahdi Jafari, Rahul Sharma, Sami Naim, Christopher Gerking, Ralf Reussner
2025	C	`conf`	Scaling Information Flow Control By-Construction to Component-Based Software Architectures. FORTE Rasmus C. Rønneberg, Tabea Bordis, Christopher Gerking, Asmae Heydari Tabar, Ina Schaefer
2025	B	`conf`	Towards Legal Knowledge Transfer Based on Software Architecture. ECSA Nicolas Boltz, Janne Wagner, Leonie Sterz, Oliver Raabe, Christopher Gerking
2024	J	`jnl`	A data-driven active learning approach to reusing ML solutions in scientific applications. J. Syst. Softw. Hamideh Hajiabadi, Christopher Gerking, Lennart Hilbert, Anne Koziolek
2024	J	`jnl`	An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security. CoRR Nicolas Boltz, Sebastian Hahner, Christopher Gerking, Robert Heinrich
2024	—	`conf`	How Do Asynchronous Communication Models Impact the Composability of Information Flow Security? FACS Lena Gerlach, Christopher Gerking
2024	—	`conf`	Kfeature: Rendering the Kconfig System into Feature Models. VaMoS Kaan Berk Yaman, Jan Willem Wittler, Christopher Gerking
2024	B	`conf`	Modeling and Analyzing Zero Trust Architectures Regarding Performance and Security. ECSA Nicolas Boltz, Larissa Schmid, Bahareh Taghavi, Christopher Gerking, Robert Heinrich
2023	—	`conf`	An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security. ECSA (Tracks, Workshops and Doctoral Symposium) Nicolas Boltz, Sebastian Hahner, Christopher Gerking, Robert Heinrich
2023	J	`jnl`	Designing Automotive Case Studies for Architectural Security Analyses. Softwaretechnik-Trends Nicolas Boltz, Maximilian Walter, Christopher Gerking
2023	J	`jnl`	Tool-Supported Architecture-Based Data Flow Analysis for Confidentiality. CoRR Felix Schwickerath, Nicolas Boltz, Sebastian Hahner, Maximilian Walter, Christopher Gerking, Robert Heinrich
2022	—	`conf`	A Model-Based Framework for Simplified Collaboration of Legal and Software Experts in Data Protection Assessments. GI-Jahrestagung Nicolas Boltz, Leonie Sterz, Christopher Gerking, Oliver Raabe
2021	C	`conf`	Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures. Software Engineering Christopher Gerking, David Schubert
2020	—	`—`	Model-driven information flow security engineering for cyber-physical systems. Christopher Gerking
2019	A	`conf`	Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures. ICSA Christopher Gerking, David Schubert
2019	—	`conf`	Heuristic Inference of Model Transformation Definitions from Type Mappings. MoDELS (Companion) Christopher Gerking, Ingo Budde
2018	—	`conf`	Model Checking the Information Flow Security of Real-Time Systems. ESSoS Christopher Gerking, David Schubert, Eric Bodden
2018	—	`conf`	Specification of Information Flow Security Policies in Model-Based Systems Engineering. STAF Workshops Christopher Gerking
2018	B	`conf`	Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems. ECSA Christopher Gerking, David Schubert
2018	B	`conf`	Towards ensuring security by design in cyber-physical systems engineering processes. ICSSP Johannes Geismann, Christopher Gerking, Eric Bodden
2017	Misc	`conf`	How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. SETTA Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Mariëlle Stoelinga
2017	—	`conf`	Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities. ICMT Christopher Gerking, David Schubert, Ingo Budde
2016	—	`conf`	Towards Safe Execution of Reconfigurations in Cyber-Physical Systems. CBSE David Schubert, Christian Heinzemann, Christopher Gerking
2016	—	`conf`	Traceability of Information Flow Requirements in Cyber-Physical Systems Engineering. MoDELS (Doctoral Symposium) Christopher Gerking
2015	—	`conf`	Domain-Specific Model Checking for Cyber-Physical Systems. MoDeVVa@MoDELS Christopher Gerking, Wilhelm Schäfer, Stefan Dziwok, Christian Heinzemann
2015	—	`conf`	Model-driven test case design for model-to-model semantics preservation. A-TEST@SIGSOFT FSE Christopher Gerking, Jan Ladleif, Wilhelm Schäfer
2014	—	`conf`	A tool suite for the model-driven software engineering of cyber-physical systems. SIGSOFT FSE Stefan Dziwok, Christopher Gerking, Steffen Becker, Sebastian Thiele, Christian Heinzemann, Uwe Pohlmann
2014	—	`conf`	Generating Modelica Models from Software Specifications for the Simulation of Cyber-Physical Systems. EUROMICRO-SEAA Uwe Pohlmann, Jörg Holtmann, Matthias Meyer, Christopher Gerking
2014	—	`conf`	Solving the Movie Database Case with QVTo. TTC@STAF Christopher Gerking, Christian Heinzemann
2014	—	`conf`	The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems. ICSE Companion Steffen Becker, Stefan Dziwok, Christopher Gerking, Christian Heinzemann, Wilhelm Schäfer, Matthias Meyer, Uwe Pohlmann