Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for sel4 with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2007 (1) 2008 (2) 2009 (3) 2010 (2) 2011 (1)
Publication types (Num. hits)
article(2) inproceedings(7)
Venues (Conferences, Journals, ...)
TPHOLs(2) ApSys(1) Commun. ACM(1) ICFP(1) ITP(1) Operating Systems Review(1) SOSP(1) VSTTE(1)
Authors
Gerwin Klein(9) Kevin Elphinstone(5) Thomas Sewell(5) David Cock(4) June Andronick(4) Simon Winwood(4) Dhammika Elkaduwe(3) Gernot Heiser(3) Michael Norrish(3) Philip Derrin(3) Harvey Tuch(2) Ihor Kuz(2) Kai Engelhardt(2) Rafal Kolanski(2) Adam Walker(1) Corey Lewis(1) More (+10 of total 19)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 6 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
3Gerwin 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. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF l4, sel4, microkernel, isabelle/hol
3Gerwin Klein, Philip Derrin, Kevin Elphinstone Experience report: seL4: formally verifying a high-performance microkernel. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF seL4, haskell, microkernel, Isabelle/HOL
2Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker capDL: a language for describing capability-based systems. Search on Bibsonomy ApSys The full citation details ... 2010 DBLP  DOI  BibTeX  RDF SEL4, capability distribution, capabilities, security analysis, isabelle
2Dhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone Verified Protection Model of the seL4 Microkernel. Search on Bibsonomy VSTTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Thomas Sewell, Simon Winwood, Peter Gammie, Toby C. Murray, June Andronick, Gerwin Klein seL4 Enforces Integrity. Search on Bibsonomy ITP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gerwin 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. Search on Bibsonomy Commun. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Simon Winwood, Gerwin Klein, Thomas Sewell, June Andronick, David Cock, Michael Norrish Mind the Gap. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1David Cock, Gerwin Klein, Thomas Sewell Secure Microkernels, State Monads and Scalable Refinement. Search on Bibsonomy TPHOLs The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein, Stefan M. Petters Towards trustworthy computing systems: taking microkernels to the next level. Search on Bibsonomy Operating Systems Review The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.