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.
M. Baha E. Zarrouki and Verena Klös and Markus Grabowski and Sabine Glesner (2019). Fault-Tolerance by Graceful Degradation for Car Platoons. Workshop on Autonomous Systems Design (ASD 2019). Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 1:1–1:15.
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.
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.
Martin Lowinski and Dirk Ziegenbein and Sabine Glesner (2015). Partitioning Embedded Real-Time Control Software based on Communication Dependencies. Proceedings of the International Workshop on Modelling in Automotive Software Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 3–12.
Dirk Tetzlaff and Sabine Glesner (2013). Intelligent Prediction of Execution Times. Proceedings of the Second International Conference on Informatics & Applications (ICIA2013). IEEE Computer Society, 234–239.