Statistics
Publications
19
Citations
2.6K
H-Index
15
Active since
2009
Affiliations
June Andronick is an author at Data61 specializing in computer science, computing, and formal methods.
Publications per year
2009–2020
19
19
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
David Greenaway, Japheth Lim, June Andronick et al. · 2014 · 47 citations
Formally verified software in the real world
Gerwin Klein, June Andronick, Matthew Fernandez et al. · Communications of the ACM · 2018 · 39 citations · Full text
1–5 of 19