AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Kevin Elphinstone

Kevin Elphinstone

University of New South Wales - Sydney / Australia
Business & Management / Decision Science and Operations Management
AD Scientific Index ID: 115082
person_outline Kevin Elphinstone's MOST POPULAR ARTICLES
1-) seL4: Formal verification of an OS kernel Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009
2-) Comprehensive formal verification of an OS microkernel ACM Transactions on Computer Systems (TOCS) 32 (1), 1-70, 2014
3-) From L3 to seL4 what have we learnt in 20 years of L4 microkernels? Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems …, 2013
4-) User-level device drivers: Achieved performance Journal of Computer Science and Technology 20 (5), 654-664, 2005
5-) The mungi single‐address‐space operating system Software: Practice and Experience 28 (9), 901-928, 1998