1
0
0
(1 - 16 von 24
)
Jahrestreffen "Logik in der Informatik"
www.cis.uni-muenchen.de
, Gerwin Klein, Verified Lightweight Bytecode Verification , Barbara Koenig, A Logic for the Static Analysis of Graph ...
Verified Protection Model of the seL4 Microkernel
www.gerwin-klein.de
@inproceedings{Elkaduwe_KE_08, author = {Dhammika Elkaduwe and Gerwin Klein and Kevin Elphinstone}, title = {Verified Protection Model of the {seL4 ...
A Machine-Checked, Type-Safe Model of Java Concurrency: ...google.co.th
books.google.co.th
... Gerwin Klein. Verified Java Bytecode Verification. PhD thesis, Institut für Informatik, Technische Universität München, [80] Gerwin Klein and Tobias ...
From Formal Semantics to Verified Slicing: A Modular Framework with...
books.google.de
This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such...
Verified Java Bytecode VerificationDe Gruyter
www.degruyter.com
von G Klein · · Zitiert von: 7 — Gerwin Klein, National ICT Australia, GI-Dissertationspreis Zusammenfassung Der Bytecode Verifier ist ein essenzieller.
Verified Java Bytecode Verification - De Gruyter
www.degruyter.com
von G Klein · · Zitiert von: 7 — it AusgezeichneteDissertationen Verified Java Bytecode VerificationVerifiedJavaBytecodeVerificationGerwin Klein, National ICT Australia ... › itit › html
Verified bytecode verification and type-certifying compilation
www.sciencedirect.com
von G Klein · · Zitiert von: 18 — GerwinKlein ... [20]: Gerwin Klein, Verified Java bytecode verification, Ph.D. Thesis, Institut für Informatik, Technische Universität München, › pii
Verified Lightweight Bytecode Verification
isabelle.informatik.tu-muenchen.de
@inproceedings{KleinN00, author = {Gerwin Klein and Tobias Nipkow}, title = {Verified Lightweight Bytecode Verification}, booktitle = {Proc.\ 2nd {ECOOP} Workshop on Formal ...
The L4.verified Project — Next Steps | SpringerLinklink.springer.com › ...
link.springer.com
Gerwin Klein. Gerwin Klein NICTAAustralia School of Computer Science and Engineering, UNSWSydneyAustralia. Conference paper.
Pervasive Compiler Verification - From Verified Programs to Verified...
www.dfki.de
In: Ralf Huuck, Gerwin Klein, Bastian Schlich (Hrsg.). Proceedings of the 3rd International Workshop on Systems Software Verification. International Workshop ...
Formally Verified Software in the Real World
findanexpert.unimelb.edu.au
Authors: Gerwin Klein, June Andronick, Matthew Fernandez, Ihor Kuz, Toby Murray, Gernot Heiser.
Home of Gerwin Klein - publications
doclsf.de
From a Verified Kernel towards Verified Systems (extended abstract, invited talk) G. Klein. From a Verified Kernel towards Verified Systems.
ITP Accepted Papers
itp2012.cs.princeton.edu
David Greenaway, June Andronick and Gerwin Klein. Bridging the Gap: Automatic Verified Abstraction of C. Peter Lammich and Thomas Tuerk. › a...
Verified Trustworthy Software Systems audio and video recordings |...
verificationinstitute.org
Gerwin Klein, Data61 and UNSW Australia, Australia, Provably trustworthy systems. Slides; Nickolai Zeldovich, MIT CSAIL, USA, Using Crash Hoare logic for ...
Alle Infos zum Namen "Gerwin Klein"
Verwandte Suchanfragen zu Gerwin Klein
Bastian Schlich Ralf Huuck Martin Strecker | Johannes Hölzl Nicole Bisenius |
Person "Klein" (162) Vorname "Gerwin" (474) Name "Klein" (10654) |
sortiert nach Relevanz / Datum