Skip to contents

Göthel, Thomas [Author] ; Glesner, Sabine [Degree supervisor]

Mechanical Verification of Parameterized Real-Time Systems

View online
Schließen

Access

https://d-nb.info/1023762234/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Universitätsbibliothek der Technischen Universität Berlin, 2012
Hundt, Christine [Author] ; Glesner, Sabine [Degree supervisor]

Optimized Aspect Execution Mechanisms inside Virtual Machines for Embedded Systems

View online
Schließen

Access

https://d-nb.info/1018765026/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Universitätsbibliothek der Technischen Universität Berlin, 2012
Salecker, Elke [Author] ; Glesner, Sabine [Degree supervisor]

Test and verification of compiler back ends with a cost-benefit analysis

View online
Schließen

Access

https://d-nb.info/1026483697/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Universitätsbibliothek der Technischen Universität Berlin, 2012
Glesner, Sabine [Author]

Natural semantics for imperative and object-oriented programming languages

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/316199

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Glesner, Sabine [Author]

An ASM Semantics for SSA Intermediate Representations

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000002623

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Verlag, 2004-01-01
Glesner, Sabine [Author]

An introduction to (Co)algebras and (Co)induction and their application to the semantics of programming languages

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000004121

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Universität Karlsruhe (TH), 2005-01-01
Glesner, Sabine [Author]

Optimierende Compiler: Vertrauen ist gut, Verifikation ist besser!

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000004126

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Universität Karlsruhe (TH), 2005-01-01
Glesner, Sabine [Author]

A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000002626

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier, 2004-01-01
Glesner, Sabine [Author]

Verification of optimizing compilers

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000003434

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KIT-Bibliothek, Karlsruhe, 2005-01-01
Glesner, Sabine [Author]

Natürliche Semantik für imperative und objektorientierte Programmiersprachen

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/30799

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KIT-Bibliothek, Karlsruhe, 1999-01-01
Dörr, Heiko [Contributor]; Glesner, Sabine [Contributor] ; Model Engineering Solutions GmbH, Technische Universität Berlin Fachgebiet Software and Embedded Systems Engineering

ECoSMo: Effektive Komplexität von Software-Modellen : Schlußbericht : im Rahmen des BMBF Förderprogramms KMU-innovativ

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Berlin]: Model Engineering Solutions, [2019?]
Plazar, Sascha [Author] ; Marwedel, Peter [Contributor]; Glesner, Sabine [Contributor]

Memory-based optimization techniques for real-time systems

View online
Schließen

Links

http://hdl.handle.net/2003/29500

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Eldorado - Repositorium der TU Dortmund, 2012-07-06
Plazar, Sascha [Author] ; Marwedel, Peter [Degree supervisor]; Glesner, Sabine [Other]

Memory-based optimization techniques for real-time systems

View online
Schließen

Access

https://d-nb.info/1105660486/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dortmund: Universitätsbibliothek Dortmund, 2012
Glesner, Sabine [Author]; Zimmermann, Wolf [Author]

Structural simulation proofs based on ASMs even for non-terminating programs

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/32062001

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Glesner, Sabine [Author]; Zimmermann, Wolf [Author]

Natural Semantics as a Static Program Analysis Framework

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000002611

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery, 2005-03-23

Published in: ACM transactions on programming languages and systems, 36 (3), 510--577 ; ISSN: 0164-0925
Glesner, Sabine [Author]; Zimmermann, Wolf [Author]

Using many-sorted natural semantics to specify and generate semantic analysis

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/49698

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Chapman & Hall, 1998-01-01
Glesner, Sabine [Author]; Koller, Daphne [Author]

Constructing flexible dynamic belief networks from first-order probabilistic knowledge bases

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/369396

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Verlag, 1996-01-01
Glesner, Sabine [Author]; Zimmermann, Wolf [Author]

Using many-sorted inference rules to generate semantic analysis

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/49798

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Verl. der Augustinus-Buchhandlung, 1997-01-01
Pfeffer, Tobias Ferdinand [Author] ; Glesner, Sabine [Degree supervisor]; Glesner, Sabine [Other]; Tschorsch, Florian [Other]; Hammer, Christian [Other]

Secrecy included : confidentiality enforcement for machine code

View online
Schließen

Access

https://nbn-resolving.org/urn:nbn:de:101:1-2022021601000477058631

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Technische Universität Berlin, 2022
Klös, Verena [Author] ; Glesner, Sabine [Degree supervisor]; Glesner, Sabine [Other]; Schupp, Sibylle [Other]; Schneider, Kurt [Other]

Safe, intelligent and explainable self-adaptive systems

View online
Schließen

Access

Full access (via DOI)

https://nbn-resolving.org/urn:nbn:de:101:1-2021031000571005824683

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Technische Universität Berlin, 2021

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication