Sabine Glesner und Formal - Info zur Person

(1 - 19 von 26

)

Fachgruppe FoMSESS der Gesellschaft für Informatik e.V.

i12www.ira.uka.de

— Sabine Glesner, Universität Karlsruhe, und Sergio Montenegro, FIRST Berlin Formal Verification of the Real-Time Operating System BOSS and ... › fomsess › programm

Formal Methods for Industrial Critical Systems: 12th International...

books.google.de

Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler Lars Gesellensetter, Sabine Glesner, and Elke Salecker Institute for ...

Software Engineering and Formal Methods: 12th International...

books.google.de

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble,...

Embedded Systems -- Modeling, Technology, and Applications:...

books.google.de

Lecture Notes in Informatics (LNI). [BGG05] Jan Olaf Blech, Lars Gesellensetter, and Sabine Glesner. Formal Verification of Dead Code Elimination in Isabelle/HOL. In Proc. 3rd IEEE International Conference on Software Engineering and Formal Methods, Koblenz, Germany, September IEEE Computer Society Press.

Formal Methods and Software Engineering: 20th International...

books.google.de

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD,...

Towards a Formal Framework for Mobile, Service-Oriented ...arxiv.org › cs

arxiv.org

Title:Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks. Authors:Helena Gruhn, Sabine Glesner · Download ...

Coinductive Verification of Program Optimizations Using ...

www.sciencedirect.com

von S Glesner · · Zitiert von: 6 — Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner. Formal Verification of Dead Code Elimination in Isabelle/HOL. Proc.3rd IEEE Int'l Conf. on Software ... › pii

Robert Reicherdt — Willkommen bei SOAMED

www.informatik.hu-berlin.de

2014: Robert Reicherdt and Sabine Glesner: "Formal Verification of Discrete-Time Matlab/Simulink Models using Boogie" In: Software Engineering and Formal Methods

Formal Verification of Discrete-Time MATLAB/Simulink Models Using...

link.springer.com

Matlab/Simulink is a widely used industrial tool for the development of embedded systems. Many of these systems are safety critical, especially in automotive...

Refinement-Based Verification of Communicating Unstructured Code |...

link.springer.com

Formal model refinement aims at preserving safety and liveness properties of models. However, there is usually a verification gap between model and executed...

Towards the Automated Synthesis of Data Dependent Service Controllers...

link.springer.com

The treatment of data is a crucial step in service composition but it is currently done manually and informally. This makes the development process...

FESCA Workshops: FESCA 2013

fesca.ipd.kit.edu

Mar 12, 2013: FESCA' Helena Gruhn and Sabine Glesner. Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks. Jan Olaf Blech.

A Proof Calculus for Natural Semantics Based on Greatest Fixed ...cyberleninka.org › article

cyberleninka.org

Abstract of research paper on Computer and information sciences, author of scientific article — Sabine Glesner. Abstract Formal semantics of programming ...