Startseite > Publikationen > Publikationen

Publikationen von Christopher Gerking

Unsere Publikationen aus dem Jahr 2020:

Unsere Publikationen aus dem Jahr 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 (Details)

Unsere Publikationen aus dem Jahr 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, Nr. 11048 , S. 147-155, 24. - 28. Sep. 2018, Springer (Details)

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), Nr. 10953 , S. 27-43, 26. - 27. Jun. 2018, Springer (Details)

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, Nr. 11176 , S. 617-632, 25. Jun. 2018, Springer (Details)

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 (Hrsg.) International Conference on Software and System Process (ICSSP 2018), S. 123-127, 26. - 27. Mai 2018, ACM (Details)

Unsere Publikationen aus dem Jahr 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 (Hrsg.) Dependable Software Engineering, 3rd International Symposium (SETTA 2017), Lecture Notes in Computer Science, Nr. 10606 , S. 319-336, Changsha, 23. - 25. Okt. 2017, Springer (Details)

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 (Hrsg.) Handbuch Gestaltung digitaler und vernetzter Arbeitswelten, Springer Reference Psychologie Springer, Berlin/Heidelberg, Okt. 2017 (Details)

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 (Hrsg.) Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017), Lecture Notes in Computer Science, Nr. 10374 , S. 19-34, Marburg, 17. - 18. Jul. 2017, Springer (Details)

Unsere Publikationen aus dem Jahr 2016:

Gerking, Christopher: Traceability of Information Flow Requirements in Cyber-Physical Systems Engineering. In: Nejati, Shiva; Salay, Rick (Hrsg.) 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, Nr. 1735 , Saint-Malo, 2. Okt. 2016, ACM/IEEE (Details)

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 (Details)

Unsere Publikationen aus dem Jahr 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 (Hrsg.) Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa 2015), Ottawa, Sep. 2015 (Details)

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 (Hrsg.) 6th International Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST 2015), Bergamo, 30. - 31. Aug. 2015, ACM (Details)

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 (Hrsg.) Software and Systems Traceability for Safety-Critical Projects (Dagstuhl Seminar 15162), Dagstuhl Reports, Band 5 , S. 84, Apr. 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (Details)

Unsere Publikationen aus dem Jahr 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), S. 715--718, 16. - 22. Nov. 2014 (Details)

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 (Details)

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, Band Vol-1305 , Jul. 2014, (Details)

Unsere Publikationen aus dem Jahr 2013:

Unsere Publikationen aus dem Jahr 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, Band 272 , S. 235-251, Mrz. 2010 (Details)