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.

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, to appear). IEEE Computer Society.

Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner (2018). Equivalence Checking for Hybrid Control Systems modelled in Simulink. IEEE International Workshop on Model-based Verification and validation (MVV 2018). IEEE, 572–579.

Verena Klös and Thomas Göthel and Sabine Glesner (2018). Comprehensible and Dependable Self-Learning Self-Adaptive Systems. Journal of Systems Architecture. Elsevier, 28–42.

Joachim Fellmuth and Thomas Göthel and Sabine Glesner (2018). Instruction Caches in Static WCET Analysis of Artificially Diversified Software. 30th Euromicro Conference on Real-Time Systems (ECRTS), 21:1–21:23.

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.

Verena Klös and Thomas Göthel and Sabine Glesner (2018). Be Prepared: Learning Environment Profiles for Proactive Rule-Based Production Planning. 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, 89–96.

Verena Klös and Thomas Göthel and Sabine Glesner (2018). Runtime Management and Quantitative Evaluation of Changing System Goals in Complex Autonomous Systems. Journal of Systems and Software. Elsevier, 314–327.

Timm Liebrenz and Paula Herber and Sabine Glesner (2018). Deductive Verification of Hybrid Control Systems modeled in Simulink with KeYmaera X. International Conference on Formal Engineering Methods. Springer.

Nils Berg and Thomas Göthel and Armin Danziger and Sabine Glesner (2018). Preserving liveness guarantees from synchronous communication to asynchronous unstructured low-level languages. 20th International Conference on Formal Engineering Methods (ICFEM). Springer, 303–319.

Verena Klös and Thomas Göthel and Adrian Lohr and Sabine Glesner (2017). Runtime Management and Quantitative Evaluation of Changing System Goals. 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, 226–233.

Timm Liebrenz and Paula Herber and Thomas Göthel and Sabine Glesner (2017). Towards Service-oriented Design of Hybrid Systems modeled in Simulink. IEEE International Workshop on QUality Oriented Reuse of Software (QUORS 2017). IEEE, 469–474.

Verena Klös and Thomas Göthel and Sabine Glesner (2017). Parameterisation and Optimisation Patterns for MAPE-K Feedback Loops. 2nd International Workshops on Foundations and Applications of Self* Systems (FAS*W). IEEE, 13–18.

Joachim Fellmuth and Paula Herber and Tobias F. Pfeffer and Sabine Glesner (2017). Securing Real-Time Cyber-Physical Systems using WCET-Aware Artificial Diversity. 2017 IEEE 15th Intl Conf on Dependable, Autonomic and Secure Computing (DASC'17), 454-461.

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.

Marcus Mikulcak and Thomas Göthel and Paula Herber and Sabine Glesner (2016). Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. INFORMATIK 2016. Gesellschaft für Informatik (GI), 1495–1508.

Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner (2016). Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. Cyber Physical Systems. Design, Modeling, and Evaluation. Springer, 71-86.

Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner (2016). Proving Transformation Correctness of Refactorings for Discrete and Continuous Simulink Models. ICONS 2016, The Eleventh International Conference on Systems, EMBEDDED 2016, International Symposium on Advances in Embedded Systems and Applications. IARIA XPS Press, 45-50.

Nils Jähnig and Thomas Göthel and Sabine Glesner (2016). Refinement-Based Verification of Communicating Unstructured Code. Software Engineering and Formal Methods - 14th International Conference, SEFM 2016. Springer, 61–75.

Verena Klös and Thomas Göthel and Sabine Glesner (2016). Formal models for analysing dynamic adaptation behaviour in real-time systems. 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W). IEEE, 106-111.

Martin Lowinski and Dirk Ziegenbein and Sabine Glesner (2016). Splitting tasks for migrating real-time automotive applications to multi-core ECUs. Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems (SIES 2016), 113-120.

Paula Herber and Sabine Glesner (2015). Verification of Embedded Real-time Systems. Formal Modeling and Verification of Cyber Physical Systems. Springer.

Paula Herber and Marcel Pockrandt and Sabine Glesner (2015). STATE – a SystemC to Timed Automata Transformation Engine. International Conference on Embedded Software and Systems (ICESS). IEEE Computer Society.

Verena Klös and Thomas Göthel and Sabine Glesner (2015). Adaptive Knowledge Bases in Self-Adaptive System Design. 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, 472 - 478.

Johannes Dyck and Holger Giese and Leen Lambers and Sebastian Schlesinger and Sabine Glesner (2015). Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations. Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 36-45.

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.

Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner (2015). Towards the Verification of Refactorings of Hybrid Simulink Models. Proceedings of the Third International Workshop on Verification and Program Transformation (VPT 2015), 69.

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.

