Gernot Heiser

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

25EEGernot Heiser: Operating System Verification for Real Use. VERIFY 2008
24EEDavid C. Snowdon, Stefan M. Petters, Gernot Heiser: Accurate on-line prediction of processor and memoryenergy usage under voltage scaling. EMSOFT 2007: 84-93
23EEAndrew 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
22EEStefan M. Petters, Patryk Zadarnowski, Gernot Heiser: Measurements or Static Analysis or Both?. WCET 2007
21EEIhor 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)
20EEGernot 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)
19EEGernot Heiser: Panel: Is University Systems Teaching and Research Relevant to Industry?. USENIX Annual Technical Conference, General Track 2006
18EEGernot Heiser, Volkmar Uhlig, Joshua LeVasseur: Are virtual-machine monitors microkernels done right? Operating Systems Review 40(1): 95-99 (2006)
17EECharles 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
16EEAndrew 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
15EEMatthew Chapman, Gernot Heiser: Implementing Transparent Shared Memory on Clusters Using Virtual Machines. USENIX Annual Technical Conference, General Track 2005: 383-386
14EEBen 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)
13EECristan Szmajda, Gernot Heiser: Variable Radix Page Table: A Page Table for Modern Architectures. Asia-Pacific Computer Systems Architecture Conference 2003: 290-304
12EEAdam Wiggins, Simon Winwood, Harvey Tuch, Gernot Heiser: Legba: Fast Hardware Support for Fine-Grained Protection. Asia-Pacific Computer Systems Architecture Conference 2003: 320-336
11EEAdam 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
10EEShane Stephens, Gernot Heiser: Fault tolerance and avoidance in biomedical systems. ACM SIGOPS European Workshop 2002: 198-200
9EEAntony Edwards, Gernot Heiser: Components + Security = OS Extensibility. ACSAC 2001: 27-34
8EEAntony Edwards, Gernot Heiser: Secure OS Extensibility Needn't Cost an Arm and a Leg. HotOS 2001: 168
7EEAdam Wiggins, Gernot Heiser: Fast Address-Space Switching on the StrongARM SA-1100 Processor. ACAC 2000: 97-
6EELuke Deller, Gernot Heiser: Linking Programs in a Single Address Space. USENIX Annual Technical Conference, General Track 1999: 283-294
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)
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
3 Jinsong Ouzang, Gernot Heiser: Libra: A Library for Reliable Distributed Applications. PDPTA 1996: 801-810
2EEKevin Elphinstone, Stephen Russell, Gernot Heiser, Jochen Liedtke: Supporting Persistent Object Systems in a Single Address Space. POS 1996: 111-119
1EEGernot 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)