Search the dblp DataBase

Publications of Author

1. Kevin Elphinstone, Stephen Russell, Gernot Heiser, Jochen Liedtke
   Supporting Persistent Object Systems in a Single Address Space. [Citation Graph (1, 0)][DBLP]
   POS, 1996, pp:111-119 [Conf]
   
2. Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, Jochen Liedtke
   The Mungi Single-Address-Space Operating System. [Citation Graph (1, 0)][DBLP]
   Softw., Pract. Exper., 1998, v:28, n:9, pp:901-928 [Journal]
   
3. Antony Edwards, Gernot Heiser
   Components + Security = OS Extensibility. [Citation Graph (0, 0)][DBLP]
   ACSAC, 2001, pp:27-34 [Conf]
   
4. Cristan Szmajda, Gernot Heiser
   Variable Radix Page Table: A Page Table for Modern Architectures. [Citation Graph (0, 0)][DBLP]
   Asia-Pacific Computer Systems Architecture Conference, 2003, pp:290-304 [Conf]
   
5. Adam Wiggins, Gernot Heiser
   Fast Address-Space Switching on the StrongARM SA-1100 Processor. [Citation Graph (0, 0)][DBLP]
   ACAC, 2000, pp:97-0 [Conf]
   
6. Adam Wiggins, Harvey Tuch, Volkmar Uhlig, Gernot Heiser
   Implementation of Fast Address-Space Switching and TLB Sharing on the StrongARM Processor. [Citation Graph (0, 0)][DBLP]
   Asia-Pacific Computer Systems Architecture Conference, 2003, pp:352-364 [Conf]
   
7. Adam Wiggins, Simon Winwood, Harvey Tuch, Gernot Heiser
   Legba: Fast Hardware Support for Fine-Grained Protection. [Citation Graph (0, 0)][DBLP]
   Asia-Pacific Computer Systems Architecture Conference, 2003, pp:320-336 [Conf]
   
8. Jochen Liedtke, Kevin Elphinstone, Sebastian Schönberg, Hermann Härtig, Gernot Heiser, Nayeem Islam, Trent Jaeger
   Achieved IPC Performance. [Citation Graph (0, 0)][DBLP]
   Workshop on Hot Topics in Operating Systems, 1997, pp:28-31 [Conf]
   
9. Antony Edwards, Gernot Heiser
   Secure OS Extensibility Needn't Cost an Arm and a Leg. [Citation Graph (0, 0)][DBLP]
   HotOS, 2001, pp:168- [Conf]
   
10. Jinsong Ouzang, Gernot Heiser
    Libra: A Library for Reliable Distributed Applications. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1996, pp:801-810 [Conf]
    
11. Luke Deller, Gernot Heiser
    Linking Programs in a Single Address Space. [Citation Graph (0, 0)][DBLP]
    USENIX Annual Technical Conference, General Track, 1999, pp:283-294 [Conf]
    
12. Matthew Chapman, Gernot Heiser
    Implementing Transparent Shared Memory on Clusters Using Virtual Machines. [Citation Graph (0, 0)][DBLP]
    USENIX Annual Technical Conference, General Track, 2005, pp:383-386 [Conf]
    
13. Charles Gray, Matthew Chapman, Peter Chubb, David Mosberger, Gernot Heiser
    Itanium - A System Implementor's Tale(Awarded General Track Best Student Paper Award!). [Citation Graph (0, 0)][DBLP]
    USENIX Annual Technical Conference, General Track, 2005, pp:265-278 [Conf]
    
14. Gernot Heiser
    Panel: Is University Systems Teaching and Research Relevant to Industry?. [Citation Graph (0, 0)][DBLP]
    USENIX Annual Technical Conference, General Track, 2006, pp:- [Conf]
    
15. Andrew Baumann, Gernot Heiser, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, Robert W. Wisniewski, Jeremy Kerr
    Providing Dynamic Update in an Operating System. [Citation Graph (0, 0)][DBLP]
    USENIX Annual Technical Conference, General Track, 2005, pp:279-291 [Conf]
    
16. 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. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2005, v:20, n:5, pp:654-664 [Journal]
    
17. Gernot Heiser, Volkmar Uhlig, Joshua LeVasseur
    Are virtual-machine monitors microkernels done right? [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 2006, v:40, n:1, pp:95-99 [Journal]
    
18. Gernot Heiser, Claude Pommerell, Jürgen Weis, Wolfgang Fichtner
    Three-dimensional numerical semiconductor device simulation: algorithms, architectures, results. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1991, v:10, n:10, pp:1218-1230 [Journal]
    
19. Ihor Kuz, Yan Liu, Ian Gorton, Gernot Heiser
    CAmkES: A component model for secure microkernel-based embedded systems. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2007, v:80, n:5, pp:687-699 [Journal]
    
20. 
    Operating System Verification for Real Use. [Citation Graph (, )][DBLP]
    
    
21. 
    Accurate on-line prediction of processor and memoryenergy usage under voltage scaling. [Citation Graph (, )][DBLP]
    
    
22. 
    Hype and Virtue. [Citation Graph (, )][DBLP]
    
    
23. 
    Towards a Practical, Verified Kernel. [Citation Graph (, )][DBLP]
    
    
24. 
    OS Verification - Now! [Citation Graph (, )][DBLP]
    
    
25. 
    The case for active device drivers. [Citation Graph (, )][DBLP]
    
    
26. 
    The OKL4 microvisor: convergence point of microkernels and hypervisors. [Citation Graph (, )][DBLP]
    
    
27. 
    Architecture optimisation with Currawong. [Citation Graph (, )][DBLP]
    
    
28. 
    Fault tolerance and avoidance in biomedical systems. [Citation Graph (, )][DBLP]
    
    
29. 
    Automatic device driver synthesis with termite. [Citation Graph (, )][DBLP]
    
    
30. 
    seL4: formal verification of an OS kernel. [Citation Graph (, )][DBLP]
    
    
31. 
    Reboots Are for Hardware: Challenges and Solutions to Updating an Operating System on the Fly. [Citation Graph (, )][DBLP]
    
    
32. 
    Measurements or Static Analysis or Both?. [Citation Graph (, )][DBLP]
    
    
33. 
    Koala: a platform for OS-level power management. [Citation Graph (, )][DBLP]
    
    
34. 
    Dingo: taming device drivers. [Citation Graph (, )][DBLP]
    
    
35. 
    seL4: formal verification of an operating-system kernel. [Citation Graph (, )][DBLP]