Rafal Kolanski

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 2

Top Venues

Arch. Formal Proofs

ESEM

ACM Trans. Comput. Syst.

University of New South Wales, Sydney, Australia (PHD)

Education History

University of New South Wales, Sydney, Australia

PHD

Publications

Matthew Brecknell, David Greenaway, Johannes Hölzl, Fabian Immler, Gerwin Klein, Rafal Kolanski, Japheth Lim, Michael Norrish, Norbert Schirmer, Salomon Sickert, Thomas Sewell, Harvey Tuch, Simon Wimmer
AutoCorres2. Arch. Formal Proofs 2024 (2024)
Joel Beeren, Matthew Fernandez, Xin Gao, Gerwin Klein, Rafal Kolanski, Japheth Lim, Corey Lewis, Daniel Matichuk, Thomas Sewell
Finite Machine Word Library. Arch. Formal Proofs 2016 (2016)
Gerwin Klein, June Andronick, Kevin Elphinstone, Toby C. Murray, Thomas Sewell, Rafal Kolanski, Gernot Heiser
Comprehensive formal verification of an OS microkernel. ACM Trans. Comput. Syst. 32 (1) (2014)
Mark Staples, D. Ross Jeffery, June Andronick, Toby C. Murray, Gerwin Klein, Rafal Kolanski
Productivity for proof engineering. ESEM (2014)
Mark Staples, Rafal Kolanski, Gerwin Klein, Corey Lewis, June Andronick, Toby C. Murray, D. Ross Jeffery, Len Bass
Formal specifications better than function points for code sizing. ICSE (2013)
He Zhang, Gerwin Klein, Mark Staples, June Andronick, Liming Zhu, Rafal Kolanski
Simulation modeling of a large-scale formal verification process. ICSSP (2012)
Gerwin Klein, Rafal Kolanski, Andrew Boyton
Mechanised Separation Algebra. ITP (2012)
Timothy Bourke, Matthias Daum, Gerwin Klein, Rafal Kolanski
Challenges and Experiences in Managing Large-Scale Proofs. AISC/MKM/Calculemus (2012)
Gerwin Klein, Rafal Kolanski, Andrew Boyton
Separation Algebra. Arch. Formal Proofs 2012 (2012)
June Andronick, D. Ross Jeffery, Gerwin Klein, Rafal Kolanski, Mark Staples, He Zhang, Liming Zhu
Large-scale formal verification in practice: A process perspective. ICSE (2012)
Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood
seL4: formal verification of an operating-system kernel. Commun. ACM 53 (6) (2010)
Rafal Kolanski, Gerwin Klein
Types, Maps and Separation Logic. TPHOLs (2009)
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. SOSP (2009)
Rafal Kolanski
A Logic for Virtual Memory. Electron. Notes Theor. Comput. Sci. 217 (2008)
Rafal Kolanski, Gerwin Klein
Mapped Separation Logic. VSTTE (2008)
Rafal Kolanski, Gerwin Klein
Formalising the L4 microkernel API. CATS (2006)

Rafal Kolanski.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rafal Kolanski