Publications by Gernot%20Heiser

×

Status message

The Publications site is currently under construction, as a result some publications might be missing.

2013

Eighth Eurosys Conference 2013, EuroSys '13, Prague, Czech Republic, April 2013
@inproceedings{abc,
	author = {Gernot Heiser and Etienne Le Sueur and Adrian Danis and Aleksander Budzynowski and Tudor-Ioan Salomie and Gustavo Alonso},
	booktitle = {Eighth Eurosys Conference 2013, EuroSys {\textquoteright}13, Prague, Czech Republic},
	title = {RapiLog: reducing system complexity through verification.},
	url = {http://doi.acm.org/10.1145/2465351.2465383},
	year = {2013}
}

2007

Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS-XI), San Diego, CA, USA, January 2007
@inproceedings{abc,
	author = {Kevin Elphinstone and Gerwin Klein and Philip Derrin and Timothy Roscoe and Gernot Heiser},
	booktitle = {Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS-XI), San Diego, CA, USA},
	title = {Towards a practical, verified kernel},
	year = {2007}
}
Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS-XI), San Diego, CA, USA, January 2007
@inproceedings{abc,
	author = {Timothy Roscoe and Kevin Elphinstone and Gernot Heiser},
	booktitle = {Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS-XI), San Diego, CA, USA},
	title = {Hype and Virtue},
	year = {2007}
}

2005

Proceedings of the 2005 USENIX Annual Technical Conference, Anaheim, CA, USA, January 2005
@inproceedings{abc,
	author = {Andrew Baumann and Gernot Heiser and Jonathan Appavoo and Dilma Da Silva and Orran Krieger and Robert W. Wisniewski and Jeremy Kerr},
	booktitle = {Proceedings of the 2005 USENIX Annual Technical Conference},
	title = {Providing Dynamic Update in an Operating System.},
	url = {http://www.usenix.org/events/usenix05/tech/general/baumann.html},
	venue = {Anaheim, CA, USA},
	year = {2005}
}