Constructing Flexible Dynamic Belief Networks from First-Order Probalistic Knowledge Bases. - Sabine Glesner; Daphne Koller (ECSQARU, 1995)

Many-Sorted Logic in a Learning Theorem Prover. - Thomas Kolbe; Sabine Glesner (KI, 1997)

Using many-sorted natural semantics to specify and generate semantic analysis. - Sabine Glesner; Wolf Zimmermann (Systems Implementation 2000, 1998)

Natural Semantics for Imperative and Object-Oriented Programming Languages. - Sabine Glesner (GI Jahrestagung, 1999)

Combining Inclusion Polymorphism and Parametric Polymorphism - Sabine Glesner; Karl Stroetmann 001 (CoRR, 1999)

Natürliche Semantik für imperative und objektorientierte Programmiersprachen. - Sabine Glesner (Shaker, 1999)

Verified Code Generation for Embedded Systems. - Sabine Glesner; Rubino Geiß; Boris Boesler (COCV@ETAPS, 2002)

ASMs versus Natural Semantics: A Comparison with New Insights. - Sabine Glesner (Abstract State Machines, 2003)

Program Checking with Certificates: Separating Correctness-Critical Code. - Sabine Glesner (FME, 2003)

Classifying and Formally Verifying Integer Constant Folding. - Sabine Glesner; Jan Olaf Blech (COCV@ETAPS, 2003)

Using Program Checking to Ensure the Correctness of Compiler Implementations. - Sabine Glesner (J. Univers. Comput. Sci., 2003)

An ASM Semantics for SSA Intermediate Representations. - Sabine Glesner (Abstract State Machines, 2004)

Coalgebraic Semantics for Component Systems. - Sabine Glesner; Jan Olaf Blech (Architecting Systems with Trustworthy Components, 2004)

A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL. - Jan Olaf Blech; Sabine Glesner (GI Jahrestagung (2), 2004)

A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics. - Sabine Glesner (COCV@ETAPS, 2004)

A Program Result Checker for the Lexical Analysis of the GNU C Compiler. - Sabine Glesner; Simone Forster; Matthias Jäger (COCV@ETAPS, 2004)

Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers). - Sabine Glesner; Gerhard Goos; Wolf Zimmermann (it Inf. Technol., 2004)

Natural semantics as a static program analysis framework. - Sabine Glesner; Wolf Zimmermann (ACM Trans. Program. Lang. Syst., 2004)

Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. - Manfred Broy; Matthias Jarke; Manfred Nagl; Hans Dieter Rombach; Armin B. Cremers; Jürgen Ebert; Sabine Glesner; Martin Glinz; Michael Goedicke; Gerhard Goos; Volker Gruhn; Wilhelm Hasselbring; et al. (Perspectives Workshop, 2005)

Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler. - Sabine Glesner; Jan Olaf Blech (Software Engineering, 2005)

Formal Verification of Dead Code Elimination in Isabelle/HOL. - Jan Olaf Blech; Lars Gesellensetter; Sabine Glesner (SEFM, 2005)

Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL. - Jan Olaf Blech; Sabine Glesner; Johannes Leitner; Steffen Mülling (COCV@ETAPS, 2005)

Verification of optimizing compilers - Sabine Glesner (2005)

Only the Best Can Make It: Optimal Component Selection. - Lars Gesellensetter; Sabine Glesner (FESCA@ETAPS, 2006)

Coinductive Verification of Program Optimizations Using Similarity Relations. - Sabine Glesner; Johannes Leitner; Jan Olaf Blech (COCV@ETAPS, 2006)

Finite Integer Computations: An Algebraic Foundation for Their Correctness. - Sabine Glesner (Formal Aspects Comput., 2006)

Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. - Lars Gesellensetter; Sabine Glesner; Elke Salecker (FMICS, 2007)

Strategische Bedeutung des Software Engineering für die Medizin. - Sabine Glesner; Stefan Jähnichen; Barbara Paech; Bernhard Rumpe; Thomas Wetter; Alfred Winter (Software Engineering, 2007)

Preface. - Sabine Glesner; Jens Knoop; Rolf Drechsler (COCV@ETAPS, 2007)

Editorial. - Sabine Glesner (Inform. Forsch. Entwickl., 2007)

Model checking SystemC designs using timed automata. - Paula Herber; Joachim Fellmuth; Sabine Glesner (CODES+ISSS, 2008)

Interprocedural Speculative Optimization of Memory Accesses to Global Variables. - Lars Gesellensetter; Sabine Glesner (Euro-Par, 2008)

Optimizing Aspectual Execution Mechanisms for Embedded Applications. - Christine Hundt; Sabine Glesner (WGT@ETAPS, 2008)

