Quelltextgenerierung für LEGO Mindstorms-Roboter. - Johannes Geismann (Informatiktage, 2013)

Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems. - Johannes Geismann; Robert Höttger; Lukas Krawczyk; Uwe Pohlmann; David Schmelter (MODELSWARD (Revised Selected Papers), 2017)

Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems. - Johannes Geismann; Uwe Pohlmann; David Schmelter (MODELSWARD, 2017)

Traceable Threat Modeling for Safety-Critical Systems. - Johannes Geismann (ICSA Companion, 2018)

Towards ensuring security by design in cyber-physical systems engineering processes. - Johannes Geismann; Christopher Gerking; Eric Bodden (ICSSP, 2018)

Security-Oriented Fault-Tolerance in Systems Engineering: A Conceptual Threat Modelling Approach for Cyber-Physical Production Systems. - Iris Gräßler; Eric Bodden; Jens Pottebaum; Johannes Geismann; Daniel Roesmann (KKA, 2020)

A systematic literature review of model-driven security engineering for cyber-physical systems. - Johannes Geismann; Eric Bodden (J. Syst. Softw., 2020)

Ensuring threat-model assumptions by using static code analyses. - Johannes Geismann; Bastian Haverkamp; Eric Bodden (ECSA (Companion), 2021)