|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 27 occurrences of 20 keywords
|
|
|
|
|
Results
Found 39 publication records. Showing 39 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Gernot Heiser, Toby C. Murray, Gerwin Klein |
It's Time for Trustworthy Systems.  |
IEEE Security & Privacy  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Sewell, Simon Winwood, Peter Gammie, Toby C. Murray, June Andronick, Gerwin Klein |
seL4 Enforces Integrity. |
ITP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood |
seL4: formal verification of an operating-system kernel. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerwin Klein |
The L4.verified Project - Next Steps. |
VSTTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker |
capDL: a language for describing capability-based systems. |
ApSys |
2010 |
DBLP DOI BibTeX RDF |
SEL4, capability distribution, capabilities, security analysis, isabelle |
| 1 | Gerwin Klein |
A Formally Verified OS Kernel. Now What? |
ITP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerwin Klein |
From a Verified Kernel towards Verified Systems. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Huuck, Gerwin Klein, Bastian Schlich |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerwin Klein, Ralf Huuck, Bastian Schlich |
Operating System Verification. |
J. Autom. Reasoning |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood |
seL4: formal verification of an OS kernel. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
l4, sel4, microkernel, isabelle/hol |
| 1 | Gerwin Klein, Philip Derrin, Kevin Elphinstone |
Experience report: seL4: formally verifying a high-performance microkernel. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
seL4, haskell, microkernel, Isabelle/HOL |
| 1 | Simon Winwood, Gerwin Klein, Thomas Sewell, June Andronick, David Cock, Michael Norrish |
Mind the Gap. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafal Kolanski, Gerwin Klein |
Types, Maps and Separation Logic. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Huuck, Gerwin Klein, Bastian Schlich |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Gerwin Klein (eds.) |
Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008 |
VERIFY |
2008 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Beckert, Gerwin Klein |
Title, Preface, Table of Contents. |
VERIFY |
2008 |
DBLP BibTeX RDF |
|
| 1 | Dhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone |
Verified Protection Model of the seL4 Microkernel. |
VSTTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafal Kolanski, Gerwin Klein |
Mapped Separation Logic. |
VSTTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Cock, Gerwin Klein, Thomas Sewell |
Secure Microkernels, State Monads and Scalable Refinement. |
TPHOLs |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein, Stefan M. Petters |
Towards trustworthy computing systems: taking microkernels to the next level. |
Operating Systems Review |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Meng, Lawrence C. Paulson, Gerwin Klein |
A Termination Checker for Isabelle Hoare Logic. |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
| 1 | Harvey Tuch, Gerwin Klein, Michael Norrish |
Types, bytes, and separation logic. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
C, separation logic, interactive theorem proving |
| 1 | Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser |
Towards a Practical, Verified Kernel. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Gerwin Klein, Tobias Nipkow |
A machine-checked model for a Java-like language, virtual machine, and compiler. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Java, theorem proving, operational semantics |
| 1 | Rafal Kolanski, Gerwin Klein |
Formalising the L4 microkernel API. |
CATS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty |
On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty |
Running the manual: an approach to high-assurance microkernel development. |
Haskell |
2006 |
DBLP DOI BibTeX RDF |
formalisation, verification, operating systems, rapid prototyping, Haskell, monads, executable specification, Isabelle/HOL |
| 1 | Gerwin Klein, Tobias Nipkow |
Jinja is not Java. |
Archive of Formal Proofs |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gerwin Klein |
Verified Java Bytecode Verification (Verified Java Bytecode Verification). |
it - Information Technology |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Harvey Tuch, Gerwin Klein |
A Unified Memory Model for Pointers. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Harvey Tuch, Gerwin Klein, Gernot Heiser |
OS Verification - Now! |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gerwin Klein, Martin Strecker |
Verified bytecode verification and type-certifying compilation. |
J. Log. Algebr. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerwin Klein |
Example Submission. |
Archive of Formal Proofs |
2004 |
DBLP BibTeX RDF |
|
| 1 | Martin Wildmoser, Tobias Nipkow, Gerwin Klein, Sebastian Nanz |
Prototyping Proof Carrying Code. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Gerwin Klein, Tobias Nipkow |
Verified bytecode verifiers. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerwin Klein, Martin Wildmoser |
Verified Bytecode Subroutines. |
J. Autom. Reasoning |
2003 |
DBLP DOI BibTeX RDF |
Java, theorem proving, subroutines, dataflow analysis, Isabelle, bytecode verification |
| 1 | Gerwin Klein, Martin Wildmoser |
Verified Bytecode Subroutines. |
TPHOLs |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerwin Klein, Tobias Nipkow |
Verified lightweight bytecode verification. |
Concurrency and Computation: Practice and Experience |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfons Brandl, Gerwin Klein |
FormGen: A Generator for Adaptive Forms Based on EasyGUI. |
HCI |
1999 |
DBLP BibTeX RDF |
|
Displaying result #1 - #39 of 39 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")