|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 39 occurrences of 29 keywords
|
|
|
|
|
Results
Found 48 publication records. Showing 48 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Gernot Heiser, Toby C. Murray, Gerwin Klein |
It's Time for Trustworthy Systems.  |
IEEE Security & Privacy  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan M. Petters, Kevin Elphinstone, Gernot Heiser |
Trustworthy Real-Time Systems. |
Advances in Real-Time Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Blackham, Yao Shi, Gernot Heiser |
Improving interrupt response time in a verifiable protected microkernel. |
EuroSys |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser |
Architecture optimisation with currawong. |
Computer Communication Review |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser |
Improved device driver reliability through hardware verification reuse. |
ASPLOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gernot Heiser |
Virtualizing embedded systems: why bother? |
DAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gernot Heiser |
Low-overhead virtualization of mobile platforms. |
CASES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury, Gernot Heiser |
Timing Analysis of a Protected Operating System Kernel. |
RTSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Kirsch, Gernot Heiser (eds.) |
European Conference on Computer Systems, Proceedings of the Sixth European conference on Computer systems, EuroSys 2011, Salzburg, Austria, April 10-13, 2011 |
EuroSys |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu |
Static analysis of device drivers: we can do better! |
APSys |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Prashant Varanasi, Gernot Heiser |
Hardware-supported virtualization on ARM. |
APSys |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Blackham, Yao Shi, Gernot Heiser |
Protected hard real-time: the next frontier. |
APSys |
2011 |
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 | Gernot Heiser, Ben Leslie |
The OKL4 microvisor: convergence point of microkernels and hypervisors. |
ApSys |
2010 |
DBLP DOI BibTeX RDF |
real-time systems, embedded systems, virtual machines, hypervisors, microkernels |
| 1 | Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser |
Architecture optimisation with Currawong. |
ApSys |
2010 |
DBLP DOI BibTeX RDF |
optimization, prolog, optimisation, android, binary rewriting |
| 1 | Leonid Ryzhyk, Yanjin Zhu, Gernot Heiser |
The case for active device drivers. |
ApSys |
2010 |
DBLP DOI BibTeX RDF |
stack ripping, concurrency, device drivers |
| 1 | Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser |
Automatic device driver synthesis with termite. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
domain-specific languages, device drivers, software synthesis, two-player games |
| 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 | David C. Snowdon, Etienne Le Sueur, Stefan M. Petters, Gernot Heiser |
Koala: a platform for OS-level power management. |
EuroSys |
2009 |
DBLP DOI BibTeX RDF |
modelling, operating systems, efficiency, power management, power, energy, dynamic voltage scaling |
| 1 | Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser |
Dingo: taming device drivers. |
EuroSys |
2009 |
DBLP DOI BibTeX RDF |
reliability, domain-specific languages, concurrent programming, device drivers, fault avoidance |
| 1 | Gernot Heiser |
Operating System Verification for Real Use. |
VERIFY |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ihor Kuz, Yan Liu, Ian Gorton, Gernot Heiser |
CAmkES: A component model for secure microkernel-based embedded systems. |
Journal of Systems and Software |
2007 |
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 | David C. Snowdon, Stefan M. Petters, Gernot Heiser |
Accurate on-line prediction of processor and memoryenergy usage under voltage scaling. |
EMSOFT |
2007 |
DBLP DOI BibTeX RDF |
PMC, power, energy, DVS, DVFS, performance counter |
| 1 | Andrew Baumann, Jonathan Appavoo, Robert W. Wisniewski, Dilma Da Silva, Orran Krieger, Gernot Heiser |
Reboots Are for Hardware: Challenges and Solutions to Updating an Operating System on the Fly. |
USENIX Annual Technical Conference |
2007 |
DBLP 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 | Stefan M. Petters, Patryk Zadarnowski, Gernot Heiser |
Measurements or Static Analysis or Both?. |
WCET |
2007 |
DBLP BibTeX RDF |
|
| 1 | Gernot Heiser, Volkmar Uhlig, Joshua LeVasseur |
Are virtual-machine monitors microkernels done right? |
Operating Systems Review |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gernot Heiser |
Panel: Is University Systems Teaching and Research Relevant to Industry?. |
USENIX Annual Technical Conference, General Track |
2006 |
DBLP BibTeX RDF |
|
| 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 | Matthew Chapman, Gernot Heiser |
Implementing Transparent Shared Memory on Clusters Using Virtual Machines. |
USENIX Annual Technical Conference, General Track |
2005 |
DBLP BibTeX RDF |
|
| 1 | Charles Gray, Matthew Chapman, Peter Chubb, David Mosberger, Gernot Heiser |
Itanium - A System Implementor's Tale(Awarded General Track Best Student Paper Award!). |
USENIX Annual Technical Conference, General Track |
2005 |
DBLP BibTeX RDF |
|
| 1 | Andrew Baumann, Gernot Heiser, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, Robert W. Wisniewski, Jeremy Kerr |
Providing Dynamic Update in an Operating System. |
USENIX Annual Technical Conference, General Track |
2005 |
DBLP BibTeX RDF |
|
| 1 | Harvey Tuch, Gerwin Klein, Gernot Heiser |
OS Verification - Now! |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Adam Wiggins, Simon Winwood, Harvey Tuch, Gernot Heiser |
Legba: Fast Hardware Support for Fine-Grained Protection. |
Asia-Pacific Computer Systems Architecture Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristan Szmajda, Gernot Heiser |
Variable Radix Page Table: A Page Table for Modern Architectures. |
Asia-Pacific Computer Systems Architecture Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Wiggins, Harvey Tuch, Volkmar Uhlig, Gernot Heiser |
Implementation of Fast Address-Space Switching and TLB Sharing on the StrongARM Processor. |
Asia-Pacific Computer Systems Architecture Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Shane Stephens, Gernot Heiser |
Fault tolerance and avoidance in biomedical systems. |
ACM SIGOPS European Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Antony Edwards, Gernot Heiser |
Components + Security = OS Extensibility. |
ACSAC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Antony Edwards, Gernot Heiser |
Secure OS Extensibility Needn't Cost an Arm and a Leg. (PDF / PS) |
HotOS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Wiggins, Gernot Heiser |
Fast Address-Space Switching on the StrongARM SA-1100 Processor. |
ACAC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke Deller, Gernot Heiser |
Linking Programs in a Single Address Space. |
USENIX Annual Technical Conference, General Track |
1999 |
DBLP BibTeX RDF |
|
| 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 | Jinsong Ouzang, Gernot Heiser |
Libra: A Library for Reliable Distributed Applications. |
PDPTA |
1996 |
DBLP 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 |
|
| 1 | Gernot Heiser, Claude Pommerell, Jürgen Weis, Wolfgang Fichtner |
Three-dimensional numerical semiconductor device simulation: algorithms, architectures, results. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #48 of 48 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")