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 | 88 | 2014 |
Bridging the gap: Automatic verified abstraction of C D Greenaway, J Andronick, G Klein Interactive Theorem Proving: Third International Conference, ITP 2012 …, 2012 | 86 | 2012 |
A learning-based fact selector for Isabelle/HOL JC Blanchette, D Greenaway, C Kaliszyk, D Kühlwein, J Urban Journal of Automated Reasoning 57, 219-244, 2016 | 81 | 2016 |
Towards proving security in the presence of large untrusted components J Andronick, D Greenaway, K Elphinstone 5th International Workshop on Systems Software Verification (SSV 10), 2010 | 30 | 2010 |
Formally verified system initialisation A Boyton, J Andronick, C Bannister, M Fernandez, X Gao, D Greenaway, ... Formal Methods and Software Engineering: 15th International Conference on …, 2013 | 23 | 2013 |
Automated proof-producing abstraction of C code D Greenaway UNSW Sydney, 2014 | 22 | 2014 |
Lazy queueing and direct process switch—merit or myths? K Elphinstone, D Greenaway, S Ruocco Workshop on Operating Systems Platforms for Embedded Real-Time applications, 69, 2007 | 13 | 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 | | 2020 |
Don’t Sweat the Small Stuff D Greenaway, J Lim, J Andronick, G Klein | | |