| 2026 | ICAART | Learning from Interpretable Goals: Dynamic Weight Balancing for Multi-Objective Reinforcement Learning. | Simon Schwan, Willie Szollmann, Sabine Glesner |
| 2025 | FedCSIS | Practical security of evidence for regulated artificial intelligence modules. | Marko Esche, Levin Ho, Martin Nischwitz, Sabine Glesner |
| 2025 | ICAART | Iterative Environment Design for Deep Reinforcement Learning Based on Goal-Oriented Specification. | Simon Schwan, Sabine Glesner |
| 2025 | ICFEM | A Unified Method to Efficiently Verify Opacity of Discrete-Timed Automata. | Julian Klein, Kuize Zhang, Sabine Glesner |
| 2024 | ICFEM | Efficient State Estimation of Discrete-Timed Automata. | Julian Klein, Paul Kogel, Sabine Glesner |
| 2023 | ICFEM | Learning Mealy Machines with Local Timers. | Paul Kogel, Verena Kls, Sabine Glesner |
| 2023 | MDAI | A Goal-Oriented Specification Language for Reinforcement Learning. | Simon Schwan, Verena Kls, Sabine Glesner |
| 2022 | ICFEM | TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter. | Paul Kogel, Verena Kls, Sabine Glesner |
| 2021 | DATE | Anomaly Detection and Classification to enable Self-Explainability of Autonomous Systems. | Florian Ziesche, Verena Kls, Sabine Glesner |
| 2020 | ISoLA | Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink. | Timm Liebrenz, Paula Herber, Sabine Glesner |
| 2020 | SAFECOMP | Efficient Load-Time Diversity for an Embedded Real-Time Operating System. | Joachim Fellmuth, Julian Hartmer, Hanno Skowronek, Sabine Glesner |
| 2020 | SBAC-PAD | Towards Profile-Guided Optimization for Safe and Efficient Parallel Stream Processing in Rust. | Stefan Sydow, Mohannad Nabelsee, Sabine Glesner, Paula Herber |
| 2019 | CCS | Timing-Sensitive Synchronization for Efficient Secure Multi-Execution. | Tobias F. Pfeffer, Sabine Glesner |
| 2019 | DATE | Fault-Tolerance by Graceful Degradation for Car Platoons. | M. Baha E. Zarrouki, Verena Kls, Markus Grabowski, Sabine Glesner |
| 2019 | QRS | Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution. | Tobias F. Pfeffer, Thomas Gthel, Sabine Glesner |
| 2019 | WETICE | I/O Interaction Analysis of Binary Code. | Konstantin Scherer, Tobias F. Pfeffer, Sabine Glesner |
| 2019 | RTCSA | Evaluating Software Diversity in Branch Prediction Analyses for static WCET Estimation. | Joachim Fellmuth, Jonas Zell, Sabine Glesner |
| 2018 | ECRTS | Instruction Caches in Static WCET Analysis of Artificially Diversified Software. | Joachim Fellmuth, Thomas Gthel, Sabine Glesner |
| 2018 | ICFEM | Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages. | Nils Berg, Thomas Gthel, Armin Danziger, Sabine Glesner |
| 2018 | ICFEM | Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X. | Timm Liebrenz, Paula Herber, Sabine Glesner |
| 2018 | QRS | Equivalence Checking for Hybrid Control Systems Modelled in Simulink. | Sebastian Schlesinger, Paula Herber, Thomas Gthel, Sabine Glesner |
| 2018 | WETICE | Information Flow Analysis of Combined Simulink/Stateflow Models. | Marcus Mikulcak, Paula Herber, Thomas Gthel, Sabine Glesner |
| 2018 | WETICE | Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language. | Tobias F. Pfeffer, Paula Herber, Lucas Druschke, Sabine Glesner |
| 2017 | COMPSAC | Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink. | Timm Liebrenz, Paula Herber, Thomas Gthel, Sabine Glesner |
| 2017 | DASC | Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity. | Joachim Fellmuth, Paula Herber, Tobias F. Pfeffer, Sabine Glesner |
| 2016 | GI | Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. | Marcus Mikulcak, Thomas Gthel, Paula Herber, Sabine Glesner |
| 2016 | SEFM | Refinement-Based Verification of Communicating Unstructured Code. | Nils Jhnig, Thomas Gthel, Sabine Glesner |
| 2015 | HPCC | STATE - A SystemC to Timed Automata Transformation Engine. | Paula Herber, Marcel Pockrandt, Sabine Glesner |
| 2015 | MODELS | Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations. | Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner |
| 2015 | MODELS | Partitioning Embedded Real-Time Control Software based on Communication Dependencies. | Martin Lowinski, Dirk Ziegenbein, Sabine Glesner |
| 2014 | SEFM | Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie. | Robert Reicherdt, Sabine Glesner |
| 2013 | ICSE | Automatic validation of infinite real-time systems. | Thomas Gthel, Sabine Glesner |
| 2013 | ICSOC | Towards the Automated Synthesis of Data Dependent Service Controllers. | Franziska Bathelt-Tok, Sabine Glesner |
| 2013 | ICSOC | Towards Automated and Correct Composition of Timed Services. | Daniel Sthr, Sabine Glesner |
| 2013 | TASE | Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking. | Daniel Sthr, Sabine Glesner |
| 2012 | ICSE | Slicing MATLAB Simulink models. | Robert Reicherdt, Sabine Glesner |
| 2012 | ICST | Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing. | Elke Salecker, Sabine Glesner |
| 2011 | APSEC | Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP. | Bjrn Bartels, Sabine Glesner |
| 2011 | ICST | An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems. | Joachim Hnsel, Daniela Rose, Paula Herber, Sabine Glesner |
| 2011 | ICST | Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams. | Elke Salecker, Robert Reicherdt, Sabine Glesner |
| 2011 | MEMOCODE | Transforming SystemC Transaction Level Models into UPPAAL timed automata. | Paula Herber, Marcel Pockrandt, Sabine Glesner |
| 2011 | SCOPES | Static run-time mode extraction by state partitioning in synchronous process networks. | Michael Beyer, Sabine Glesner |
| 2010 | ETS | Automated conformance evaluation of SystemC designs using timed automata. | Paula Herber, Marcel Pockrandt, Sabine Glesner |
| 2010 | SEFM | Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants. | Thomas Gthel, Sabine Glesner |
| 2009 | TAP | Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process. | Paula Herber, Florian Friedemann, Sabine Glesner |
| 2009 | TASE | Verifying the Implementation of an Operating System Scheduler. | Moritz Kleine, Bjrn Bartels, Thomas Gthel, Sabine Glesner |
| 2008 | EuroPar | Interprocedural Speculative Optimization of Memory Accesses to Global Variables. | Lars Gesellensetter, Sabine Glesner |
| 2007 | FMICS | Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. | Lars Gesellensetter, Sabine Glesner, Elke Salecker |
| 2005 | SEFM | Formal Verification of Dead Code Elimination in Isabelle/HOL. | Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner |
| 2004 | GI | A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL. | Jan Olaf Blech, Sabine Glesner |
| 2003 | FM | Program Checking with Certificates: Separating Correctness-Critical Code. | Sabine Glesner |
| 1999 | GI | Natural Semantics for Imperative and Object-Oriented Programming Languages. | Sabine Glesner |
| 1997 | KI | Many-Sorted Logic in a Learning Theorem Prover. | Thomas Kolbe, Sabine Glesner |
| 1995 | ECSQARU | Constructing Flexible Dynamic Belief Networks from First-Order Probalistic Knowledge Bases. | Sabine Glesner, Daphne Koller |