Manifest: Strategische Bedeutung des Software Engineering für die Medizin. - Sabine Glesner; Stefan Jähnichen; Barbara Paech; Bernhard Rumpe; Thomas Wetter; Alfred Winter (Inform. Forsch. Entwickl., 2008)

Machine-Checkable Timed CSP. - Thomas Göthel; Sabine Glesner (NASA Formal Methods, 2009)

Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process. - Paula Herber; Florian Friedemann; Sabine Glesner (TAP@TOOLS, 2009)

Verifying the Implementation of an Operating System Scheduler. - Moritz Kleine; Björn Bartels; Thomas Göthel; Sabine Glesner (TASE, 2009)

IFE has become CSRD. - Sabine Glesner (Comput. Sci. Res. Dev., 2009)

The VATES-Diamond as a Verifier's Best Friend. - Sabine Glesner; Björn Bartels; Thomas Göthel; Moritz Kleine (Verification, Induction, Termination Analysis, 2010)

Automated conformance evaluation of SystemC designs using timed automata. - Paula Herber; Marcel Pockrandt; Sabine Glesner (ETS, 2010)

Pairwise test set calculation using k-partite graphs. - Elke Salecker; Sabine Glesner (ICSM, 2010)

Formal Modeling and Verification of Low-Level Software Programs. - Björn Bartels; Sabine Glesner (QSIC, 2010)

Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants. - Thomas Göthel; Sabine Glesner (SEFM, 2010)

Optimizing Aspect-Oriented Mechanisms for Embedded Applications. - Christine Hundt; Daniel Stöhr; Sabine Glesner (TOOLS (48), 2010)

Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification. - Björn Bartels; Sabine Glesner; Thomas Göthel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

An approach for machine-assisted verification of Timed CSP specifications. - Thomas Göthel; Sabine Glesner (Innov. Syst. Softw. Eng., 2010)

Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP. - Björn Bartels; Sabine Glesner (APSEC, 2011)

Static Analysis of Run-Time Modes in Synchronous Process Network. - Michael Beyer; Sabine Glesner (Ershov Memorial Conference, 2011)

Model checking a SystemC/TLM design of the AMBA AHB protocol. - Marcel Pockrandt; Paula Herber; Sabine Glesner (ESTIMedia, 2011)

An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems. - Joachim Hänsel; Daniela Rose; Paula Herber; Sabine Glesner (ICST, 2011)

Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams. - Elke Salecker; Robert Reicherdt; Sabine Glesner (ICST Workshops, 2011)

MeMo - Methods of Model Quality. - Wei Hu; Joachim Wegener; Ingo Stürmer; Robert Reicherdt; Elke Salecker; Sabine Glesner (MBEES, 2011)

Transforming SystemC Transaction Level Models into UPPAAL timed automata. - Paula Herber; Marcel Pockrandt; Sabine Glesner (MEMOCODE, 2011)

Static run-time mode extraction by state partitioning in synchronous process networks. - Michael Beyer; Sabine Glesner (SCOPES, 2011)

Static prediction of recursion frequency using machine learning to enable hot spot optimizations. - Dirk Tetzlaff; Sabine Glesner (ESTIMedia, 2012)

Slicing MATLAB Simulink models. - Robert Reicherdt; Sabine Glesner (ICSE, 2012)

Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing. - Elke Salecker; Sabine Glesner (ICST, 2012)

Making MPI Intelligent. - Dirk Tetzlaff; Sabine Glesner (Software Engineering (Workshops), 2012)

Automated Composition of Timed Services by Planning as Model Checking. - Daniel Stöhr; Sabine Glesner (ZEUS, 2012)

