| Towards ensuring security by design in cyber-physical systems engineering processes J Geismann, C Gerking, E Bodden Proceedings of the 2018 international conference on software and system …, 2018 | 52 | 2018 |
| The mechatronicuml method: Model-driven software engineering of self-adaptive mechatronic systems S Becker, S Dziwok, C Gerking, C Heinzemann, W Schäfer, M Meyer, ... Companion Proceedings of the 36th International Conference on Software …, 2014 | 39 | 2014 |
| The MechatronicUML design method-process and language for platform-independent modeling S Becker, S Dziwok, C Gerking, C Heinzemann, S Thiele, W Schäfer, ... Technical Repeport tr-ri-14-337, 1-368, 2014 | 36 | 2014 |
| Component-based refinement and verification of information-flow security policies for cyber-physical microservice architectures C Gerking, D Schubert 2019 IEEE International Conference on Software Architecture (ICSA), 61-70, 2019 | 31 | 2019 |
| Domain-Specific Model Checking for Cyber-Physical Systems. C Gerking, W Schäfer, S Dziwok, C Heinzemann MoDeVVa@ models, 18-27, 2015 | 28 | 2015 |
| Model checking the information flow security of real-time systems C Gerking, D Schubert, E Bodden Engineering Secure Software and Systems: 10th International Symposium, ESSoS …, 2018 | 24 | 2018 |
| How to efficiently build a front-end tool for UPPAAL: a model-driven approach S Schivo, BM Yildiz, E Ruijters, C Gerking, R Kumar, S Dziwok, A Rensink, ... Dependable Software Engineering. Theories, Tools, and Applications: Third …, 2017 | 17 | 2017 |
| Transparent Uppaal-based verification of MechatronicUML models C Gerking Master's thesis, Software Engineering Group, Heinz Nixdorf Institute …, 2013 | 17 | 2013 |
| The mechatronicuml design method: Process and language for platform-independent modeling S Dziwok, U Pohlmann, G Piskachev, D Schubert, S Thiele, C Gerking | 16 | 2016 |
| A tool suite for the model-driven software engineering of cyber-physical systems S Dziwok, C Gerking, S Becker, S Thiele, C Heinzemann, U Pohlmann Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations …, 2014 | 15 | 2014 |
| Generating Modelica models from software specifications for the simulation of cyber-physical systems U Pohlmann, J Holtmann, M Meyer, C Gerking 2014 40th EUROMICRO Conference on Software Engineering and Advanced …, 2014 | 13 | 2014 |
| A model-based framework for simplified collaboration of legal and software experts in data protection assessments N Boltz, L Sterz, C Gerking, O Raabe INFORMATIK 2022, 521-532, 2022 | 11 | 2022 |
| Towards safe execution of reconfigurations in cyber-physical systems D Schubert, C Heinzemann, C Gerking 2016 19th International ACM SIGSOFT Symposium on Component-Based Software …, 2016 | 11 | 2016 |
| An extensible framework for architecture-based data flow analysis for information security N Boltz, S Hahner, C Gerking, R Heinrich European Conference on Software Architecture, 342-358, 2023 | 6 | 2023 |
| Traceability of Information Flow Requirements in Cyber-Physical Systems Engineering. C Gerking MoDELS (Doctoral Symposium), 2016 | 6 | 2016 |
| Solving the Movie Database Case with QVTo. C Gerking, C Heinzemann TTC@ STAF, 98-102, 2014 | 6 | 2014 |
| Kfeature: Rendering the kconfig system into feature models KB Yaman, JW Wittler, C Gerking Proceedings of the 18th International Working Conference on Variability …, 2024 | 4 | 2024 |
| Towards preserving information flow security on architectural composition of cyber-physical systems C Gerking, D Schubert Software Architecture: 12th European Conference on Software Architecture …, 2018 | 3 | 2018 |
| Integration hybrider modellierungstechniken in camel-view M Tichy, M Hirsch, C Brink, W Schäfer, C Gerking, M Hahn Entwurf mechatronischer Systeme, HNI-Verlagsschriftenreihe 272, 235-251, 0 | 3 | |
| Model-Driven Information Flow Security Engineering for Cyber-Physical Systems C Gerking | 2 | 2020 |
Christian HeinzemannCorporate Research, Robert Bosch GmbHכתובת אימייל מאומתת בדומיין de.bosch.com