![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Christopher Gerking
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2020
- [b1]Christopher Gerking:
Model-driven information flow security engineering for cyber-physical systems. University of Paderborn, Germany, 2020
Journal Articles
- 2024
- [j2]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: 111986 (2024) - 2023
- [j1]Nicolas Boltz, Maximilian Walter, Christopher Gerking:
Designing Automotive Case Studies for Architectural Security Analyses. Softwaretechnik-Trends 43(4) (2023)
Conference and Workshop Papers
- 2024
- [c20]Kaan Berk Yaman
, Jan Willem Wittler
, Christopher Gerking
:
Kfeature: Rendering the Kconfig System into Feature Models. VaMoS 2024: 134-138 - 2023
- [c19]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: 342-358 - 2022
- [c18]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: 521-532 - 2021
- [c17]Christopher Gerking
, David Schubert:
Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures. Software Engineering 2021: 43-44 - 2019
- [c16]Christopher Gerking
, David Schubert:
Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures. ICSA 2019: 61-70 - [c15]Christopher Gerking
, Ingo Budde
:
Heuristic Inference of Model Transformation Definitions from Type Mappings. MoDELS (Companion) 2019: 182-188 - 2018
- [c14]Christopher Gerking
, David Schubert:
Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems. ECSA 2018: 147-155 - [c13]Christopher Gerking
, David Schubert, Eric Bodden:
Model Checking the Information Flow Security of Real-Time Systems. ESSoS 2018: 27-43 - [c12]Johannes Geismann, Christopher Gerking
, Eric Bodden:
Towards ensuring security by design in cyber-physical systems engineering processes. ICSSP 2018: 123-127 - [c11]Christopher Gerking
:
Specification of Information Flow Security Policies in Model-Based Systems Engineering. STAF Workshops 2018: 617-632 - 2017
- [c10]Christopher Gerking
, David Schubert, Ingo Budde
:
Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities. ICMT 2017: 19-34 - [c9]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: 319-336 - 2016
- [c8]David Schubert, Christian Heinzemann, Christopher Gerking
:
Towards Safe Execution of Reconfigurations in Cyber-Physical Systems. CBSE 2016: 33-38 - [c7]Christopher Gerking:
Traceability of Information Flow Requirements in Cyber-Physical Systems Engineering. MoDELS (Doctoral Symposium) 2016 - 2015
- [c6]Christopher Gerking, Wilhelm Schäfer, Stefan Dziwok, Christian Heinzemann:
Domain-Specific Model Checking for Cyber-Physical Systems. MoDeVVa@MoDELS 2015: 18-27 - [c5]Christopher Gerking
, Jan Ladleif, Wilhelm Schäfer:
Model-driven test case design for model-to-model semantics preservation. A-TEST@SIGSOFT FSE 2015: 1-7 - 2014
- [c4]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: 191-198 - [c3]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: 614-615 - [c2]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: 715-718 - [c1]Christopher Gerking, Christian Heinzemann:
Solving the Movie Database Case with QVTo. TTC@STAF 2014: 98-102
Informal and Other Publications
- 2024
- [i2]Nicolas Boltz
, Sebastian Hahner
, Christopher Gerking, Robert Heinrich:
An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security. CoRR abs/2403.09402 (2024) - 2023
- [i1]Felix Schwickerath, Nicolas Boltz
, Sebastian Hahner
, Maximilian Walter
, Christopher Gerking, Robert Heinrich:
Tool-Supported Architecture-Based Data Flow Analysis for Confidentiality. CoRR abs/2308.01645 (2023)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-07 22:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint