Gernot Heiser Vis

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

27EEGerwin 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: 207-220
26EELeonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser: Automatic device driver synthesis with termite. SOSP 2009: 73-86
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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)