Sabine Glesner

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 39

Top Venues

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Levin Chee Xian Ho, Marko Esche, Martin Nischwitz, Sabine Glesner
Performance Analysis of Model-Based Functional Identification on Modified Measuring Instruments. I2MTC (2024)
Julian Klein, Paul Kogel, Sabine Glesner
Verifying Opacity of Discrete-Timed Automata. FormaliSE@ICSE (2024)
Paul Kogel, Verena Klös, Sabine Glesner
Learning Mealy Machines with Local Timers. ICFEM (2023)
Levin Chee Xian Ho, Marko Esche, Martin Nischwitz, Reinhard Meyer, Sabine Glesner
A Proposal for Functional Software Identification Using Risk-Based Continuous Quality Control. KKIO@FedCSIS (2023)
Simon Schwan, Verena Klös, Sabine Glesner
A Goal-Oriented Specification Language for Reinforcement Learning. MDAI (2023)
Paul Kogel, Verena Klös, Sabine Glesner
TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter. ICFEM (2022)
Timm Liebrenz, Paula Herber, Sabine Glesner
Service-oriented decomposition and verification of hybrid system models using feature models and contracts. Sci. Comput. Program. 211 (2021)
Florian Ziesche, Verena Klös, Sabine Glesner
Anomaly Detection and Classification to enable Self-Explainability of Autonomous Systems. DATE (2021)
Timm Liebrenz, Paula Herber, Sabine Glesner
Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink. ISoLA (3) (2020)
Joachim Fellmuth, Julian Hartmer, Hanno Skowronek, Sabine Glesner
Efficient Load-Time Diversity for an Embedded Real-Time Operating System. SAFECOMP (2020)
Stefan Sydow, Mohannad Nabelsee, Sabine Glesner, Paula Herber
Towards Profile-Guided Optimization for Safe and Efficient Parallel Stream Processing in Rust. SBAC-PAD (2020)
Joachim Fellmuth, Jonas Zell, Sabine Glesner
Evaluating Software Diversity in Branch Prediction Analyses for static WCET Estimation. RTCSA (2019)
Timm Liebrenz, Paula Herber, Sabine Glesner
A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models. FACS (2019)
Tobias F. Pfeffer, Thomas Göthel, Sabine Glesner
Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution. QRS (2019)
Tobias F. Pfeffer, Sabine Glesner
Timing-Sensitive Synchronization for Efficient Secure Multi-Execution. CCSW@CCS (2019)
M. Baha E. Zarrouki, Verena Klös, Markus Grabowski, Sabine Glesner
Fault-Tolerance by Graceful Degradation for Car Platoons. ASD@DATE (2019)
Tobias F. Pfeffer, Thomas Göthel, Sabine Glesner
Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution. CODASPY (2019)
Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner
Information Flow Analysis of Combined Simulink/Stateflow Models. Inf. Technol. Control. 48 (2) (2019)
Konstantin Scherer, Tobias F. Pfeffer, Sabine Glesner
I/O Interaction Analysis of Binary Code. WETICE (2019)
Sabine Glesner
CSRD has become SICS. SICS Softw.-Intensive Cyber Phys. Syst. 34 (1) (2019)
Verena Klös, Thomas Göthel, Sabine Glesner
Comprehensible and dependable self-learning self-adaptive systems. J. Syst. Archit. (2018)
Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner
Equivalence Checking for Hybrid Control Systems Modelled in Simulink. QRS Companion (2018)
Joachim Fellmuth, Thomas Göthel, Sabine Glesner
Instruction Caches in Static WCET Analysis of Artificially Diversified Software. ECRTS (2018)
Verena Klös, Thomas Göthel, Sabine Glesner
Comprehensible Decisions in Complex Self-Adaptive Systems. Software Engineering (2018)
Timm Liebrenz, Paula Herber, Sabine Glesner
Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X. ICFEM (2018)
Verena Klös, Thomas Göthel, Sabine Glesner
Runtime management and quantitative evaluation of changing system goals in complex autonomous systems. J. Syst. Softw. 144 (2018)
Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner
Information Flow Analysis of Combined Simulink/Stateflow Models. WETICE (2018)
Nils Berg, Thomas Göthel, Armin Danziger, Sabine Glesner
Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages. ICFEM (2018)
Tobias F. Pfeffer, Paula Herber, Lucas Druschke, Sabine Glesner
Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language. WETICE (2018)
Verena Klös, Thomas Göthel, Sabine Glesner
Be Prepared: Learning Environment Profiles for Proactive Rule-Based Production Planning. SEAA (2018)
Verena Klös, Thomas Göthel, Sabine Glesner
Parameterisation and Optimisation Patterns for MAPE-K Feedback Loops. FAS*W@SASO/ICCAC (2017)
Verena Klös, Thomas Göthel, Adrian Lohr, Sabine Glesner
Runtime Management and Quantitative Evaluation of Changing System Goals. SEAA (2017)
Joachim Fellmuth, Paula Herber, Tobias F. Pfeffer, Sabine Glesner
Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity. DASC/PiCom/DataCom/CyberSciTech (2017)
Timm Liebrenz, Paula Herber, Thomas Göthel, Sabine Glesner
Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink. COMPSAC (2) (2017)
Nils Jähnig, Thomas Göthel, Sabine Glesner
Refinement-Based Verification of Communicating Unstructured Code. SEFM (2016)
Verena Klös, Thomas Göthel, Sabine Glesner
Formal Models for Analysing Dynamic Adaptation Behaviour in Real-Time Systems. FAS*W@SASO/ICCAC (2016)
Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner
Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. CyPhy (2016)
Marcus Mikulcak, Thomas Göthel, Paula Herber, Sabine Glesner
Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. GI-Jahrestagung (2016)
Martin Lowinski, Dirk Ziegenbein, Sabine Glesner
Splitting tasks for migrating real-time automotive applications to multi-core ECUs. SIES (2016)
Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner
Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations. AMT@MoDELS (2015)
Nils Jähnig, Thomas Göthel, Sabine Glesner
A Denotational Semantics for Communicating Unstructured Code. FESCA (2015)
Verena Klös, Thomas Göthel, Sabine Glesner
Adaptive Knowledge Bases in Self-Adaptive System Design. EUROMICRO-SEAA (2015)
Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner
Timed Path Conditions in MATLAB/Simulink. IESS (2015)
Martin Lowinski, Dirk Ziegenbein, Sabine Glesner
Partitioning Embedded Real-Time Control Software based on Communication Dependencies. MASE@MoDELS (2015)
Paula Herber, Sabine Glesner
Verification of Embedded Real-time Systems. SyDe Summer School (2015)
Paula Herber, Marcel Pockrandt, Sabine Glesner
STATE - A SystemC to Timed Automata Transformation Engine. HPCC/CSS/ICESS (2015)
Franziska Bathelt-Tok, Helena Gruhn, Sabine Glesner, Oliver Blankenstein
Towards the Development of Smart and Reliable Health Assistance Networks Exemplified by an Apnea Detection System. ICHI (2014)
Robert Reicherdt, Sabine Glesner
Methods of Model Quality in the Automotive Area. Software Engineering (2014)
Franziska Bathelt-Tok, Sabine Glesner, Oliver Blankenstein
Data-dependent controller synthesis to enable reliable and safe interoperability of medical devices. PervasiveHealth (2014)
Robert Reicherdt, Sabine Glesner
Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie. SEFM (2014)
Helena Gruhn, Sabine Glesner
Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks FESCA (2013)
Marcel Pockrandt, Paula Herber, Verena Klös, Sabine Glesner
Model Checking Memory-Related Properties of Hardware/Software Co-designs. IESS (2013)
Daniel Stöhr, Sabine Glesner
Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking. TASE (2013)
Helena Gruhn, Daniel Stöhr, Mehmet Gövercin, Sabine Glesner
Design and verification of a health-monitoring driver assistance system. PervasiveHealth (2013)
Thomas Göthel, Sabine Glesner
Automatic validation of infinite real-time systems. FormaliSE@ICSE (2013)
Daniel Stöhr, Sabine Glesner
Towards Automated and Correct Composition of Timed Services. ICSOC Workshops (2013)
Paula Herber, Sabine Glesner
A HW/SW co-verification framework for SystemC. ACM Trans. Embed. Comput. Syst. 12 (1s) (2013)
Dirk Tetzlaff, Sabine Glesner
Static Prediction of Loop Iteration Counts Using Machine Learning to Enable Hot Spot Optimizations. EUROMICRO-SEAA (2013)
Franziska Bathelt-Tok, Sabine Glesner
Towards the Automated Synthesis of Data Dependent Service Controllers. ICSOC Workshops (2013)
Sabine Glesner
Rigorous software engineering. Comput. Sci. Res. Dev. 28 (4) (2013)
Elke Salecker, Sabine Glesner
Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing. ICST (2012)
Robert Reicherdt, Sabine Glesner
Slicing MATLAB Simulink models. ICSE (2012)
Dirk Tetzlaff, Sabine Glesner
Making MPI Intelligent. Software Engineering (Workshops) (2012)
Dirk Tetzlaff, Sabine Glesner
Static prediction of recursion frequency using machine learning to enable hot spot optimizations. ESTIMedia (2012)
Marcel Pockrandt, Paula Herber, Holger Gross, Sabine Glesner
Optimized Transformation and Verification of SystemC Methods. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)
Daniel Stöhr, Sabine Glesner
Automated Composition of Timed Services by Planning as Model Checking. ZEUS (2012)
Michael Beyer, Sabine Glesner
Static run-time mode extraction by state partitioning in synchronous process networks. SCOPES (2011)
Björn Bartels, Sabine Glesner
Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP. APSEC (2011)
Joachim Hänsel, Daniela Rose, Paula Herber, Sabine Glesner
An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems. ICST (2011)
Wei Hu, Joachim Wegener, Ingo Stürmer, Robert Reicherdt, Elke Salecker, Sabine Glesner
MeMo - Methods of Model Quality. MBEES (2011)
Michael Beyer, Sabine Glesner
Static Analysis of Run-Time Modes in Synchronous Process Network. Ershov Memorial Conference (2011)
Paula Herber, Marcel Pockrandt, Sabine Glesner
Transforming SystemC Transaction Level Models into UPPAAL timed automata. MEMOCODE (2011)
Elke Salecker, Robert Reicherdt, Sabine Glesner
Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams. ICST Workshops (2011)
Marcel Pockrandt, Paula Herber, Sabine Glesner
Model checking a SystemC/TLM design of the AMBA AHB protocol. ESTIMedia (2011)
Paula Herber, Marcel Pockrandt, Sabine Glesner
Automated conformance evaluation of SystemC designs using timed automata. ETS (2010)
Christine Hundt, Daniel Stöhr, Sabine Glesner
Optimizing Aspect-Oriented Mechanisms for Embedded Applications. TOOLS (48) (2010)
Björn Bartels, Sabine Glesner, Thomas Göthel
Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
Thomas Göthel, Sabine Glesner
An approach for machine-assisted verification of Timed CSP specifications. Innov. Syst. Softw. Eng. 6 (3) (2010)
Elke Salecker, Sabine Glesner
Pairwise test set calculation using k-partite graphs. ICSM (2010)
Sabine Glesner, Björn Bartels, Thomas Göthel, Moritz Kleine
The VATES-Diamond as a Verifier's Best Friend. Verification, Induction, Termination Analysis (2010)
Björn Bartels, Sabine Glesner
Formal Modeling and Verification of Low-Level Software Programs. QSIC (2010)
Thomas Göthel, Sabine Glesner
Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants. SEFM (2010)
Paula Herber, Florian Friedemann, Sabine Glesner
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process. TAP@TOOLS (2009)
Christine Hundt, Sabine Glesner
Optimizing Aspectual Execution Mechanisms for Embedded Applications. Electron. Notes Theor. Comput. Sci. 238 (2) (2009)
Sabine Glesner
IFE has become CSRD. Comput. Sci. Res. Dev. 23 (1) (2009)
Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner
Verifying the Implementation of an Operating System Scheduler. TASE (2009)
Thomas Göthel, Sabine Glesner
Machine-Checkable Timed CSP. NASA Formal Methods (2009)
Lars Gesellensetter, Sabine Glesner
Interprocedural Speculative Optimization of Memory Accesses to Global Variables. Euro-Par (2008)
Paula Herber, Joachim Fellmuth, Sabine Glesner
Model checking SystemC designs using timed automata. CODES+ISSS (2008)
Sabine Glesner, Stefan Jähnichen, Barbara Paech, Bernhard Rumpe, Thomas Wetter, Alfred Winter
Manifest: Strategische Bedeutung des Software Engineering für die Medizin. Inform. Forsch. Entwickl. 22 (3) (2008)
Sabine Glesner
Editorial. Inform. Forsch. Entwickl. 22 (1) (2007)
Sabine Glesner, Stefan Jähnichen, Barbara Paech, Bernhard Rumpe, Thomas Wetter, Alfred Winter
Strategische Bedeutung des Software Engineering für die Medizin. Software Engineering (2007)
Lars Gesellensetter, Sabine Glesner
Only the Best Can Make It: Optimal Component Selection. Electron. Notes Theor. Comput. Sci. 176 (2) (2007)
Sabine Glesner, Johannes Leitner, Jan Olaf Blech
Coinductive Verification of Program Optimizations Using Similarity Relations. Electron. Notes Theor. Comput. Sci. 176 (3) (2007)
Lars Gesellensetter, Sabine Glesner, Elke Salecker
Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. FMICS (2007)
Sabine Glesner, Jens Knoop, Rolf Drechsler
Preface. Electron. Notes Theor. Comput. Sci. 190 (4) (2007)
Sabine Glesner
Finite Integer Computations: An Algebraic Foundation for Their Correctness. Formal Aspects Comput. 18 (2) (2006)
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
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop (2005)
Sabine Glesner, Jan Olaf Blech
Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler. Software Engineering (2005)
Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner
Formal Verification of Dead Code Elimination in Isabelle/HOL. SEFM (2005)

Sabine Glesner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sabine Glesner