Sabine Glesner

According to our database1, Sabine Glesner authored at least 101 papers between 1995 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
CSRD has become SICS.
Computer Science - R&D, 2019

Fault-Tolerance by Graceful Degradation for Car Platoons.
Proceedings of the Workshop on Autonomous Systems Design, 2019

Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution.
Proceedings of the Ninth ACM Conference on Data and Application Security and Privacy, 2019

2018
Runtime management and quantitative evaluation of changing system goals in complex autonomous systems.
Journal of Systems and Software, 2018

Comprehensible and dependable self-learning self-adaptive systems.
Journal of Systems Architecture - Embedded Systems Design, 2018

Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language.
Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018

Information Flow Analysis of Combined Simulink/Stateflow Models.
Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018

Comprehensible Decisions in Complex Self-Adaptive Systems.
Proceedings of the Software Engineering und Software Management 2018, 2018

Equivalence Checking for Hybrid Control Systems Modelled in Simulink.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X.
Proceedings of the Formal Methods and Software Engineering, 2018

Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages.
Proceedings of the Formal Methods and Software Engineering, 2018

Be Prepared: Learning Environment Profiles for Proactive Rule-Based Production Planning.
Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications, 2018

Instruction Caches in Static WCET Analysis of Artificially Diversified Software.
Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018

2017
Parameterisation and Optimisation Patterns for MAPE-K Feedback Loops.
Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017

Runtime Management and Quantitative Evaluation of Changing System Goals.
Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, 2017

Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity.
Proceedings of the 15th IEEE Intl Conf on Dependable, 2017

Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016
Splitting tasks for migrating real-time automotive applications to multi-core ECUs.
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

Refinement-Based Verification of Communicating Unstructured Code.
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Formal Models for Analysing Dynamic Adaptation Behaviour in Real-Time Systems.
Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models.
Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016

Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016

2015
A Denotational Semantics for Communicating Unstructured Code.
Proceedings of the Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2015

Verification of Embedded Real-time Systems.
Proceedings of the Formal Modeling and Verification of Cyber-Physical Systems, 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), 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), 2015

Timed Path Conditions in MATLAB/Simulink.
Proceedings of the System Level Design from HW/SW to Memory for Embedded Systems, 2015

STATE - A SystemC to Timed Automata Transformation Engine.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

Adaptive Knowledge Bases in Self-Adaptive System Design.
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014
Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Methods of Model Quality in the Automotive Area.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 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, 2014

Towards the Development of Smart and Reliable Health Assistance Networks Exemplified by an Apnea Detection System.
Proceedings of the 2014 IEEE International Conference on Healthcare Informatics, 2014

2013
A HW/SW co-verification framework for SystemC.
ACM Trans. Embedded Comput. Syst., 2013

Rigorous software engineering.
Computer Science - R&D, 2013

Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks
Proceedings of the Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2013

Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Design and verification of a health-monitoring driver assistance system.
Proceedings of the 7th International Conference on Pervasive Computing Technologies for Healthcare and Workshops, 2013

Model Checking Memory-Related Properties of Hardware/Software Co-designs.
Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

Towards Automated and Correct Composition of Timed Services.
Proceedings of the Service-Oriented Computing - ICSOC 2012 Workshops, 2013

Towards the Automated Synthesis of Data Dependent Service Controllers.
Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

Automatic validation of infinite real-time systems.
Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 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, 2013

2012
Optimized Transformation and Verification of SystemC Methods.
ECEASST, 2012

Automated Composition of Timed Services by Planning as Model Checking.
Proceedings of the 4<sup>th</sup> Central-European Workshop on Services and their Composition, 2012

Making MPI Intelligent.
Proceedings of the Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Slicing MATLAB Simulink models.
Proceedings of the 34th International Conference on Software Engineering, 2012

Static prediction of recursion frequency using machine learning to enable hot spot optimizations.
Proceedings of the IEEE 10th Symposium on Embedded Systems for Real-time Multimedia, 2012

2011
Static run-time mode extraction by state partitioning in synchronous process networks.
Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems, 2011

Transforming SystemC Transaction Level Models into UPPAAL timed automata.
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

MeMo - Methods of Model Quality.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011

Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Model checking a SystemC/TLM design of the AMBA AHB protocol.
Proceedings of the 9th IEEE Symposium on Embedded Systems for Real-Time Multimedia, 2011

