Sabine Glesner und Verification - Info zur Person

(1 - 31 von 39

)

Campus Event Calendar: Frau Dr. Sabine Glesner ( in 45/HS 1)

domino.mpi-inf.mpg.de

What and Who. Title: Verification of Optimizing Compilers. Speaker: Frau Dr. Sabine Glesner. coming from: Universität Karlsruhe. Speakers Bio: Event Type ...

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

Author: Dyck, Johannes

www.hpi.uni-potsdam.de

Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner, "Towards the Automatic Verification of Behavior Preservation at the ...

Towards the Automatic Verification of Behavior Preservation at the ...www.hpi.uni-potsdam.de › misc › bibtexbrowser

www.hpi.uni-potsdam.de

... Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner), In Analysis of Model Transformations, AMT (Jürgen Dingel, Sahar Kokaly, ...

Towards the Automatic Verification of Behavior Preservation at ...

www.hpi.uni-potsdam.de

... Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner), In Fourth Workshop on the Analysis of Model Transformations, (To Appear). › ...

A Framework for Automated HW/SW Co-Verification of SystemC Designs...

books.google.ca

[HFG08] Paula Herber, Joachim Fellmuth, and Sabine Glesner. Model Checking SystemC Designs Using Timed Automata. In International Conference on ...

Embedded Systems: Design, Analysis and Verification: 4th IFIP TC

books.google.de

This book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June...

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 ...

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.

EPTCS 199: Verification and Program Transformation

arxiv.org

Verifying Temporal Properties of Reactive Systems by Transformation Geoff Hamilton, 33. Control Flow Analysis for SF Combinator Calculus Martin Lester, 51. Towards the Verification of Refactorings of Hybrid Simulink Models Sebastian Schlesinger, Paula Herber, Thomas Göthel and Sabine Glesner,

Publications - Uni Münster

www.uni-muenster.de

Timm Liebrenz, Paula Herber, Sabine Glesner ' Towards Automated Service-oriented Verification of Embedded Control Software modeled in Simulink . › publ

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

Sabine Glesner - DBLPdblp.org › Persons

dblp.org

Timm Liebrenz, Paula Herber , Sabine Glesner: Service-oriented decomposition and verification of hybrid system models using feature models and contracts.

Distinguished Lecturer Series (Computer Sciences) continued

www.mscj.uni-jena.de

Febrary – Sabine Glesner (Technische Universität Berlin). Static Analysis and Verification of Embedded and Cyber-Physical Systems ... › dist...

Combining Model Checking and Testing in a Continuous HW/SW...

link.springer.com

SystemC is widely used for modeling and simulation in hardware/software co-design. However, the co-verification techniques used for SystemC designs are mostly...

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...

Efficient Construction and Verification of Embedded Software |...

link.springer.com

Intelligent Computer-Human Interface, Shanghai Jiao Tong University. Authors. Sabine Glesner (5). Author Affiliations. 5. Software Engineering for Embedded ...

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...

Coinductive Verification of Program Optimizations Using ...cyberleninka.org › article

cyberleninka.org

Abstract of research paper on Computer and information sciences, author of scientific article — Sabine Glesner, Johannes Leitner, Jan Olaf Blech. Abstract ...

FMICS07 - Home Page

fmics.inria.fr

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

Towards the Automatic Verification of Behavior Preservation at ...hpi.de › misc › bibtexbrowser › Le...

hpi.de

Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner, "Towards the Automatic Verification of Behavior Preservation at the ...

Program | SEFM 2014

sefm2014.inria.fr

Robert Reicherdt and Sabine Glesner. Formal Verification of Discrete-Time MATLAB/Simulink Models using Boogie. Klaus Becker, Bernhard ...

SyDe Summer School on Modeling and Verification of Cyber-Physical...

www.summerschoolsineurope.eu

Bernd Becker, Krish Chakrabarty, Goran Frehse, Sabine Glesner, Sami Haddadin, Klaus Havelund, Anne Haxthausen, Elsa Kirchner, Frédéric Mallet, Jens ...

TLM.open: a SystemC/TLM Frontend for the CADP Verification Toolbox |...

ojs.dagstuhl.de

TLM.open: a SystemC/TLM Frontend for the CADP Verification Toolbox

VPT Program

refal.botik.ru

Sebastian Schlesinger, Paula Herber, Thomas Gothel and Sabine Glesner. Towards the Verification of Refactorings of Hybrid Simulink Models. (Presentation ...

ArtistDesign NoE - Core Team Leaders

www.artist-embedded.org

Prof. Dr. Sabine Glesner TU Berlin ... Research interests Compilers, Verification, Embedded Systems and Software

Alle Infos zum Namen "Sabine Glesner"

Verwandte Suchanfragen zu Sabine Glesner

Holger Giese
Thomas Göthel
Paula Herber

Christine Hundt
Jürgen Ebert
Manfred Broy

Sebastian Schlesinger
Manfred Nagl
Elke Salecker

Personen
Vorname "Sabine" (69754)
Name "Glesner" (16)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Sabine Glesner und Verification Person-Info