Sabine Glesner
Orcid: 0009-0003-6946-3257Affiliations:
- Technical University of Berlin, Department of Mathematics, Germany
According to our database1,
Sabine Glesner
authored at least 119 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on d-nb.info
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024
Performance Analysis of Model-Based Functional Identification on Modified Measuring Instruments.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2024
2023
Proceedings of the Modeling Decisions for Artificial Intelligence, 2023
A Proposal for Functional Software Identification Using Risk-Based Continuous Quality Control.
Proceedings of the Software, System, and Service Engineering, 2023
Proceedings of the Formal Methods and Software Engineering, 2023
2022
TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter.
Proceedings of the Formal Methods and Software Engineering, 2022
2021
Service-oriented decomposition and verification of hybrid system models using feature models and contracts.
Sci. Comput. Program., 2021
Anomaly Detection and Classification to enable Self-Explainability of Autonomous Systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
2020
Towards Profile-Guided Optimization for Safe and Efficient Parallel Stream Processing in Rust.
Proceedings of the 32nd IEEE International Symposium on Computer Architecture and High Performance Computing, 2020
Proceedings of the Computer Safety, Reliability, and Security, 2020
Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020
2019
Inf. Technol. Control., 2019
Proceedings of the 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2019
Evaluating Software Diversity in Branch Prediction Analyses for static WCET Estimation.
Proceedings of the 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2019
Proceedings of the 19th IEEE International Conference on Software Quality, 2019
Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019
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
Proceedings of the 2019 ACM SIGSAC Conference on Cloud Computing Security Workshop, 2019
2018
Runtime management and quantitative evaluation of changing system goals in complex autonomous systems.
J. Syst. Softw., 2018
J. Syst. Archit., 2018
Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018
Proceedings of the Software Engineering und Software Management 2018, 2018
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
Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018
2017
Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017
Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, 2017
Proceedings of the 15th IEEE Intl Conf on Dependable, 2017
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
2016
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016
Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016
Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016
2015
Proceedings of the Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2015
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
Proceedings of the System Level Design from HW/SW to Memory for Embedded Systems, 2015
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015
2014
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014
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
Proceedings of the Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2013
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013
Proceedings of the 7th International Conference on Pervasive Computing Technologies for Healthcare and Workshops, 2013
Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013
Proceedings of the Service-Oriented Computing - ICSOC 2012 Workshops, 2013
Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013
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
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
Proceedings of the 4<sup>th</sup> Central-European Workshop on Services and their Composition, 2012
Proceedings of the Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
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
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
Proceedings of the 9th IEEE Symposium on Embedded Systems for Real-Time Multimedia, 2011
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
Innov. Syst. Softw. Eng., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
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
Proceedings of the 10th International Conference on Quality Software, 2010
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010
Proceedings of the 15th European Test Symposium, 2010
Proceedings of the Verification, Induction, Termination Analysis, 2010
2009
Proceedings of the TASE 2009, 2009
Proceedings of the Tests and Proofs - 3rd International Conference, 2009
Machine-Checkable Timed CSP.
Proceedings of the First NASA Formal Methods Symposium, 2009
2008
Inform. Forsch. Entwickl., 2008
Proceedings of the First Workshop on Generative Technologies, 2008
Proceedings of the Euro-Par 2008, 2008
Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008
2007
Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, 2007
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
Formal Aspects Comput., 2006
Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, 2006
Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2006
2005
Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL.
Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, 2005
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
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland.
Proceedings of the Perspectives Workshop, 05.10. - 08.10.2005, 2005
2004
ACM Trans. Program. Lang. Syst., 2004
Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers).
it Inf. Technol., 2004
Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, 2004
Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, 2004
Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004
Proceedings of the Architecting Systems with Trustworthy Components, 2004
Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004
2003
J. Univers. Comput. Sci., 2003
Proceedings of the Compiler Optimization Meets Compiler Verification, 2003
Proceedings of the FME 2003: Formal Methods, 2003
Proceedings of the Abstract State Machines, 2003
2002
Proceedings of the Compiler Optimization Meets Compiler Verification, 2002
1999
PhD thesis, 1999
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
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