Sabine Glesner

131 papers A* 1A 3B 11C 21Misc 4Journal 18Unranked 70

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Learning from Interpretable Goals: Dynamic Weight Balancing for Multi-Objective Reinforcement Learning. ICAART (2) Simon Schwan, Willie Szollmann, Sabine Glesner
2025	C	`conf`	A Unified Method to Efficiently Verify Opacity of Discrete-Timed Automata. ICFEM Julian Klein, Kuize Zhang, Sabine Glesner
2025	—	`conf`	Black-box conformity tests on regulated measuring instruments: A machine learning approach. I2MTC Levin Chee Xian Ho, Marko Esche, Martin Nischwitz, Sabine Glesner
2025	—	`conf`	Deep machine learning for identifying time-series functions of regulated measuring instruments. I2MTC Levin Chee Xian Ho, Marko Esche, Martin Nischwitz, Manuel-Valentin Maue, Sabine Glesner
2025	—	`conf`	Iterative Environment Design for Deep Reinforcement Learning Based on Goal-Oriented Specification. ICAART (2) Simon Schwan, Sabine Glesner
2025	—	`conf`	Learning Mealy Machines with Sparse Observation Tables. QEST+FORMATS Wolffhardt Schwabe, Paul Kogel, Sabine Glesner
2025	—	`conf`	Practical security of evidence for regulated artificial intelligence modules. FedCSIS (Position Papers) Marko Esche, Levin Ho, Martin Nischwitz, Sabine Glesner
2024	—	`conf`	A Systematic Study on the Potentials and Limitations of LLM-assisted Software Development. FLLM Chiara Michelutti, Jens Eckert, Milko Monecke, Julian Klein, Sabine Glesner
2024	C	`conf`	Efficient State Estimation of Discrete-Timed Automata. ICFEM Julian Klein, Paul Kogel, Sabine Glesner
2024	—	`conf`	MMLT/ik: Efficiently Learning Mealy Machines with Local Timers by Using Imprecise Symbol Filters. QEST+FORMATS Paul Kogel, Wolffhardt Schwabe, Sabine Glesner
2024	—	`conf`	Performance Analysis of Model-Based Functional Identification on Modified Measuring Instruments. I2MTC Levin Chee Xian Ho, Marko Esche, Martin Nischwitz, Sabine Glesner
2024	—	`conf`	Verifying Opacity of Discrete-Timed Automata. FormaliSE@ICSE Julian Klein, Paul Kogel, Sabine Glesner
2023	B	`conf`	A Goal-Oriented Specification Language for Reinforcement Learning. MDAI Simon Schwan, Verena Klös, Sabine Glesner
2023	—	`conf`	A Proposal for Functional Software Identification Using Risk-Based Continuous Quality Control. KKIO@FedCSIS Levin Chee Xian Ho, Marko Esche, Martin Nischwitz, Reinhard Meyer, Sabine Glesner
2023	C	`conf`	Learning Mealy Machines with Local Timers. ICFEM Paul Kogel, Verena Klös, Sabine Glesner
2022	C	`conf`	TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter. ICFEM Paul Kogel, Verena Klös, Sabine Glesner
2021	A	`conf`	Anomaly Detection and Classification to enable Self-Explainability of Autonomous Systems. DATE Florian Ziesche, Verena Klös, Sabine Glesner
2021	J	`jnl`	Service-oriented decomposition and verification of hybrid system models using feature models and contracts. Sci. Comput. Program. Timm Liebrenz, Paula Herber, Sabine Glesner
2020	B	`conf`	Efficient Load-Time Diversity for an Embedded Real-Time Operating System. SAFECOMP Joachim Fellmuth, Julian Hartmer, Hanno Skowronek, Sabine Glesner
2020	—	`conf`	Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink. ISoLA (3) Timm Liebrenz, Paula Herber, Sabine Glesner
2020	C	`conf`	Towards Profile-Guided Optimization for Safe and Efficient Parallel Stream Processing in Rust. SBAC-PAD Stefan Sydow, Mohannad Nabelsee, Sabine Glesner, Paula Herber
2019	—	`conf`	A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models. FACS Timm Liebrenz, Paula Herber, Sabine Glesner
2019	C	`conf`	Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution. QRS Tobias F. Pfeffer, Thomas Göthel, Sabine Glesner
2019	J	`jnl`	CSRD has become SICS. SICS Softw.-Intensive Cyber Phys. Syst. Sabine Glesner
2019	—	`conf`	Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution. CODASPY Tobias F. Pfeffer, Thomas Göthel, Sabine Glesner
2019	B	`conf`	Evaluating Software Diversity in Branch Prediction Analyses for static WCET Estimation. RTCSA Joachim Fellmuth, Jonas Zell, Sabine Glesner
2019	—	`conf`	Fault-Tolerance by Graceful Degradation for Car Platoons. ASD@DATE M. Baha E. Zarrouki, Verena Klös, Markus Grabowski, Sabine Glesner
2019	C	`conf`	I/O Interaction Analysis of Binary Code. WETICE Konstantin Scherer, Tobias F. Pfeffer, Sabine Glesner
2019	J	`jnl`	Information Flow Analysis of Combined Simulink/Stateflow Models. Inf. Technol. Control. Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner
2019	—	`conf`	Timing-Sensitive Synchronization for Efficient Secure Multi-Execution. CCSW Tobias F. Pfeffer, Sabine Glesner
2018	B	`conf`	Be Prepared: Learning Environment Profiles for Proactive Rule-Based Production Planning. SEAA Verena Klös, Thomas Göthel, Sabine Glesner
2018	C	`conf`	Comprehensible Decisions in Complex Self-Adaptive Systems. Software Engineering Verena Klös, Thomas Göthel, Sabine Glesner
2018	J	`jnl`	Comprehensible and dependable self-learning self-adaptive systems. J. Syst. Archit. Verena Klös, Thomas Göthel, Sabine Glesner
2018	C	`conf`	Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X. ICFEM Timm Liebrenz, Paula Herber, Sabine Glesner
2018	C	`conf`	Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language. WETICE Tobias F. Pfeffer, Paula Herber, Lucas Druschke, Sabine Glesner
2018	—	`conf`	Equivalence Checking for Hybrid Control Systems Modelled in Simulink. QRS Companion Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner
2018	C	`conf`	Information Flow Analysis of Combined Simulink/Stateflow Models. WETICE Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner
2018	B	`conf`	Instruction Caches in Static WCET Analysis of Artificially Diversified Software. ECRTS Joachim Fellmuth, Thomas Göthel, Sabine Glesner
2018	C	`conf`	Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages. ICFEM Nils Berg, Thomas Göthel, Armin Danziger, Sabine Glesner
2018	J	`jnl`	Runtime management and quantitative evaluation of changing system goals in complex autonomous systems. J. Syst. Softw. Verena Klös, Thomas Göthel, Sabine Glesner
2017	—	`conf`	Parameterisation and Optimisation Patterns for MAPE-K Feedback Loops. FAS*W@SASO/ICCAC Verena Klös, Thomas Göthel, Sabine Glesner
2017	B	`conf`	Runtime Management and Quantitative Evaluation of Changing System Goals. SEAA Verena Klös, Thomas Göthel, Adrian Lohr, Sabine Glesner
2017	—	`conf`	Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity. DASC/PiCom/DataCom/CyberSciTech Joachim Fellmuth, Paula Herber, Tobias F. Pfeffer, Sabine Glesner
2017	—	`conf`	Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink. COMPSAC (2) Timm Liebrenz, Paula Herber, Thomas Göthel, Sabine Glesner
2016	—	`conf`	Formal Models for Analysing Dynamic Adaptation Behaviour in Real-Time Systems. FAS*W@SASO/ICCAC Verena Klös, Thomas Göthel, Sabine Glesner
2016	—	`conf`	Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. CyPhy Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner
2016	B	`conf`	Refinement-Based Verification of Communicating Unstructured Code. SEFM Nils Jähnig, Thomas Göthel, Sabine Glesner
2016	—	`conf`	Splitting tasks for migrating real-time automotive applications to multi-core ECUs. SIES Martin Lowinski, Dirk Ziegenbein, Sabine Glesner
2016	—	`conf`	Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. GI-Jahrestagung Marcus Mikulcak, Thomas Göthel, Paula Herber, Sabine Glesner
2015	—	`conf`	A Denotational Semantics for Communicating Unstructured Code. FESCA Nils Jähnig, Thomas Göthel, Sabine Glesner
2015	—	`conf`	Adaptive Knowledge Bases in Self-Adaptive System Design. EUROMICRO-SEAA Verena Klös, Thomas Göthel, Sabine Glesner
2015	—	`conf`	Partitioning Embedded Real-Time Control Software based on Communication Dependencies. MASE@MoDELS Martin Lowinski, Dirk Ziegenbein, Sabine Glesner
2015	—	`conf`	STATE - A SystemC to Timed Automata Transformation Engine. HPCC/CSS/ICESS Paula Herber, Marcel Pockrandt, Sabine Glesner
2015	—	`conf`	Timed Path Conditions in MATLAB/Simulink. IESS Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner
2015	—	`conf`	Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations. AMT@MoDELS Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner
2015	—	`conf`	Verification of Embedded Real-time Systems. SyDe Summer School Paula Herber, Sabine Glesner
2014	—	`conf`	Data-dependent controller synthesis to enable reliable and safe interoperability of medical devices. PervasiveHealth Franziska Bathelt-Tok, Sabine Glesner, Oliver Blankenstein
2014	B	`conf`	Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie. SEFM Robert Reicherdt, Sabine Glesner
2014	C	`conf`	Methods of Model Quality in the Automotive Area. Software Engineering Robert Reicherdt, Sabine Glesner
2014	—	`conf`	Towards the Development of Smart and Reliable Health Assistance Networks Exemplified by an Apnea Detection System. ICHI Franziska Bathelt-Tok, Helena Gruhn, Sabine Glesner, Oliver Blankenstein
2013	J	`jnl`	A HW/SW co-verification framework for SystemC. ACM Trans. Embed. Comput. Syst. Paula Herber, Sabine Glesner
2013	—	`conf`	Automatic validation of infinite real-time systems. FormaliSE@ICSE Thomas Göthel, Sabine Glesner
2013	—	`conf`	Design and verification of a health-monitoring driver assistance system. PervasiveHealth Helena Gruhn, Daniel Stöhr, Mehmet Gövercin, Sabine Glesner
2013	—	`conf`	Model Checking Memory-Related Properties of Hardware/Software Co-designs. IESS Marcel Pockrandt, Paula Herber, Verena Klös, Sabine Glesner
2013	Misc	`conf`	Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking. TASE Daniel Stöhr, Sabine Glesner
2013	J	`jnl`	Rigorous software engineering. Comput. Sci. Res. Dev. Sabine Glesner
2013	—	`conf`	Static Prediction of Loop Iteration Counts Using Machine Learning to Enable Hot Spot Optimizations. EUROMICRO-SEAA Dirk Tetzlaff, Sabine Glesner
2013	—	`conf`	Towards Automated and Correct Composition of Timed Services. ICSOC Workshops Daniel Stöhr, Sabine Glesner
2013	—	`conf`	Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks FESCA Helena Gruhn, Sabine Glesner
2013	—	`conf`	Towards the Automated Synthesis of Data Dependent Service Controllers. ICSOC Workshops Franziska Bathelt-Tok, Sabine Glesner
2012	—	`conf`	Automated Composition of Timed Services by Planning as Model Checking. ZEUS Daniel Stöhr, Sabine Glesner
2012	A	`conf`	Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing. ICST Elke Salecker, Sabine Glesner
2012	C	`conf`	Making MPI Intelligent. Software Engineering (Workshops) Dirk Tetzlaff, Sabine Glesner
2012	J	`jnl`	Optimized Transformation and Verification of SystemC Methods. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Marcel Pockrandt, Paula Herber, Holger Gross, Sabine Glesner
2012	A*	`conf`	Slicing MATLAB Simulink models. ICSE Robert Reicherdt, Sabine Glesner
2012	—	`conf`	Static prediction of recursion frequency using machine learning to enable hot spot optimizations. ESTIMedia Dirk Tetzlaff, Sabine Glesner
2011	A	`conf`	An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems. ICST Joachim Hänsel, Daniela Rose, Paula Herber, Sabine Glesner
2011	—	`conf`	Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams. ICST Workshops Elke Salecker, Robert Reicherdt, Sabine Glesner
2011	—	`conf`	MeMo - Methods of Model Quality. MBEES Wei Hu, Joachim Wegener, Ingo Stürmer, Robert Reicherdt, Elke Salecker, Sabine Glesner
2011	—	`conf`	Model checking a SystemC/TLM design of the AMBA AHB protocol. ESTIMedia Marcel Pockrandt, Paula Herber, Sabine Glesner
2011	—	`conf`	Static Analysis of Run-Time Modes in Synchronous Process Network. Ershov Memorial Conference Michael Beyer, Sabine Glesner
2011	C	`conf`	Static run-time mode extraction by state partitioning in synchronous process networks. SCOPES Michael Beyer, Sabine Glesner
2011	C	`conf`	Transforming SystemC Transaction Level Models into UPPAAL timed automata. MEMOCODE Paula Herber, Marcel Pockrandt, Sabine Glesner
2011	C	`conf`	Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP. APSEC Björn Bartels, Sabine Glesner
2010	J	`jnl`	An approach for machine-assisted verification of Timed CSP specifications. Innov. Syst. Softw. Eng. Thomas Göthel, Sabine Glesner
2010	B	`conf`	Automated conformance evaluation of SystemC designs using timed automata. ETS Paula Herber, Marcel Pockrandt, Sabine Glesner
2010	—	`conf`	Formal Modeling and Verification of Low-Level Software Programs. QSIC Björn Bartels, Sabine Glesner
2010	J	`jnl`	Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Björn Bartels, Sabine Glesner, Thomas Göthel
2010	—	`conf`	Optimizing Aspect-Oriented Mechanisms for Embedded Applications. TOOLS (48) Christine Hundt, Daniel Stöhr, Sabine Glesner
2010	—	`conf`	Pairwise test set calculation using k-partite graphs. ICSM Elke Salecker, Sabine Glesner
2010	—	`conf`	The VATES-Diamond as a Verifier's Best Friend. Verification, Induction, Termination Analysis Sabine Glesner, Björn Bartels, Thomas Göthel, Moritz Kleine
2010	B	`conf`	Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants. SEFM Thomas Göthel, Sabine Glesner
2009	—	`conf`	Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process. TAP@TOOLS Paula Herber, Florian Friedemann, Sabine Glesner
2009	J	`jnl`	IFE has become CSRD. Comput. Sci. Res. Dev. Sabine Glesner
2009	—	`conf`	Machine-Checkable Timed CSP. NASA Formal Methods Thomas Göthel, Sabine Glesner
2009	Misc	`conf`	Verifying the Implementation of an Operating System Scheduler. TASE Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner
2008	—	`conf`	Interprocedural Speculative Optimization of Memory Accesses to Global Variables. Euro-Par Lars Gesellensetter, Sabine Glesner
2008	J	`jnl`	Manifest: Strategische Bedeutung des Software Engineering für die Medizin. Inform. Forsch. Entwickl. Sabine Glesner, Stefan Jähnichen, Barbara Paech, Bernhard Rumpe, Thomas Wetter, Alfred Winter
2008	Misc	`conf`	Model checking SystemC designs using timed automata. CODES+ISSS Paula Herber, Joachim Fellmuth, Sabine Glesner
2008	—	`conf`	Optimizing Aspectual Execution Mechanisms for Embedded Applications. WGT Christine Hundt, Sabine Glesner
2007	J	`jnl`	Editorial. Inform. Forsch. Entwickl. Sabine Glesner
2007	C	`conf`	Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. FMICS Lars Gesellensetter, Sabine Glesner, Elke Salecker
2007	—	`conf`	Preface. COCV Sabine Glesner, Jens Knoop, Rolf Drechsler
2007	—	`ed.`	Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007 COCV Sabine Glesner, Jens Knoop, Rolf Drechsler
2007	C	`conf`	Strategische Bedeutung des Software Engineering für die Medizin. Software Engineering Sabine Glesner, Stefan Jähnichen, Barbara Paech, Bernhard Rumpe, Thomas Wetter, Alfred Winter
2006	—	`conf`	Coinductive Verification of Program Optimizations Using Similarity Relations. COCV Sabine Glesner, Johannes Leitner, Jan Olaf Blech
2006	J	`jnl`	Finite Integer Computations: An Algebraic Foundation for Their Correctness. Formal Aspects Comput. Sabine Glesner
2006	—	`conf`	Only the Best Can Make It: Optimal Component Selection. FESCA@ETAPS Lars Gesellensetter, Sabine Glesner
2005	—	`conf`	Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop 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, Stefan Jähnichen, Stefan Kowalewski, Bernd J. Krämer, Stefan Leue, Claus Lewerentz, Peter Liggesmeyer, Christoph Lüth, Barbara Paech, Helmuth Arthur Partsch, Ilka Philippow, Lutz Prechelt, Andreas Rausch, Willem-Paul de Roever, Bernhard Rumpe, Gudula Rünger, Wilhelm Schäfer, Kurt Schneider, Andy Schürr, Walter F. Tichy, Bernhard Westfechtel, Wolf Zimmermann, Albert Zündorf
2005	B	`conf`	Formal Verification of Dead Code Elimination in Isabelle/HOL. SEFM Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner
2005	C	`conf`	Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler. Software Engineering Sabine Glesner, Jan Olaf Blech
2005	—	`conf`	Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL. COCV Jan Olaf Blech, Sabine Glesner, Johannes Leitner, Steffen Mülling
2005	—	`book`	Verification of optimizing compilers Sabine Glesner
2004	—	`conf`	A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL. GI Jahrestagung (2) Jan Olaf Blech, Sabine Glesner
2004	—	`conf`	A Program Result Checker for the Lexical Analysis of the GNU C Compiler. COCV Sabine Glesner, Simone Forster, Matthias Jäger
2004	—	`conf`	A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics. COCV Sabine Glesner
2004	—	`conf`	An ASM Semantics for SSA Intermediate Representations. Abstract State Machines Sabine Glesner
2004	—	`conf`	Coalgebraic Semantics for Component Systems. Architecting Systems with Trustworthy Components Sabine Glesner, Jan Olaf Blech
2004	J	`jnl`	Natural semantics as a static program analysis framework. ACM Trans. Program. Lang. Syst. Sabine Glesner, Wolf Zimmermann
2004	J	`jnl`	Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers). it Inf. Technol. Sabine Glesner, Gerhard Goos, Wolf Zimmermann
2003	—	`conf`	ASMs versus Natural Semantics: A Comparison with New Insights. Abstract State Machines Sabine Glesner
2003	—	`conf`	Classifying and Formally Verifying Integer Constant Folding. COCV Sabine Glesner, Jan Olaf Blech
2003	—	`conf`	Program Checking with Certificates: Separating Correctness-Critical Code. FME Sabine Glesner
2003	J	`jnl`	Using Program Checking to Ensure the Correctness of Compiler Implementations. J. Univers. Comput. Sci. Sabine Glesner
2002	—	`conf`	Verified Code Generation for Embedded Systems. COCV Sabine Glesner, Rubino Geiß, Boris Boesler
1999	J	`jnl`	Combining Inclusion Polymorphism and Parametric Polymorphism CoRR Sabine Glesner, Karl Stroetmann
1999	—	`conf`	Natural Semantics for Imperative and Object-Oriented Programming Languages. GI Jahrestagung Sabine Glesner
1999	—	`—`	Natürliche Semantik für imperative und objektorientierte Programmiersprachen. Sabine Glesner
1998	—	`conf`	Using many-sorted natural semantics to specify and generate semantic analysis. Systems Implementation 2000 Sabine Glesner, Wolf Zimmermann
1997	Misc	`conf`	Many-Sorted Logic in a Learning Theorem Prover. KI Thomas Kolbe, Sabine Glesner
1995	C	`conf`	Constructing Flexible Dynamic Belief Networks from First-Order Probalistic Knowledge Bases. ECSQARU Sabine Glesner, Daphne Koller