Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Simon Winwood" ( http://dblp.L3S.de/Authors/Simon_Winwood )

  Author page on DBLP  Author page in RDF  Community of Simon Winwood in ASPL-2

Publication years (Num. hits)
2003-2011 (8)
Publication types (Num. hits)
article(1) inproceedings(7)
Venues (Conferences, Journals, ...)
Asia-Pacific Computer Systems ...(1) Commun. ACM(1) Formal Aspects in Security and...(1) ITP(1) LOPSTR(1) SOSP(1) TLDI(1) TPHOLs(1)
Authors
Simon Winwood(8) Gerwin Klein(5) June Andronick(4) Thomas Sewell(4) David Cock(3) Gernot Heiser(3) Harvey Tuch(3) Manuel M. T. Chakravarty(3) Michael Norrish(3) Dhammika Elkaduwe(2) Kai Engelhardt(2) Kevin Elphinstone(2) Philip Derrin(2) Rafal Kolanski(2) Adam Wiggins(1) Peter Gammie(1) More (+10 of total 17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
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
1Simon Winwood, Manuel M. T. Chakravarty Singleton: a general-purpose dependently-typed assembly language. Search on Bibsonomy TLDI 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
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
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
1Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. Search on Bibsonomy LOPSTR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Simon Winwood, Manuel M. T. Chakravarty Secure Untrusted Binaries - Provably!. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Adam Wiggins, Simon Winwood, Harvey Tuch, Gernot Heiser Legba: Fast Hardware Support for Fine-Grained Protection. Search on Bibsonomy Asia-Pacific Computer Systems Architecture Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.