Raf @ CSE

This is my university page. My personal page is here.

Contact Details

Mobile	+61 414 93 86 43
Work	+61 2 8306 0486
Fax	+61 2 8306 0405
Position	PhD Student, School of Computer Science and Engineering, University of New South Wales
Affiliations	National ICT Australia
Location	Building L5, Level 5, Workstation 5.4
Mailing Address	Locked Bag 6016 The University of New South Wales Sydney, N.S.W. 1466
Email
Instant Messaging

Rafal Kolanski
A Formal Model of the L4 μ-kernel API Using the B Method, Honours Thesis, School of Computer Science and Engineering, University of New South Wales, 2004.
Rafal Kolanski
A Formal Model of the L4 μ-kernel API Using the B Method, Technical Report 05-00029-1, National ICT Australia, 2005.
Rafal Kolanski and Gerwin Klein
Formalising the L4 microkernel API
In: B. Jay and J. Gudmundsson (ed), Computing: The Australasian Theory Symposium (CATS 06), Jan 2006.
Kevin Elphinstone, Gerwin Klein and Rafal Kolanski
Formalising a High-Performance Microkernel
In: Rustan Leino (ed), Workshop on Verified Software: Theories, Tools, and Experiments (VSTTE 06), Microsoft Research Technical Report MSR-TR-2006-117, Aug 2006.