Statistics
Publications
11
Citations
2.3K
H-Index
10
Active since
2006
Affiliations
Data61(Current)
Rafal Kolanski is an author at Data61 specializing in formal methods, computer science, and computing.
Publications per year
2006–2014
11
11
Gerwin Klein, Kevin Elphinstone, Gernot Heiser et al. · 2009 · 1.6K citations
Comprehensive formal verification of an OS microkernel
Gerwin Klein, June Andronick, Kevin Elphinstone et al. · ACM Transactions on Computer Systems · 2014 · 334 citations
Gerwin Klein, June Andronick, Kevin Elphinstone et al. · Communications of the ACM · 2010 · 300 citations
Large-scale formal verification in practice: A process perspective
June Andronick, Ross Jeffery, Gerwin Klein et al. · 2012 · 24 citations
Large-scale formal verification in practice: A process perspective
June Andronick, Ross Jeffery, Gerwin Klein et al. · 2013 · 18 citations
1–5 of 11