|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23 occurrences of 18 keywords
|
|
|
|
|
Results
Found 23 publication records. Showing 23 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Stefan M. Petters, Kevin Elphinstone, Gernot Heiser |
Trustworthy Real-Time Systems.  |
Advances in Real-Time Systems  |
2012 |
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, 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 | Stefan M. Petters, Martin Lawitzky, Ryan Heffernan, Kevin Elphinstone |
Towards Real Multi-criticality Scheduling. |
RTCSA |
2009 |
DBLP DOI BibTeX RDF |
|
| 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 | Dhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone |
Verified Protection Model of the seL4 Microkernel. |
VSTTE |
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 | Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser |
Towards a Practical, Verified Kernel. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Timothy Roscoe, Kevin Elphinstone, Gernot Heiser |
Hype and Virtue. |
HotOS |
2007 |
DBLP 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 | Ben Leslie, Peter Chubb, Nicholas Fitzroy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yue-Ting Shen, Kevin Elphinstone, Gernot Heiser |
User-Level Device Drivers: Achieved Performance. |
J. Comput. Sci. Technol. |
2005 |
DBLP DOI BibTeX RDF |
performance, reliability, operating systems, device drivers |
| 1 | Kevin Elphinstone, Stefan Götz |
Initial Evaluation of a User-Level Device Driver Framework. |
Asia-Pacific Computer Systems Architecture Conference |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Haeberlen, Kevin Elphinstone |
User-Level Management of Kernel Memory. |
Asia-Pacific Computer Systems Architecture Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohit Aron, Jochen Liedtke, Kevin Elphinstone, Yoonho Park, Trent Jaeger, Luke Deller |
The SawMill Framework for Virtual Memory Diversity. |
ACSAC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Liedtke, Marcus Völp, Kevin Elphinstone |
Preliminary thoughts on memory-bus scheduling. |
ACM SIGOPS European Workshop |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Trent Jaeger, Jonathon Tidswell, Alain Gefflaut, Yoonho Park, Kevin Elphinstone, Jochen Liedtke |
Synchronous IPC over transparent monitors. |
ACM SIGOPS European Workshop |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Gefflaut, Trent Jaeger, Yoonho Park, Jochen Liedtke, Kevin Elphinstone, Volkmar Uhlig, Jonathon Tidswell, Luke Deller, Lars Reuther |
The SawMill multiserver approach. |
ACM SIGOPS European Workshop |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Liedtke, Volkmar Uhlig, Kevin Elphinstone, Trent Jaeger, Yoonho Park |
How To Schedule Unlimited Memory Pinning of Untrusted Processes Or Provisional Ideas about Service-Neutrality. (PDF / PS) |
Workshop on Hot Topics in Operating Systems |
1999 |
DBLP DOI BibTeX RDF |
pinned memory, quality of service, virtual memory, demand paging, OS |
| 1 | Trent Jaeger, Kevin Elphinstone, Jochen Liedtke, Vsevolod Panteleenko, Yoonho Park |
Flexible Access Control using IPC Redirection. (PDF / PS) |
Workshop on Hot Topics in Operating Systems |
1999 |
DBLP DOI BibTeX RDF |
interprocess communication (IPC) mechanisms, security, access control, Micro-kernels |
| 1 | Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell 0004, Jochen Liedtke |
The Mungi Single-Address-Space Operating System. |
Softw., Pract. Exper. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Liedtke, Kevin Elphinstone, Sebastian Schönberg, Hermann Härtig, Gernot Heiser, Nayeem Islam, Trent Jaeger |
Achieved IPC Performance. |
Workshop on Hot Topics in Operating Systems |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jochen Liedtke, Kevin Elphinstone |
Guarded Page Tables on Mips R4600 OR An Exercise in Architecture-Dependent Micro Optimization. |
Operating Systems Review |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Elphinstone, Stephen Russell 0004, Gernot Heiser, Jochen Liedtke |
Supporting Persistent Object Systems in a Single Address Space. |
POS |
1996 |
DBLP BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")