Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Philip Derrin" ( http://dblp.L3S.de/Authors/Philip_Derrin )

  Author page on DBLP  Author page in RDF  Community of Philip Derrin in ASPL-2

Publication years (Num. hits)
2006 (1) 2007 (1) 2009 (2) 2010 (1)
Publication types (Num. hits)
article(1) inproceedings(4)
Venues (Conferences, Journals, ...)
Commun. ACM(1) Haskell(1) HotOS(1) ICFP(1) SOSP(1)
Authors
Gerwin Klein(5) Kevin Elphinstone(5) Philip Derrin(5) David Cock(3) Gernot Heiser(3) Dhammika Elkaduwe(2) Harvey Tuch(2) June Andronick(2) Kai Engelhardt(2) Michael Norrish(2) Rafal Kolanski(2) Simon Winwood(2) Thomas Sewell(2) Manuel M. T. Chakravarty(1) Timothy Roscoe(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 8 keywords
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
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
1Gerwin 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
1Gerwin 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
1Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser Towards a Practical, Verified Kernel. Search on Bibsonomy HotOS The full citation details ... 2007 DBLP  BibTeX  RDF
1Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty Running the manual: an approach to high-assurance microkernel development. Search on Bibsonomy Haskell The full citation details ... 2006 DBLP  DOI  BibTeX  RDF formalisation, verification, operating systems, rapid prototyping, Haskell, monads, executable specification, Isabelle/HOL
Displaying result #1 - #5 of 5 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.