Joachim Fellmuth and Julian Hartmer and Hanno Skowronek and Sabine Glesner (2020). Efficient Load-Time Diversity for an Embedded Real-Time Operating System. Computer Safety, Reliability, and Security. Springer International Publishing, 357-371.

Tobias Pfeffer and Thomas Göthel and Sabine Glesner (2019). Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution. 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS), 318-325.

Konstantin Scherer and Tobias Pfeffer and Sabine Glesner (2019). I/O Interaction Analysis of Binary Code. VSC Track on Validation of Safety critical Collaboration systems at the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019), 225-230.

Joachim Fellmuth and Jonas Zell and Sabine Glesner (2019). Evaluating Software Diversity in Branch Prediction Analyses for static WCET Estimation. 2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)

Guilherme Grochau Azzi and Andrea Corradini and Leila Ribeiro (2019). On the essence and initiality of conflicts in M-adhesive transformation systems. Journal of Logical and Algebraic Methods in Programming. Elsevier.