Publications :: Search

Show author

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

Author information
First name:	Dhammika
Last name:	Elkaduwe
DBLP:	65/6124
Rating:	(not rated yet)
Bookmark:

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

Show item 1 to 2 of 2  

Select a publication
Show	Title	Venue	Rating	Date
	Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood. seL4: formal verification of an OS kernel.	Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, SOSP 2009, Big Sky, Montana, USA, October 11-14, 2009 2009	(0)	2009
	Dhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone. Verified Protection Model of the seL4 Microkernel.	Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings 2008	(0)	2008

Your query returned 2 matches in the database.