| Bridging the gap: Automatic verified abstraction of C D Greenaway, J Andronick, G Klein International Conference on Interactive Theorem Proving, 99-115, 2012 | 64 | 2012 |
| 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 | 53 | 2014 |
| A learning-based fact selector for Isabelle/HOL JC Blanchette, D Greenaway, C Kaliszyk, D Kühlwein, J Urban Journal of Automated Reasoning 57 (3), 219-244, 2016 | 52 | 2016 |
| Towards Proving Security in the Presence of Large Untrusted Components. J Andronick, D Greenaway, K Elphinstone SSV, 9, 2010 | 29 | 2010 |
| 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 | 18 | 2013 |
| Automated proof-producing abstraction of C code. D Greenaway University of New South Wales, Sydney, Australia, 2014 | 13 | 2014 |
| Lazy queueing and direct process switch—merit or myths? K Elphinstone, D Greenaway, S Ruocco Proceedings of the 3rd Workshop on Operating System Platforms for Embedded …, 2007 | 12 | 2007 |
| From ‘real fast’to real-time: quantifying the effects of scheduling on IPC performance D Greenaway B. Sc. thesis, School of Computer Science and Engineering, The University of …, 2007 | 1 | 2007 |
| Getting Started with AutoCorres J Lim, R Jacob-Rao, D Greenaway | | 2019 |
June AndronickPrincipal Research Scientist, Data61, CSIROVerified email at data61.csiro.au
