Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Gernot
    Last name: Heiser
    DBLP: h/GernotHeiser
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 4 of 4  
    Select a publication
    Show Title Venue Rating Date PDF
    Conference paper
    Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie, Gustavo Alonso.
    RapiLog: reducing system complexity through verification.
    Eighth Eurosys Conference 2013, EuroSys '13, Prague, Czech Republic, April 14-17, 2013 2013 (0) 2013 Download
    Conference paper
    Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser.
    Towards a practical, verified kernel
    Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS-XI), San Diego, CA, USA, May 2007. (0) 2007 Download
    Workshop paper
    Timothy Roscoe, Kevin Elphinstone, Gernot Heiser.
    Hype and Virtue
    Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS-XI), San Diego, CA, USA, May 2007. (0) 2007 Download
    Conference paper
    Andrew Baumann, Gernot Heiser, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, Robert W. Wisniewski, Jeremy Kerr.
    Providing Dynamic Update in an Operating System.
    Proceedings of the 2005 USENIX Annual Technical Conference, April 10-15, 2005, Anaheim, CA, USA 2005 (0) 2005
    Show item 1 to 4 of 4  

    Your query returned 4 matches in the database.