Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Dhammika Elkaduwe" ( http://dblp.L3S.de/Authors/Dhammika_Elkaduwe )

  Author page on DBLP  Author page in RDF  Community of Dhammika Elkaduwe in ASPL-2

Publication years (Num. hits)
2008 (1) 2009 (1) 2010 (1)
Publication types (Num. hits)
article(1) inproceedings(2)
Venues (Conferences, Journals, ...)
Commun. ACM(1) SOSP(1) VSTTE(1)
Authors
Dhammika Elkaduwe(3) Gerwin Klein(3) Kevin Elphinstone(3) David Cock(2) Gernot Heiser(2) Harvey Tuch(2) June Andronick(2) Kai Engelhardt(2) Michael Norrish(2) Philip Derrin(2) Rafal Kolanski(2) Simon Winwood(2) Thomas Sewell(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 3 publication records. Showing 3 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
1Dhammika 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
Displaying result #1 - #3 of 3 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.