Home > Publications > Publikationen

Publications of Christopher Gerking

Our publications from 2020:

Our publications from 2019:

Gerking, Christopher; Budde, Ingo: Heuristic Inference of Model Transformation Definitions from Type Mappings. In: Workshop on Artificial Intelligence and Model-driven Engineering (MDE Intelligence 2019), 16 Sep 2019 (more)

Our publications from 2018:

Gerking, Christopher; Schubert, David: Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems. In: European Conference on Software Architecture (ECSA 2018), Lecture Notes in Computer Science, number 11048 , pp. 147-155, Sep 24 - 28, 2018, Springer (more)

Gerking, Christopher; Schubert, David; Bodden, Eric: Model Checking the Information Flow Security of Real-Time Systems. In: International Symposium on Engineering Secure Software and Systems (ESSoS 2018), number 10953 , pp. 27-43, June 26 - 27, 2018, Springer (more)

Gerking, Christopher: Specification of Information Flow Security Policies in Model-Based Systems Engineering. In: International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018), Lecture Notes in Computer Science, number 11176 , pp. 617-632, 25 June 2018, Springer (more)

Geismann, Johannes; Gerking, Christopher; Bodden, Eric: Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes. In: Kuhrmann, Marco; O'Connor, Rory V.; Houston, Dan (eds.) International Conference on Software and System Process (ICSSP 2018), pp. 123-127, May 26 - 27, 2018, ACM (more)

Our publications from 2017:

Schivo, Stefano; Yildiz., Bugra M.; Ruijters, Enno; Gerking, Christopher; Kumar, Rajesh; Dziwok, Stefan; Rensink, Arend; Stoelinga, Mariëlle: How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. In: Larsen, Kim G.; Sokolsky, Oleg; Wang, Ji (eds.) Dependable Software Engineering, 3rd International Symposium (SETTA 2017), Lecture Notes in Computer Science, number 10606 , pp. 319-336, Changsha, Oct 23 - 25, 2017, Springer (more)

Gerking, Christopher; Bodden, Eric; Schäfer, Wilhelm: Industrial Security by Design - Nachverfolgbare Informationssicherheit für Cyber-Physische Produktionssysteme. In: Maier, Günter W.; Engels, Gregor; Steffen, Eckhard (eds.) Handbuch Gestaltung digitaler und vernetzter Arbeitswelten, Springer Reference Psychologie Springer, Berlin/Heidelberg, Oct 2017 (more)

Gerking, Christopher; Schubert, David; Budde, Ingo: Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities. In: Guerra, Esther; van den Brand, Mark (eds.) Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017), Lecture Notes in Computer Science, number 10374 , pp. 19-34, Marburg, July 17 - 18, 2017, Springer (more)

Our publications from 2016:

Gerking, Christopher: Traceability of Information Flow Requirements in Cyber-Physical Systems Engineering. In: Nejati, Shiva; Salay, Rick (eds.) Proceedings of the Doctoral Symposium at the 19th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems 2016 (MoDELS 2016), CEUR Workshop Proceedings, number 1735 , Saint-Malo, 2 Oct 2016, ACM/IEEE (more)

Schubert, David; Heinzemann, Christian; Gerking, Christopher: Towards Safe Execution of Reconfigurations in Cyber-Physical Systems. In: Proceedings of the 19th international ACM Sigsoft symposium on component-based software engineering, Apr 2016, ACM (more)

Our publications from 2015:

Gerking, Christopher; Dziwok, Stefan; Heinzemann, Christian; Schäfer, Wilhelm: Domain-specific Model Checking for Cyber-physical Systems. In: Famelis, Michalis; Ratiu, Daniel; Seidl, Martina; Selim, Gehan (eds.) Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa 2015), Ottawa, Sep 2015 (more)

Gerking, Christopher; Ladleif, Jan; Schäfer, Wilhelm: Model-Driven Test Case Design for Model-to-Model Semantics Preservation. In: Vos, Tanja; Eldh, Sigrid; Prasetya, Wishnu (eds.) 6th International Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST 2015), Bergamo, Aug 30 - 31, 2015, ACM (more)

Gerking, Christopher: Model-to-Model Traceability as a Key Enabler for Domain-Specific Safety Analysis. In: Cleland-Huang, Jane; Rayadurgam, Sanjai; Mäder, Patrick; Schäfer, Wilhelm (eds.) Software and Systems Traceability for Safety-Critical Projects (Dagstuhl Seminar 15162), Dagstuhl Reports, volume 5 , pp. 84, Apr 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (more)

Our publications from 2014:

Dziwok, Stefan; Gerking, Christopher; Becker, Steffen; Thiele, Sebastian; Heinzemann, Christian; Pohlmann, Uwe: A Tool Suite for the Model-Driven Software Engineering of Cyber-Physical Systems. In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), pp. 715--718, Nov 16 - 22, 2014 (more)

Pohlmann, Uwe; Holtmann, Jörg; Meyer, Matthias; Gerking, Christopher: Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems. In: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Aug 2014, IEEE Xplore (more)

Gerking, Christopher; Heinzemann, Christian: Solving the Movie Database Case with QVTo. In: Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, volume Vol-1305 , July 2014, CEUR-WS.org (more)

Our publications from 2013:

Our publications from 2010:

Tichy, Matthias; Hirsch, Martin; Brink, Christopher; Gerking, Christopher; Hahn, Martin; Schäfer, Wilhelm: Integration hybrider Modellierungstechniken in CAMeL-View. In: Seventh Paderborner Workshop Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, volume 272 , pp. 235-251, Mar 2010 (more)