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 | 39 | 2018 |
A systematic literature review of model-driven security engineering for cyber–physical systems J Geismann, E Bodden Journal of Systems and Software 169, 110697, 2020 | 31 | 2020 |
Security-oriented fault-tolerance in systems engineering: a conceptual threat modelling approach for cyber-physical production systems I Gräßler, E Bodden, J Pottebaum, J Geismann, D Roesmann Advanced, Contemporary Control: Proceedings of KKA 2020—The 20th Polish …, 2020 | 8 | 2020 |
Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems. J Geismann, U Pohlmann, D Schmelter MODELSWARD, 285-292, 2017 | 7 | 2017 |
The Journal of Systems & Software J Geismann, E Bodden | 1 | 2020 |
Traceable Threat Modeling for Safety-Critical Systems J Geismann 2018 IEEE International Conference on Software Architecture Companion (ICSA …, 2018 | 1 | 2018 |
Ensuring threat-model assumptions by using static code analyses. J Geismann, B Haverkamp, E Bodden ECSA (Companion), 2021 | | 2021 |
Automated synthesis of a real-time scheduling for cyber-physical multi-core systems J Geismann, R Höttger, L Krawczyk, U Pohlmann, D Schmelter Model-Driven Engineering and Software Development: 5th International …, 2018 | | 2018 |
Quelltextgenerierung für LEGO Mindstorms-Roboter. J Geismann Informatiktage, 71-74, 2013 | | 2013 |
Requirements Specification J Bobolz, M Czech, A Dann, J Geismann, M Hüwe, A Kriger, G Piskachev, ... | | |
Model-driven Security for Cyber-Physical Systems J Geismann | | |
Requirements Specification and Project Plan J Bobolz, M Czech, A Dann, J Geismann, M Hüwe, A Krieger, ... | | |