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.
Blumreiter, Mathias and Greenyer, Joel and Garcia, Francisco J Chiyah and Karlsson, Jesper and Klös, Verena and Schwammberger, Maike and Sommer, Christoph and Vogelsang, Andreas and Wortmann, Andreas (2019). Self-Explainable Cyber-Physical Systems. Explainable Software for Cyber-Physical Systems (ES4CPS), 8.
Marcus Mikulcak and Paula Herber and Thomas Göthel and Sabine Glesner (2018). Information Flow Analysis of Combined Simulink/Stateflow Models. VSC Track on Validation of Safety critical Collaboration systems at the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2018). IEEE Computer Society, 223–228.
Verena Klös and Thomas Göthel and Sabine Glesner (2018). Comprehensible Decisions in Complex Self-Adaptive Systems. Software Engineering 2018, Fachtagung des GI-Fachbereichs Softwaretechnik. Gesellschaft für Informatik, 215–216.
Tobias Pfeffer and Paula Herber and Lucas Druschke and Sabine Glesner (2018). Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language. VSC Track on Validation of Safety critical Collaboration systems at the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2018). IEEE Computer Society, 235 - 240.
Marcus Mikulcak and Paula Herber and Thomas Göthel and Sabine Glesner (2017). Timed Path Conditions in MATLAB/Simulink. System Level Design from HW/SW to Memory for Embedded Systems. Springer.
Stefan Sydow and Mohannad Nabelsee and Anselm Busse and Sebastian Koch and Helge Parzyjegla (2016). Performance-Aware Device Driver Architecture for Signal Processing. 2016 28th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 67-75.
Timm Liebrenz (2016). Verification of Hybrid Systems in the Medical Context. Proceedings of the 10th Joint Workshop of the German Research Training Groups in Computer Science. Universitätsverlag der Technischen Universität Chemnitz, 30.
Nils Jähnig and Thomas Göthel and Sabine Glesner (2015). A Denotational Semantics for Communicating Unstructured Code. Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015., 9–21.