WorldCat Identities

Glesner, Sabine

Overview
Works: 18 works in 21 publications in 2 languages and 87 library holdings
Genres: Conference papers and proceedings 
Roles: Other, Author, Contributor
Publication Timeline
.
Most widely held works by Sabine Glesner
Formal verification of model refactorings for hybrid control systems by Sebastian Schlesinger( )

1 edition published in 2018 in English and held by 18 WorldCat member libraries worldwide

A framework for the automatic verification of discrete-time MATLAB simulink models using Boogie by Robert Reicherdt( )

1 edition published in 2015 in English and held by 16 WorldCat member libraries worldwide

Natürliche Semantik für imperative und objektorientierte Programmiersprachen by Sabine Glesner( Book )

2 editions published in 1999 in German and held by 8 WorldCat member libraries worldwide

CISMo: Change Impact Analysen für Software-Modelle Schlußbericht : im Rahmen des BMBF Förderprogramms KMU-INNOVATIV by Heiko Dörr( )

1 edition published in 2016 in German and held by 7 WorldCat member libraries worldwide

Names, types, and static semantic analysis by Andreas Heberle( Book )

1 edition published in 1997 in English and held by 6 WorldCat member libraries worldwide

An introduction to (co)algebras and (co)induction and their application to the semantics of programming languages by Sabine Glesner( Book )

2 editions published in 2005 in English and held by 6 WorldCat member libraries worldwide

Optimierende Compiler Vertrauen ist gut, Verifikation ist besser! by Sabine Glesner( Book )

2 editions published in 2005 in German and held by 6 WorldCat member libraries worldwide

Generating semantic analysis using constraint programming by Sabine Glesner( Book )

1 edition published in 1997 in English and held by 6 WorldCat member libraries worldwide

Generating semantic analysis using constraint programming( )

1 edition published in 1998 in English and held by 2 WorldCat member libraries worldwide

CSRD has become SICS by Sabine Glesner( )

1 edition published in 2019 in English and held by 2 WorldCat member libraries worldwide

Verification of optimizing compilers by Sabine Glesner( Book )

1 edition published in 2004 in English and held by 2 WorldCat member libraries worldwide

Names, types, and static semantic analysis( )

1 edition published in 1998 in English and held by 2 WorldCat member libraries worldwide

Refinement-Based Verification of Communicating Unstructured Code by Nils Jähnig( )

1 edition published in 2020 in English and held by 2 WorldCat member libraries worldwide

Supercomputing. XML data management. [Ed.-in-chief: S. Glesner]( Book )

1 edition published in 2009 in English and held by 1 WorldCat member library worldwide

Flexible process-aware information systems( Book )

1 edition published in 2009 in English and held by 1 WorldCat member library worldwide

Supercomputing( Book )

1 edition published in 2009 in English and held by 1 WorldCat member library worldwide

Dagstuhl perspectives( Book )

1 edition published in 2009 in English and held by 1 WorldCat member library worldwide

Proceedings of the Workshop on Compiler Optimization meets Compiler Verification (COCV 2007), Braga, Portugal, 25 March 2007 by COCV 2007( )

1 edition published in 2008 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.92 (from 0.88 for Flexible p ... to 1.00 for Proceeding ...)

Alternative Names
Glesner, S. 1971-

Glesner, Sabine Anne Maria 1971-

Sabine Glesner deutsche Informatikerin

Sabine Glesner Duits informaticus

Sabine Glesner German computer scientist

Sabine Glesner professeure d'université et informaticienne allemande (*1971)

Sabine Glesner tysk professor

Languages
English (16)

German (5)