Gernot Heiser

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)

Coauthor Index

1	Jonathan Appavoo	[16] [23]
2	Andrew Baumann	[16] [23]
3	Matthew Chapman	[15] [17]
4	Peter Chubb	[14] [17]
5	Luke Deller	[6]
6	Antony Edwards	[8] [9]
7	Kevin Elphinstone	[2] [4] [5] [14] [20]
8	Wolfgang Fichtner	[1]
9	Nicholas Fitzroy-Dale	[14]
10	Ian Gorton	[21]
11	Stefan Götz	[14]
12	Charles Gray	[14] [17]
13	Hermann Härtig (Hermann Haertig)	[4]
14	Nayeem Islam	[4]
15	Trent Jaeger	[4]
16	Jeremy Kerr	[16]
17	Gerwin Klein	[20]
18	Orran Krieger	[16] [23]
19	Ihor Kuz	[20] [21]
20	Joshua LeVasseur	[18]
21	Ben Leslie	[14]
22	Jochen Liedtke	[2] [4] [5]
23	Yan Liu (Yan (Jenny) Liu)	[21]
24	Luke Macpherson	[14]
25	David Mosberger	[17]
26	Jinsong Ouzang	[3]
27	Stefan M. Petters	[20] [22] [24]
28	Claude Pommerell	[1]
29	Daniel Potts	[14]
30	Stephen Russell	[2] [5]
31	Sebastian Schönberg	[4]
32	Yue-Ting Shen	[14]
33	Dilma Da Silva	[16] [23]
34	David C. Snowdon	[24]
35	Shane Stephens	[10]
36	Cristan Szmajda	[13]
37	Harvey Tuch	[11] [12]
38	Volkmar Uhlig	[11] [18]
39	Jerry Vochteloo	[5]
40	Jürgen Weis	[1]
41	Adam Wiggins	[7] [11] [12]
42	Simon Winwood	[12]
43	Robert W. Wisniewski	[16] [23]
44	Patryk Zadarnowski	[22]

Colors in the list of coauthors