Static Analysis of Run-Time Modes in Synchronous Process Network.
Proceedings of the Perspectives of Systems Informatics, 2011

Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP.
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010
An approach for machine-assisted verification of Timed CSP specifications.
ISSE, 2010

Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification.
ECEASST, 2010

Optimizing Aspect-Oriented Mechanisms for Embedded Applications.
Proceedings of the Objects, Models, Components, Patterns, 48th International Conference, 2010

Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Formal Modeling and Verification of Low-Level Software Programs.
Proceedings of the 10th International Conference on Quality Software, 2010

Pairwise test set calculation using k-partite graphs.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Automated conformance evaluation of SystemC designs using timed automata.
Proceedings of the 15th European Test Symposium, 2010

The VATES-Diamond as a Verifier's Best Friend.
Proceedings of the Verification, Induction, Termination Analysis, 2010

2009
IFE has become CSRD.
Computer Science - R&D, 2009

Optimizing Aspectual Execution Mechanisms for Embedded Applications.
Electr. Notes Theor. Comput. Sci., 2009

Verifying the Implementation of an Operating System Scheduler.
Proceedings of the TASE 2009, 2009

Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process.
Proceedings of the Tests and Proofs, Third International Conference, 2009

Machine-Checkable Timed CSP.
Proceedings of the First NASA Formal Methods Symposium, 2009

2008
Manifest: Strategische Bedeutung des Software Engineering für die Medizin.
Inform., Forsch. Entwickl., 2008

Interprocedural Speculative Optimization of Memory Accesses to Global Variables.
Proceedings of the Euro-Par 2008, 2008

Model checking SystemC designs using timed automata.
Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008

2007
Editorial.
Inform., Forsch. Entwickl., 2007

Coinductive Verification of Program Optimizations Using Similarity Relations.
Electr. Notes Theor. Comput. Sci., 2007

Preface.
Electr. Notes Theor. Comput. Sci., 2007

Only the Best Can Make It: Optimal Component Selection.
Electr. Notes Theor. Comput. Sci., 2007

Strategische Bedeutung des Software Engineering für die Medizin.
Proceedings of the Software Engineering 2007, 2007

Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler.
Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2006
Finite Integer Computations: An Algebraic Foundation for Their Correctness.
Formal Asp. Comput., 2006

2005
A Program Result Checker for the Lexical Analysis of the GNU C Compiler.
Electr. Notes Theor. Comput. Sci., 2005

A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics.
Electr. Notes Theor. Comput. Sci., 2005

Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL.
Electr. Notes Theor. Comput. Sci., 2005

Formal Verification of Dead Code Elimination in Isabelle/HOL.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler.
Proceedings of the Software Engineering 2005, 2005


2004
Natural semantics as a static program analysis framework.
ACM Trans. Program. Lang. Syst., 2004

Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers).
it - Information Technology, 2004

A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL.
Proceedings of the INFORMATIK 2004, 2004

Coalgebraic Semantics for Component Systems.
Proceedings of the Architecting Systems with Trustworthy Components, 2004

An ASM Semantics for SSA Intermediate Representations.
Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004

2003
Using Program Checking to Ensure the Correctness of Compiler Implementations.
J. UCS, 2003

Classifying and Formally Verifying Integer Constant Folding.
Electr. Notes Theor. Comput. Sci., 2003

Program Checking with Certificates: Separating Correctness-Critical Code.
Proceedings of the FME 2003: Formal Methods, 2003

ASMs versus Natural Semantics: A Comparison with New Insights.
Proceedings of the Abstract State Machines, 2003

2002
Verified Code Generation for Embedded Systems.
Electr. Notes Theor. Comput. Sci., 2002

1999
Natürliche Semantik für imperative und objektorientierte Programmiersprachen.
PhD thesis, 1999

Natural Semantics for Imperative and Object-Oriented Programming Languages.
Proceedings of the Informatik '99, 1999

1998
Using many-sorted natural semantics to specify and generate semantic analysis.
Proceedings of the Systems Implementation 2000, 1998

1997
Many-Sorted Logic in a Learning Theorem Prover.
Proceedings of the KI-97: Advances in Artificial Intelligence, 1997

1995
Constructing Flexible Dynamic Belief Networks from First-Order Probalistic Knowledge Bases.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995


  Loading...