June Andronick
June Andronick
Principal Research Scientist, Data61, CSIRO
Verified email at data61.csiro.au - Homepage
Title
Cited by
Cited by
Year
seL4: Formal verification of an OS kernel
G Klein, K Elphinstone, G Heiser, J Andronick, D Cock, P Derrin, ...
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009
19622009
Comprehensive formal verification of an OS microkernel
G Klein, J Andronick, K Elphinstone, T Murray, T Sewell, R Kolanski, ...
ACM Transactions on Computer Systems (TOCS) 32 (1), 1-70, 2014
2982014
Women in computer science: no shortage here!
M Othman, R Latih
Communications of the ACM 49 (3), 111-114, 2006
136*2006
seL4 enforces integrity
T Sewell, S Winwood, P Gammie, T Murray, J Andronick, G Klein
International Conference on Interactive Theorem Proving, 325-340, 2011
892011
Bridging the gap: Automatic verified abstraction of C
D Greenaway, J Andronick, G Klein
International Conference on Interactive Theorem Proving, 99-115, 2012
632012
Don't sweat the small stuff: formal verification of C code without the pain
D Greenaway, J Lim, J Andronick, G Klein
ACM SIGPLAN Notices 49 (6), 429-439, 2014
502014
Mind the gap
S Winwood, G Klein, T Sewell, J Andronick, D Cock, M Norrish
International Conference on Theorem Proving in Higher Order Logics, 500-515, 2009
482009
Social capital and cooperation in Central and Eastern Europe: A theoretical perspective
C Murray
DEU 9, 25, 2005
352005
Using Coq to Verify Java CardTM Applet Isolation Properties
J Andronick, B Chetali, O Ly
International Conference on Theorem Proving in Higher Order Logics, 335-351, 2003
342003
Towards Proving Security in the Presence of Large Untrusted Components.
J Andronick, D Greenaway, K Elphinstone
SSV, 9, 2010
282010
Privacy on the data Web
K O'Hara, N Shadbolt
Communications of the ACM 53 (3), 39-41, 2010
26*2010
Large-scale formal verification in practice: A process perspective
J Andronick, R Jeffery, G Klein, R Kolanski, M Staples, H Zhang, L Zhu
2012 34th International Conference on Software Engineering (ICSE), 1002-1011, 2012
252012
Empirical study towards a leading indicator for cost of formal software verification
D Matichuk, T Murray, J Andronick, R Jeffery, G Klein, M Staples
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
212015
Formal verification of security properties of smart card embedded source code
J Andronick, B Chetali, C Paulin-Mohring
International Symposium on Formal Methods, 302-317, 2005
212005
An Access Control Model Based Testing Approach for Smart Card Applications: Results of the {POSÉ} Project
PA Masson, ML Potet, J Julliand, R Tissot, G Debois, B Legeard, B Chetali, ...
192010
Formally verified system initialisation
A Boyton, J Andronick, C Bannister, M Fernandez, X Gao, D Greenaway, ...
International Conference on Formal Engineering Methods, 70-85, 2013
182013
Formally verified software in the real world
G Klein, J Andronick, M Fernandez, I Kuz, T Murray, G Heiser
Communications of the ACM 61 (10), 68-77, 2018
172018
Controlled Owicki-Gries concurrency: Reasoning about the preemptible eChronos embedded operating system
J Andronick, C Lewis, C Morgan
arXiv preprint arXiv:1511.04170, 2015
162015
A formal approach to constructing secure air vehicle software
D Cofer, A Gacek, J Backes, MW Whalen, L Pike, A Foltzer, M Podhradsky, ...
Computer 51 (11), 14-23, 2018
152018
Proof of OS scheduling behavior in the presence of interrupt-induced concurrency
J Andronick, C Lewis, D Matichuk, C Morgan, C Rizkallah
International Conference on Interactive Theorem Proving, 52-68, 2016
152016
The system can't perform the operation now. Try again later.
Articles 1–20