Optimized Transformation and Verification of SystemC Methods. - Marcel Pockrandt; Paula Herber; Holger Gross; Sabine Glesner (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Static Prediction of Loop Iteration Counts Using Machine Learning to Enable Hot Spot Optimizations. - Dirk Tetzlaff; Sabine Glesner (EUROMICRO-SEAA, 2013)

Automatic validation of infinite real-time systems. - Thomas Göthel; Sabine Glesner (FormaliSE@ICSE, 2013)

Towards the Automated Synthesis of Data Dependent Service Controllers. - Franziska Bathelt-Tok; Sabine Glesner (ICSOC Workshops, 2013)

Towards Automated and Correct Composition of Timed Services. - Daniel Stöhr; Sabine Glesner (ICSOC Workshops, 2013)

Model Checking Memory-Related Properties of Hardware/Software Co-designs. - Marcel Pockrandt; Paula Herber; Verena Klös; Sabine Glesner (IESS, 2013)

Design and verification of a health-monitoring driver assistance system. - Helena Gruhn; Daniel Stöhr; Mehmet Gövercin; Sabine Glesner (PervasiveHealth, 2013)

Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking. - Daniel Stöhr; Sabine Glesner (TASE, 2013)

Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks - Helena Gruhn; Sabine Glesner (FESCA, 2013)

Rigorous software engineering. - Sabine Glesner (Comput. Sci. Res. Dev., 2013)

A HW/SW co-verification framework for SystemC. - Paula Herber; Sabine Glesner (ACM Trans. Embed. Comput. Syst., 2013)

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

Data-dependent controller synthesis to enable reliable and safe interoperability of medical devices. - Franziska Bathelt-Tok; Sabine Glesner; Oliver Blankenstein (PervasiveHealth, 2014)

Methods of Model Quality in the Automotive Area. - Robert Reicherdt; Sabine Glesner (Software Engineering, 2014)

Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie. - Robert Reicherdt; Sabine Glesner (SEFM, 2014)

Adaptive Knowledge Bases in Self-Adaptive System Design. - Verena Klös; Thomas Göthel; Sabine Glesner (EUROMICRO-SEAA, 2015)

STATE - A SystemC to Timed Automata Transformation Engine. - Paula Herber; Marcel Pockrandt; Sabine Glesner (HPCC/CSS/ICESS, 2015)

Timed Path Conditions in MATLAB/Simulink. - Marcus Mikulcak; Paula Herber; Thomas Göthel; Sabine Glesner (IESS, 2015)

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 (AMT@MoDELS, 2015)

Partitioning Embedded Real-Time Control Software based on Communication Dependencies. - Martin Lowinski; Dirk Ziegenbein; Sabine Glesner (MASE@MoDELS, 2015)

Verification of Embedded Real-time Systems. - Paula Herber; Sabine Glesner (SyDe Summer School, 2015)

A Denotational Semantics for Communicating Unstructured Code. - Nils Jähnig; Thomas Göthel; Sabine Glesner (FESCA, 2015)

Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. - Sebastian Schlesinger; Paula Herber; Thomas Göthel; Sabine Glesner (CyPhy, 2016)

Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. - Marcus Mikulcak; Thomas Göthel; Paula Herber; Sabine Glesner (GI-Jahrestagung, 2016)

Formal Models for Analysing Dynamic Adaptation Behaviour in Real-Time Systems. - Verena Klös; Thomas Göthel; Sabine Glesner (FAS*W@SASO/ICCAC, 2016)

Refinement-Based Verification of Communicating Unstructured Code. - Nils Jähnig; Thomas Göthel; Sabine Glesner (SEFM, 2016)

Splitting tasks for migrating real-time automotive applications to multi-core ECUs. - Martin Lowinski; Dirk Ziegenbein; Sabine Glesner (SIES, 2016)

Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink. - Timm Liebrenz; Paula Herber; Thomas Göthel; Sabine Glesner (COMPSAC (2), 2017)

Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity. - Joachim Fellmuth; Paula Herber; Tobias F. Pfeffer; Sabine Glesner (DASC/PiCom/DataCom/CyberSciTech, 2017)

Runtime Management and Quantitative Evaluation of Changing System Goals. - Verena Klös; Thomas Göthel; Adrian Lohr; Sabine Glesner (SEAA, 2017)

Parameterisation and Optimisation Patterns for MAPE-K Feedback Loops. - Verena Klös; Thomas Göthel; Sabine Glesner (FAS*W@SASO/ICCAC, 2017)

Instruction Caches in Static WCET Analysis of Artificially Diversified Software. - Joachim Fellmuth; Thomas Göthel; Sabine Glesner (ECRTS, 2018)

Be Prepared: Learning Environment Profiles for Proactive Rule-Based Production Planning. - Verena Klös; Thomas Göthel; Sabine Glesner (SEAA, 2018)

Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages. - Nils Berg; Thomas Göthel; Armin Danziger; Sabine Glesner (ICFEM, 2018)

Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X. - Timm Liebrenz; Paula Herber; Sabine Glesner (ICFEM, 2018)

Equivalence Checking for Hybrid Control Systems Modelled in Simulink. - Sebastian Schlesinger; Paula Herber; Thomas Göthel; Sabine Glesner (QRS Companion, 2018)

Comprehensible Decisions in Complex Self-Adaptive Systems. - Verena Klös; Thomas Göthel; Sabine Glesner (Software Engineering, 2018)

Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language. - Tobias F. Pfeffer; Paula Herber; Lucas Druschke; Sabine Glesner (WETICE, 2018)

Comprehensible and dependable self-learning self-adaptive systems. - Verena Klös; Thomas Göthel; Sabine Glesner (J. Syst. Archit., 2018)

Runtime management and quantitative evaluation of changing system goals in complex autonomous systems. - Verena Klös; Thomas Göthel; Sabine Glesner (J. Syst. Softw., 2018)

Timing-Sensitive Synchronization for Efficient Secure Multi-Execution. - Tobias F. Pfeffer; Sabine Glesner (CCSW, 2019)

Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution. - Tobias F. Pfeffer; Thomas Göthel; Sabine Glesner (CODASPY, 2019)

Fault-Tolerance by Graceful Degradation for Car Platoons. - M. Baha E. Zarrouki; Verena Klös; Markus Grabowski; Sabine Glesner (ASD@DATE, 2019)

A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models. - Timm Liebrenz; Paula Herber; Sabine Glesner (FACS, 2019)

Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution. - Tobias F. Pfeffer; Thomas Göthel; Sabine Glesner (QRS, 2019)

Evaluating Software Diversity in Branch Prediction Analyses for static WCET Estimation. - Joachim Fellmuth; Jonas Zell; Sabine Glesner (RTCSA, 2019)

I/O Interaction Analysis of Binary Code. - Konstantin Scherer; Tobias F. Pfeffer; Sabine Glesner (WETICE, 2019)

CSRD has become SICS. - Sabine Glesner (SICS Softw.-Intensive Cyber Phys. Syst., 2019)

Information Flow Analysis of Combined Simulink/Stateflow Models. - Marcus Mikulcak; Paula Herber; Thomas Göthel; Sabine Glesner (Inf. Technol. Control., 2019)

Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink. - Timm Liebrenz; Paula Herber; Sabine Glesner (ISoLA (3), 2020)

Efficient Load-Time Diversity for an Embedded Real-Time Operating System. - Joachim Fellmuth; Julian Hartmer; Hanno Skowronek; Sabine Glesner (SAFECOMP, 2020)

Towards Profile-Guided Optimization for Safe and Efficient Parallel Stream Processing in Rust. - Stefan Sydow; Mohannad Nabelsee; Sabine Glesner; Paula Herber (SBAC-PAD, 2020)

Anomaly Detection and Classification to enable Self-Explainability of Autonomous Systems. - Florian Ziesche; Verena Klös; Sabine Glesner (DATE, 2021)

Service-oriented decomposition and verification of hybrid system models using feature models and contracts. - Timm Liebrenz; Paula Herber; Sabine Glesner (Sci. Comput. Program., 2021)

TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter. - Paul Kogel; Verena Klös; Sabine Glesner (ICFEM, 2022)

Learning Mealy Machines with Local Timers. - Paul Kogel; Verena Klös; Sabine Glesner (ICFEM, 2023)

A Proposal for Functional Software Identification Using Risk-Based Continuous Quality Control. - Levin Chee Xian Ho; Marko Esche; Martin Nischwitz; Reinhard Meyer; Sabine Glesner (KKIO@FedCSIS, 2023)

A Goal-Oriented Specification Language for Reinforcement Learning. - Simon Schwan; Verena Klös; Sabine Glesner (MDAI, 2023)

A Systematic Study on the Potentials and Limitations of LLM-assisted Software Development. - Chiara Michelutti; Jens Eckert; Milko Monecke; Julian Klein 001; Sabine Glesner (FLLM, 2024)

Performance Analysis of Model-Based Functional Identification on Modified Measuring Instruments. - Levin Chee Xian Ho; Marko Esche; Martin Nischwitz; Sabine Glesner (I2MTC, 2024)

Efficient State Estimation of Discrete-Timed Automata. - Julian Klein 001; Paul Kogel; Sabine Glesner (ICFEM, 2024)

Verifying Opacity of Discrete-Timed Automata. - Julian Klein 001; Paul Kogel; Sabine Glesner (FormaliSE@ICSE, 2024)

MMLT/ik: Efficiently Learning Mealy Machines with Local Timers by Using Imprecise Symbol Filters. - Paul Kogel; Wolffhardt Schwabe; Sabine Glesner (QEST+FORMATS, 2024)

Black-box conformity tests on regulated measuring instruments: A machine learning approach. - Levin Chee Xian Ho; Marko Esche; Martin Nischwitz; Sabine Glesner (I2MTC, 2025)

Deep machine learning for identifying time-series functions of regulated measuring instruments. - Levin Chee Xian Ho; Marko Esche; Martin Nischwitz; Manuel-Valentin Maue; Sabine Glesner (I2MTC, 2025)

Iterative Environment Design for Deep Reinforcement Learning Based on Goal-Oriented Specification. - Simon Schwan; Sabine Glesner (ICAART (2), 2025)