Sylvia Grewe und Heiko Mantel - Info zur Person

(1 - 13 von 14

)

Sylvia Grewe - Archive of Formal Proofs

afp.theoremproving.org

An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties by Oliver Bračevac, Richard Gay, Sylvia Grewe, Heiko Mantel, ...

ICT Systems Security and Privacy Protection: 29th IFIP TC google.de

books.google.de

... Sylvia Grewe, Steffen Lortz, Heiko Mantel and Henning Sudbrock for providing a formalization of the MAKS framework in Isabelle/HOL that allowed us to verify ...

dblp: Heiko Mantel

dblp.uni-trier.de

List of computer science publications by Heiko Mantel

Modeling and Analysis of Information Systems » Publications

www.mais.informatik.tu-darmstadt.de

Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock and Markus Tasch. An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties.In Archive of Formal Proofs, [ BibTeX entry ] Yuri Gil Dantas, Richard Gay, Tobias Hamann, Heiko Mantel and Johannes Schickel. An Evaluation of Bucketing in Systems with Non-Deterministic Timing Behavior.

Heiko Mantel - dblpdblp.uni-trier.de › Persons › Heiko Mantel

dblp.uni-trier.de

· Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, Markus Tasch: An Isabelle/HOL Formalization of the Modular ...

A Formalization of Assumptions and Guarantees for Compositional...

www.isa-afp.org

Title: A Formalization of Assumptions and Guarantees for Compositional Noninterference: Author: Sylvia Grewe (grewe /at/ cs /dot/ tu-darmstadt /dot/ de), Heiko Mantel ...

CiteSeerX — An Isabelle/HOL formalization of Strong Security

citeseerx.ist.psu.edu

@MISC{Grewe15anisabelle/hol, author = {Sylvia Grewe and Er Lux and Heiko Mantel and Jens Sauer}, title = {An Isabelle/HOL formalization of Strong Security},

Theory Parallel_Composition

www.isa-afp.org

(* Title: Strong-Security Authors: Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer *) theory Parallel_Composition imports Up_To_Technique begin ...

Theory MWLs

www.isa-afp.org

Title: WHATandWHERE-Security Authors: Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer *) theory MWLs imports Strong_Security.Types begin ― ‹type ...

Theory Up_To_Technique

www.isa-afp.org

(* Title: Strong-Security Authors: Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer *) theory Up_To_Technique imports Strong_Security begin context ...

Theory Preliminaries

www.isa-afp.org

... whose authors are: Sylvia Grewe, Heiko Mantel, Daniel Schoepe) *) section ‹Preliminaries› theory Preliminaries imports Main (* "HOL-Library.Lattice_Syntax" ...

Theory Type_System

www.isa-afp.org

Title: Strong-Security Authors: Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer *) theory Type_System imports Language_Composition begin locale ...

Theory Domain_example

devel.isa-afp.org

Title: Strong-Security Authors: Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer *) theory Domain_example imports Expr begin ― ‹When interpreting, we ...

Alle Infos zum Namen "Sylvia Grewe"

Verwandte Suchanfragen zu Sylvia Grewe

André Pacak
Mira Mezini
Michael Raulf

Esther Bell
Manuela Hall
Alexander Schmid

Robin Grewe
Heike Kevenhörster

Person "Grewe" (4)
Vorname "Sylvia" (25723)
Name "Grewe" (912)

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

Sylvia Grewe und Heiko Mantel Person-Info