Gernot Heiser

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Leonid Ryzhyk

> Home > Persons > Gernot Heiser

Publications

2014
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/sigops/KellerMAOCRKH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigops/KellerMAOCRKH14
Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser:
File systems deserve verification too! ACM SIGOPS Oper. Syst. Rev. 48(1): 58-64 (2014)
2013
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/KellerMAOCRKH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/KellerMAOCRKH13
Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser:
File systems deserve verification too! PLOS@SOSP 2013: 1:1-1:7
2011
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/apsys/AmaniRDHLZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsys/AmaniRDHLZ11
Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu:
Static analysis of device drivers: we can do better! APSys 2011: 8
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/RyzhykKMRVH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/RyzhykKMRVH11
Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser:
Improved device driver reliability through hardware verification reuse. ASPLOS 2011: 133-144
[c40]
- view
  - electronic edition @ usenix.org
  - no references & citations available
- export record
  dblp key:
  - conf/hotos/HeiserRTB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotos/HeiserRTB11
Gernot Heiser, Leonid Ryzhyk, Michael von Tessin, Aleksander Budzynowski:
What If You Could Actually Trust Your Kernel? HotOS 2011
2010
[c37]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/ccs/HeiserAEKKR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/HeiserAEKKR10
Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz, Leonid Ryzhyk:
The road to trustworthy systems. STC@CCS 2010: 3-10
[c36]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/hotdep/RyzhykKMRVH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotdep/RyzhykKMRVH10
Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser:
Improved Device Driver Reliability Through Verification Reuse. HotDep 2010
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/RyzhykZH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/RyzhykZH10
Leonid Ryzhyk, Yanjin Zhu, Gernot Heiser:
The case for active device drivers. ApSys 2010: 25-30
2009
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/RyzhykCKH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/RyzhykCKH09
Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser:
Dingo: taming device drivers. EuroSys 2009: 275-288
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/RyzhykCKSH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/RyzhykCKSH09
Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser:
Automatic device driver synthesis with termite. SOSP 2009: 73-86
2007
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/RyzhykKH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/RyzhykKH07
Leonid Ryzhyk, Ihor Kuz, Gernot Heiser:
Formalising device driver interfaces. PLOS@SOSP 2007: 10:1-10:5

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.