Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

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 June Andronick

> Home > Persons > Gernot Heiser

Publications

2020
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/HeiserKA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/HeiserKA20
Gernot Heiser, Gerwin Klein, June Andronick:
seL4 in Australia: from research to real-world trustworthy systems. Commun. ACM 63(4): 72-75 (2020)
2018
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/KleinAFKMH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/KleinAFKMH18
Gerwin Klein, June Andronick, Matthew Fernandez, Ihor Kuz, Toby C. Murray, Gernot Heiser:
Formally verified software in the real world. Commun. ACM 61(10): 68-77 (2018)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/CoferGBWPFPKKAH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/CoferGBWPFPKKAH18
Darren D. Cofer, Andrew Gacek, John Backes, Michael W. Whalen, Lee Pike, Adam Foltzer, Michal Podhradsky, Gerwin Klein, Ihor Kuz, June Andronick, Gernot Heiser, Douglas Stuart:
A Formal Approach to Constructing Secure Air Vehicle Software. Computer 51(11): 14-23 (2018)
2014
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/tocs/KleinAEMSKH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocs/KleinAEMSKH14
Gerwin Klein, June Andronick, Kevin Elphinstone, Toby C. Murray, Thomas Sewell, Rafal Kolanski, Gernot Heiser:
Comprehensive formal verification of an OS microkernel. ACM Trans. Comput. Syst. 32(1): 2:1-2:70 (2014)
2010
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/KleinAEHCDEEKNSTW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/KleinAEHCDEEKNSTW10
Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood:
seL4: formal verification of an operating-system kernel. Commun. ACM 53(6): 107-115 (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
2009
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/KleinEHACDEEKNSTW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/KleinEHACDEEKNSTW09
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David A. 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

a service of

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.