Dr. Christopher Gerking
- Postdoctoral Researcher
- Head of Laboratory "Engineering Security for Mobility Systems"
- Group: Software Security Engineering
- Room: 239
CS 50.34 - Phone: +49 721 608-45980
- christopher gerking ∂does-not-exist.kit edu
Am Fasanengarten 5
76131 Karlsruhe
Germany
| Title | Type | Semester |
|---|---|---|
| Software Security Engineering | Lecture (V) | SS 2024 |
| Software Security Engineering | Lecture (V) | SS 2023 |
| Empirical Software Engineering | Lecture (V) | WS 22/23 |
| Empirical Software Engineering | Lecture (V) | WS 21/22 |
| Softwaretechnik I | Lecture / Practice (VÜ) | SS 2021 |
| Softwaretechnik I | Lecture / Practice (VÜ) | SS 2020 |
Publications
PhD Theses
Model-Driven Information Flow Security Engineering for Cyber-Physical Systems. PhD dissertation
Gerking, C.
2020. Universität Paderborn. doi:10.17619/UNIPB/1-1033
Gerking, C.
2020. Universität Paderborn. doi:10.17619/UNIPB/1-1033
Journal Articles
A data-driven active learning approach to reusing ML solutions in scientific applications
Hajiabadi, H.; Gerking, C.; Hilbert, L.; Koziolek, A.
2024. Journal of Systems and Software, 211, Article no: 111986. doi:10.1016/j.jss.2024.111986
Hajiabadi, H.; Gerking, C.; Hilbert, L.; Koziolek, A.
2024. Journal of Systems and Software, 211, Article no: 111986. doi:10.1016/j.jss.2024.111986
Conference Papers
Kfeature: Rendering the Kconfig System into Feature Models
Yaman, K. B.; Wittler, J. W.; Gerking, C.
2024. VaMoS ’24: Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 134 – 138, Association for Computing Machinery (ACM). doi:10.1145/3634713.3634731
Yaman, K. B.; Wittler, J. W.; Gerking, C.
2024. VaMoS ’24: Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 134 – 138, Association for Computing Machinery (ACM). doi:10.1145/3634713.3634731
An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security
Boltz, N.; Hahner, S.; Gerking, C.; Heinrich, R.
2024. Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium : Istanbul, Turkey, September 18–22, 2023, Revised Selected Papers. Ed.: B. Tekinerdoğan, 342–358, Springer. doi:10.1007/978-3-031-66326-0_21
Boltz, N.; Hahner, S.; Gerking, C.; Heinrich, R.
2024. Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium : Istanbul, Turkey, September 18–22, 2023, Revised Selected Papers. Ed.: B. Tekinerdoğan, 342–358, Springer. doi:10.1007/978-3-031-66326-0_21
Modeling and Analyzing Zero Trust Architectures Regarding Performance and Security
Boltz, N.; Schmid, L.; Taghavi, B.; Gerking, C.; Heinrich, R.
2024. Software Architecture : 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3–6, 2024 ; Proceedings. Ed.: M. Galster, 253–269, Springer. doi:10.1007/978-3-031-70797-1_17
Boltz, N.; Schmid, L.; Taghavi, B.; Gerking, C.; Heinrich, R.
2024. Software Architecture : 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3–6, 2024 ; Proceedings. Ed.: M. Galster, 253–269, Springer. doi:10.1007/978-3-031-70797-1_17
Designing Automotive Case Studies for Architectural Security Analyses
Boltz, N.; Walter, M.; Gerking, C.
2023. 14th Symposium on Software Performance 2023 (SSP 2023), Karlsruhe, 6th-8th November 2023, 23–25
Boltz, N.; Walter, M.; Gerking, C.
2023. 14th Symposium on Software Performance 2023 (SSP 2023), Karlsruhe, 6th-8th November 2023, 23–25
A Model-Based Framework for Simplified Collaboration of Legal and Software Experts in Data Protection Assessments
Boltz, N.; Sterz, L.; Gerking, C.; Raabe, O.
2022. INFORMATIK 2022, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik. Ed.: D. Demmler, 521–532, Gesellschaft für Informatik (GI). doi:10.18420/inf2022_44
Boltz, N.; Sterz, L.; Gerking, C.; Raabe, O.
2022. INFORMATIK 2022, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik. Ed.: D. Demmler, 521–532, Gesellschaft für Informatik (GI). doi:10.18420/inf2022_44
Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures
Gerking, C.; Schubert, D.
2021. A. Koziolek, I. Schaefer & C. Seidl (Eds.), Software Engineering 2021 : Fachtagung 22.-26. Februar 2020 Braunschweig/Virtuell / Anne Koziolek, Ina Schaefer, Christoph Seidl, 43–44, Gesellschaft für Informatik (GI). doi:10.18420/SE2021_10
Gerking, C.; Schubert, D.
2021. A. Koziolek, I. Schaefer & C. Seidl (Eds.), Software Engineering 2021 : Fachtagung 22.-26. Februar 2020 Braunschweig/Virtuell / Anne Koziolek, Ina Schaefer, Christoph Seidl, 43–44, Gesellschaft für Informatik (GI). doi:10.18420/SE2021_10
Heuristic Inference of Model Transformation Definitions from Type Mappings
Gerking, C.; Budde, I.
2019. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems companion : 15-20 September 2019, Munich, Germany : proceedings. Ed.: L. Burgueño, 182–188, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/MODELS-C.2019.00031
Gerking, C.; Budde, I.
2019. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems companion : 15-20 September 2019, Munich, Germany : proceedings. Ed.: L. Burgueño, 182–188, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/MODELS-C.2019.00031
Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures
Gerking, C.; Schubert, D.
2019. IEEE International Conference on Software Architecture : ICSA 2019 : 25-29 March 2019, Hamburg, Germany : proceedings. Ed.: Matthias Riebisch, 61–70, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA.2019.00015
Gerking, C.; Schubert, D.
2019. IEEE International Conference on Software Architecture : ICSA 2019 : 25-29 March 2019, Hamburg, Germany : proceedings. Ed.: Matthias Riebisch, 61–70, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA.2019.00015
Specification of Information Flow Security Policies in Model-Based Systems Engineering
Gerking, C.
2018. M. Mazzara, I. Ober & G. Salaün (Eds.), Software technologies: applications and foundations: STAF 2018 collocated workshops, Toulouse, France, June 25-29, 2018 : revised selected papers. Ed.: Manuel Mazzara, 617–632, Springer. doi:10.1007/978-3-030-04771-9_47
Gerking, C.
2018. M. Mazzara, I. Ober & G. Salaün (Eds.), Software technologies: applications and foundations: STAF 2018 collocated workshops, Toulouse, France, June 25-29, 2018 : revised selected papers. Ed.: Manuel Mazzara, 617–632, Springer. doi:10.1007/978-3-030-04771-9_47
Towards ensuring security by design in cyber-physical systems engineering processes
Geismann, J.; Gerking, C.; Bodden, E.
2018. M. Kuhrmann, R. V. O’Connor & D. Houston (Eds.), Proceedings of the 2018 International Conference on Software and System Process (ICSSP ’18) : Gothenburg, Sweden, May 26 - 27, 2018. Ed.: Marco Kuhrmann, 123–127, Association for Computing Machinery (ACM). doi:10.1145/3202710.3203159
Geismann, J.; Gerking, C.; Bodden, E.
2018. M. Kuhrmann, R. V. O’Connor & D. Houston (Eds.), Proceedings of the 2018 International Conference on Software and System Process (ICSSP ’18) : Gothenburg, Sweden, May 26 - 27, 2018. Ed.: Marco Kuhrmann, 123–127, Association for Computing Machinery (ACM). doi:10.1145/3202710.3203159
Model Checking the Information Flow Security of Real-Time Systems
Gerking, C.; Schubert, D.; Bodden, E.
2018. M. Payer, A. Rashid & J. M. Such (Eds.), Engineering Secure Software and Systems : 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings. Ed.: Mathias Payer, 27–43, Springer. doi:10.1007/978-3-319-94496-8_3
Gerking, C.; Schubert, D.; Bodden, E.
2018. M. Payer, A. Rashid & J. M. Such (Eds.), Engineering Secure Software and Systems : 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings. Ed.: Mathias Payer, 27–43, Springer. doi:10.1007/978-3-319-94496-8_3
Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems
Gerking, C.; Schubert, D.
2018. C. E. Cuesta, D. Garlan & J. Pérez (Eds.), Software Architecture : 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings. Ed. by Carlos E. Cuesta, David Garlan, Jennifer Pérez, 147–155, Springer. doi:10.1007/978-3-030-00761-4_10
Gerking, C.; Schubert, D.
2018. C. E. Cuesta, D. Garlan & J. Pérez (Eds.), Software Architecture : 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings. Ed. by Carlos E. Cuesta, David Garlan, Jennifer Pérez, 147–155, Springer. doi:10.1007/978-3-030-00761-4_10
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach
Schivo, S.; Yildiz, B. M.; Ruijters, E.; Gerking, C.; Kumar, R.; Dziwok, S.; Rensink, A.; Stoelinga, M.
2017. Dependable software engineering : theories, tools, and applications$dThird International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings. Ed.: K. G. Larsen, 319–336, Springer. doi:10.1007/978-3-319-69483-2_19
Schivo, S.; Yildiz, B. M.; Ruijters, E.; Gerking, C.; Kumar, R.; Dziwok, S.; Rensink, A.; Stoelinga, M.
2017. Dependable software engineering : theories, tools, and applications$dThird International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings. Ed.: K. G. Larsen, 319–336, Springer. doi:10.1007/978-3-319-69483-2_19
Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities
Gerking, C.; Schubert, D.; Budde, I.
2017. E. Guerra & M. van den Brand (Eds.), 10th International Conference, ICMT 2017, held as part of STAF 2017, Marburg, Germany, July 17-18, 2017 : proceedings, 19–34, Springer. doi:10.1007/978-3-319-61473-1_2
Gerking, C.; Schubert, D.; Budde, I.
2017. E. Guerra & M. van den Brand (Eds.), 10th International Conference, ICMT 2017, held as part of STAF 2017, Marburg, Germany, July 17-18, 2017 : proceedings, 19–34, Springer. doi:10.1007/978-3-319-61473-1_2
Traceability of Information Flow Requirements in Cyber-Physical Systems Engineering
Gerking, C.
2016. S. Nejati & R. Salay (Eds.), Proceedings of the Doctoral Symposium at the 19th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems 2016 (MoDELS 2016), 7 S., Universität Paderborn
Gerking, C.
2016. S. Nejati & R. Salay (Eds.), Proceedings of the Doctoral Symposium at the 19th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems 2016 (MoDELS 2016), 7 S., Universität Paderborn
Towards Safe Execution of Reconfigurations in Cyber-Physical Systems
Schubert, D.; Heinzemann, C.; Gerking, C.
2016. 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2016, 33–38, IEEE Computer Society. doi:10.1109/CBSE.2016.10
Schubert, D.; Heinzemann, C.; Gerking, C.
2016. 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2016, 33–38, IEEE Computer Society. doi:10.1109/CBSE.2016.10
Model-driven test case design for model-to-model semantics preservation
Gerking, C.; Ladleif, J.; Schäfer, W.
2015. A-TEST 2015: Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation. Ed.: T. E. J. Vos, 1–7, Association for Computing Machinery (ACM). doi:10.1145/2804322.2804323
Gerking, C.; Ladleif, J.; Schäfer, W.
2015. A-TEST 2015: Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation. Ed.: T. E. J. Vos, 1–7, Association for Computing Machinery (ACM). doi:10.1145/2804322.2804323
Domain-Specific Model Checking for Cyber-Physical Systems
Gerking, C.; Schäfer, W.; Dziwok, S.; Heinzemann, C.
2015. M. Famelis, D. Ratiu, M. Seidl & G. M. K. Selim (Eds.), Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, 18–27, RWTH Aachen
Gerking, C.; Schäfer, W.; Dziwok, S.; Heinzemann, C.
2015. M. Famelis, D. Ratiu, M. Seidl & G. M. K. Selim (Eds.), Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, 18–27, RWTH Aachen
Solving the Movie Database Case with QVTo
Gerking, C.; Heinzemann, C.
2014. TTC 2014 - Transformation Tool Contest : Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, York, United Kingdom, July 25, 2014. Ed.: L.M. Rose, 98–102, RWTH Aachen
Gerking, C.; Heinzemann, C.
2014. TTC 2014 - Transformation Tool Contest : Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, York, United Kingdom, July 25, 2014. Ed.: L.M. Rose, 98–102, RWTH Aachen
A tool suite for the model-driven software engineering of cyber-physical systems
Dziwok, S.; Gerking, C.; Becker, S.; Thiele, S.; Heinzemann, C.; Pohlmann, U.
2014. S.-C. Cheung, A. Orso & M.-A. D. Storey (Eds.), Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE-22, 715–718, Association for Computing Machinery (ACM). doi:10.1145/2635868.2661665
Dziwok, S.; Gerking, C.; Becker, S.; Thiele, S.; Heinzemann, C.; Pohlmann, U.
2014. S.-C. Cheung, A. Orso & M.-A. D. Storey (Eds.), Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE-22, 715–718, Association for Computing Machinery (ACM). doi:10.1145/2635868.2661665
The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems
Becker, S.; Dziwok, S.; Gerking, C.; Heinzemann, C.; Schäfer, W.; Meyer, M.; Pohlmann, U.
2014. P. Jalote, L. C. Briand & A. van der Hoek (Eds.), 36th International Conference on Software Engineering, ICSE ’14, Companion Proceedings, 614–615, Association for Computing Machinery (ACM). doi:10.1145/2591062.2591142
Becker, S.; Dziwok, S.; Gerking, C.; Heinzemann, C.; Schäfer, W.; Meyer, M.; Pohlmann, U.
2014. P. Jalote, L. C. Briand & A. van der Hoek (Eds.), 36th International Conference on Software Engineering, ICSE ’14, Companion Proceedings, 614–615, Association for Computing Machinery (ACM). doi:10.1145/2591062.2591142
Generating Modelica Models from Software Specifications for the Simulation of Cyber-Physical Systems
Pohlmann, U.; Holtmann, J.; Meyer, M.; Gerking, C.
2014. 40th EUROMICRO Conference on Software Engineering and Advanced Applications, Verona, Italy, 27-29 Aug. 2014, 191–198, IEEE Computer Society. doi:10.1109/SEAA.2014.18
Pohlmann, U.; Holtmann, J.; Meyer, M.; Gerking, C.
2014. 40th EUROMICRO Conference on Software Engineering and Advanced Applications, Verona, Italy, 27-29 Aug. 2014, 191–198, IEEE Computer Society. doi:10.1109/SEAA.2014.18
Book Chapters
How Do Asynchronous Communication Models Impact the Composability of Information Flow Security?
Gerlach, L.; Gerking, C.
2024. Formal Aspects of Component Software – 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings. Ed.: D. Marmsoler, 127 – 145, Springer Nature Switzerland. doi:10.1007/978-3-031-71261-6_8
Gerlach, L.; Gerking, C.
2024. Formal Aspects of Component Software – 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings. Ed.: D. Marmsoler, 127 – 145, Springer Nature Switzerland. doi:10.1007/978-3-031-71261-6_8
Industrial Security by Design – Nachverfolgbare Informationssicherheit für Cyber-Physische Produktionssysteme
Gerking, C.; Bodden, E.; Schäfer, W.
2020. Handbuch Gestaltung digitaler und vernetzter Arbeitswelten. Hrsg.: G. W. Maier, 139–162, Springer. doi:10.1007/978-3-662-52979-9_8
Gerking, C.; Bodden, E.; Schäfer, W.
2020. Handbuch Gestaltung digitaler und vernetzter Arbeitswelten. Hrsg.: G. W. Maier, 139–162, Springer. doi:10.1007/978-3-662-52979-9_8
Industrial Security by Design : Nachverfolgbare Informationssicherheit für Cyber-Physische Produktionssysteme
Gerking, C.; Bodden, E.; Schäfer, W.
2018. Handbuch Gestaltung digitaler und vernetzter Arbeitswelten. Hrsg.: G. W. Maier, 1–24, Springer. doi:10.1007/978-3-662-52903-4_8-1
Gerking, C.; Bodden, E.; Schäfer, W.
2018. Handbuch Gestaltung digitaler und vernetzter Arbeitswelten. Hrsg.: G. W. Maier, 1–24, Springer. doi:10.1007/978-3-662-52903-4_8-1
| Engineering Secure Systems (KASTEL-ESS) | Helmholtz Association |
| Software-Defined Car (SofDCar) | Federal Ministry for Economic Affairs and Climate Action (BMWK) |
| Eclipse QVT Operational (QVTo) | Eclipse Foundation |
| Title | Subject | Supervisor | Person in Charge |
|---|---|---|---|
| Spezifikation und Analyse fahrzeugbezogener Datenflussrichtlinien auf Basis der Vehicle Signal Specification | Data flow, automotive software engineering | N.N. | |
| Zeitbehaftete Informationsflussanalyse zur genauen Erkennung von verdeckten Zeitkanälen | Information flow security, timed systems | N.N. | |
| Maschinelles Lernen von Modelltransformationen aus Transformationsdefinitionen | Machine learning, model-driven software development | N.N. | |
| Kosten-Nutzen-Analyse imperativer Modelltransformationssprachen | Model-driven software development | N.N. |