Franziska Bathelt-Tok and Helena Gruhn and Sabine Glesner and Oliver Blankenstein (2014). Towards the Development of Smart and Reliable Health Assistance Networks Exemplified by an Apnea Detection System. IEEE International Conference of Healthcare Informatics (ICHI)

Sabine Glesner and Robert Reicherdt (2014). Methods of Model Quality in the Automotive Area. Software Engineering. Köllen, 73-74.

Franziska Bathelt-Tok and Sabine Glesner and Oliver Blankenstein (2014). Data-Dependent Controller Synthesis to Enable Reliable and Safe Interoperability of Medical Devices. Proceedings of the 8th International Conference on Pervasive Computing Technologies for Healthcare. 8377. ACM, 162-165.

Franziska Bathelt-Tok and Sabine Glesner (2014). Towards the Automated Synthesis of Data Dependent Service Controllers. PhD Symposium of the 11th International Conference on Service Oriented Computing (ICSOC 2013). Springer-Verlag Berlin Heidelberg, 528-534.

Robert Reicherdt and Sabine Glesner (2014). Formal Verification of Discrete-Time MATLAB/Simulink Models using Boogie. 12th International Conference on Software Engineering and Formal Methods. Springer, 190-204.

Paula Herber and Sabine Glesner (2013). A HW/SW Co-Verification Framework for SystemC. ACM Transactions on Embedded Computing Systems (TECS). ACM.

Marcel Pockrandt and Paula Herber and Verena Klös and Sabine Glesner (2013). Model Checking Memory-Related Properties of Hardware/Software Co-designs. International Embedded Systems Symposium (IESS 2013). Springer, 92-103.

Helena Gruhn and Sabine Glesner (2013). Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks. Formal Engineering approaches to Software Components and Architectures (FESCA@ETAPS2013)), 49-62.

Daniel Stöhr and Sabine Glesner (2013). Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking. 7th International Symposium on Theoretical Aspects of Software Engineering (TASE'13). IEEE Computer Society, 7-14.

Helena Gruhn and Daniel Stöhr and Mehmet Gövercin and Sabine Glesner (2013). Design and Verification of a Health-Monitoring Driver Assistance System. Pervasive Computing Technologies for Healthcare (PervasiveHealth), 2013 7th International Conference on. IEEE Xplore, 266-267 .

Thomas Göthel and Sabine Glesner (2013). Automatic Validation of Infinite Real-Time Systems. Proceedings FormaliSE, 57–63.

Dirk Tetzlaff and Sabine Glesner (2013). Static Prediction of Loop Iteration Counts Using Machine Learning to Enable Hot Spot Optimizations. Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA'13). IEEE Computer Society.

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.

Daniel Stöhr and Sabine Glesner (2013). Towards Automated and Correct Composition of Timed Services. Service-Oriented Computing - ICSOC 2012 Workshops. Springer Berlin Heidelberg, 319-331.

Robert Reicherdt and Sabine Glesner (2012). Slicing MATLAB Simulink models. 34th International Conference on Software Engineering (ICSE), 551 -561.

Elke Salecker and Sabine Glesner (2012). Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing. IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), 610 -619.

Dirk Tetzlaff and Sabine Glesner (2012). Making MPI Intelligent. Software Engineering (Workshops) 2012. Köllen Druck+Verlag GmbH, Bonn, 75 - 88.

Daniel Stöhr and Sabine Glesner (2012). Automated Composition of Timed Services by Planning as Model Checking. Proceedings of the 4th Central European Workshop on Services and their Composition. CEUR-WS.org.

Marcel Pockrandt and Paula Herber and Holger Gross and Sabine Glesner (2012). Optimized Transformation and Verification of SystemC Methods. Proceedings of the 12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012). Electronic Communications of the EASST.

Dirk Tetzlaff and Sabine Glesner (2012). Static Prediction of Recursion Frequency Using Machine Learning to Enable Hot Spot Optimizations. Proceedings of the 10th IEEE Symposium on Embedded Systems for Real-time Multimedia (ESTIMedia), 42-51.

Michael Beyer and Sabine Glesner (2012). Static Analysis of Run-time Modes in Synchronous Process Networks. PSI '11: Perspectives of Systems Informatics, 8th International Andrei Ershov Memorial Conference. Springer Verlag / Heidelberg, 55-67.

Paula Herber and Marcel Pockrandt and Sabine Glesner (2011). Transforming SystemC Transaction Level Models into UPPAAL Timed Automata. ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign. IEEE Computer Society, 161-170.