Christoph Scheben und Software - Info zur Person

(1 - 18 von 25

)

Julian Tschannen - Chair of Software Engineering

se.inf.ethz.ch

... Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen and Mattias Ulbrich

Seminar Formale Software-Entwicklung

i12www.ira.uka.de

Christoph Scheben: Das Uppaal Tool; Jonida ...

Deductive Software Verification – The KeY Book: From Theory to...

books.google.de

Christoph Scheben. Program-level Specification and Deductive Verification of Security Properties. PhD thesis, Karlsruhe Institute of Technology, Karlsruhe, KIT, Diss., (Cited on pages 454,455,456, 457, 458, 460,463,467, 593 and 595.) Christoph Scheben and Peter H. Schmitt. Verification of information flow ...

Deductive Verification of Object-oriented Software: Dynamic Frames,...

books.google.de

The same applies to our new group member Christoph Scheben, and to the members of the other verification-related research groups at the Institute for ...

Deductive Verification of Object-oriented Software: Dynamic Frames,...

books.google.de

Software systems play a central role in modern society, and their …ctness is often crucially important. Formal specification and verification are promising...

Formal Verification of Object-Oriented Software: International...

books.google.de

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software,...

[1] Christoph Scheben. Program-level Specification and Deductive ...

i12www.ira.uka.de

[4], Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, and Mattias Ulbrich. Information flow in object-oriented software.

Information Flow in Object-Oriented Software | SpringerLink

link.springer.com

This paper contributes to the investigation of object-sensitive information flow properties for sequential Java, i.e., properties that take into account...

Formal Verification of Object-Oriented Software | SpringerLink

link.springer.com

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software,...

KIT - KASTEL - KASTEL Phase 1: Grundfragen - Nachweis...

www.kastel.kit.edu

Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter Schmitt, Matthias Ulbrich Information Flow in Object-Oriented Software : ...

KeY Project: Integrated Deductive Software Design

i12www.ira.uka.de

Publications . This page contains a ... Christoph Scheben, Peter H. Schmitt, and Tomasz Truderung Technical Report , Department of Informatics, Karlsruhe ...

The \KeY Platform for Verification and Analysis of Java Programs...

www.dfg-spp1593.de

... Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt and Mattias Ulbrich), In 6th Working Conference on Verified Software: Theories, ...

Alle Infos zum Namen "Christoph Scheben"

Verwandte Suchanfragen zu Christoph Scheben

Wolfgang Ahrendt
Tomasz Truderung
Gerhard Schellhorn

Christoph Gladisch
Jürgen Graf
Vladimir Klebanov

Daniel Bruns
Hans Dickmann
Tanja Scheben

Person "Scheben" (1)
Vorname "Christoph" (43400)
Name "Scheben" (117)

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

Christoph Scheben und Software Person-Info