The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gernot Heiser: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002