2008 |
25 | EE | Gernot Heiser:
Operating System Verification for Real Use.
VERIFY 2008 |
2007 |
24 | EE | David C. Snowdon,
Stefan M. Petters,
Gernot Heiser:
Accurate on-line prediction of processor and memoryenergy usage under voltage scaling.
EMSOFT 2007: 84-93 |
23 | EE | 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: 337-350 |
22 | EE | Stefan M. Petters,
Patryk Zadarnowski,
Gernot Heiser:
Measurements or Static Analysis or Both?.
WCET 2007 |
21 | EE | Ihor Kuz,
Yan Liu,
Ian Gorton,
Gernot Heiser:
CAmkES: A component model for secure microkernel-based embedded systems.
Journal of Systems and Software 80(5): 687-699 (2007) |
20 | EE | Gernot Heiser,
Kevin Elphinstone,
Ihor Kuz,
Gerwin Klein,
Stefan M. Petters:
Towards trustworthy computing systems: taking microkernels to the next level.
Operating Systems Review 41(4): 3-11 (2007) |
2006 |
19 | EE | Gernot Heiser:
Panel: Is University Systems Teaching and Research Relevant to Industry?.
USENIX Annual Technical Conference, General Track 2006 |
18 | EE | Gernot Heiser,
Volkmar Uhlig,
Joshua LeVasseur:
Are virtual-machine monitors microkernels done right?
Operating Systems Review 40(1): 95-99 (2006) |
2005 |
17 | EE | 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: 265-278 |
16 | EE | 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: 279-291 |
15 | EE | Matthew Chapman,
Gernot Heiser:
Implementing Transparent Shared Memory on Clusters Using Virtual Machines.
USENIX Annual Technical Conference, General Track 2005: 383-386 |
14 | EE | 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. 20(5): 654-664 (2005) |
2003 |
13 | EE | Cristan Szmajda,
Gernot Heiser:
Variable Radix Page Table: A Page Table for Modern Architectures.
Asia-Pacific Computer Systems Architecture Conference 2003: 290-304 |
12 | EE | Adam Wiggins,
Simon Winwood,
Harvey Tuch,
Gernot Heiser:
Legba: Fast Hardware Support for Fine-Grained Protection.
Asia-Pacific Computer Systems Architecture Conference 2003: 320-336 |
11 | EE | 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: 352-364 |
2002 |
10 | EE | Shane Stephens,
Gernot Heiser:
Fault tolerance and avoidance in biomedical systems.
ACM SIGOPS European Workshop 2002: 198-200 |
2001 |
9 | EE | Antony Edwards,
Gernot Heiser:
Components + Security = OS Extensibility.
ACSAC 2001: 27-34 |
8 | EE | Antony Edwards,
Gernot Heiser:
Secure OS Extensibility Needn't Cost an Arm and a Leg.
HotOS 2001: 168 |
2000 |
7 | EE | Adam Wiggins,
Gernot Heiser:
Fast Address-Space Switching on the StrongARM SA-1100 Processor.
ACAC 2000: 97- |
1999 |
6 | EE | Luke Deller,
Gernot Heiser:
Linking Programs in a Single Address Space.
USENIX Annual Technical Conference, General Track 1999: 283-294 |
1998 |
5 | | Gernot Heiser,
Kevin Elphinstone,
Jerry Vochteloo,
Stephen Russell,
Jochen Liedtke:
The Mungi Single-Address-Space Operating System.
Softw., Pract. Exper. 28(9): 901-928 (1998) |
1997 |
4 | | 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: 28-31 |
1996 |
3 | | Jinsong Ouzang,
Gernot Heiser:
Libra: A Library for Reliable Distributed Applications.
PDPTA 1996: 801-810 |
2 | EE | Kevin Elphinstone,
Stephen Russell,
Gernot Heiser,
Jochen Liedtke:
Supporting Persistent Object Systems in a Single Address Space.
POS 1996: 111-119 |
1991 |
1 | EE | 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 10(10): 1218-1230 (1991) |