| Formally Verified Software in the Real World G Klein, J Andronick, M Fernandez, I Kuz, T Murray, G Heiser Communications of the ACM, 2018 | 63 | 2018 |
| 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 | 23 | 2013 |
| Verifying Linearizability of Intel® Software Guard Extensions R Leslie-Hurd, D Caspi, M Fernandez International Conference on Computer Aided Verification, 144-160, 2015 | 20 | 2015 |
| Automated verification of RPC stub code M Fernandez, J Andronick, G Klein, I Kuz International Symposium on Formal Methods, 273-290, 2015 | 13 | 2015 |
| Finite Machine Word Library J Beeren, M Fernandez, X Gao, G Klein, R Kolanski, J Lim, C Lewis, ... | 8 | 2018 |
| CAmkES formalisation of a component platform M Fernandez, G Klein, I Kuz, T Murray NICTA and UNSW, 2013 | 4 | 2013 |
| Formal Verification of a Component Platform. M Fernandez University of New South Wales, Sydney, Australia, 2016 | 3 | 2016 |
| Towards a verified component platform M Fernandez, I Kuz, G Klein, J Andronick Proceedings of the Seventh Workshop on Programming Languages and Operating …, 2013 | 2 | 2013 |
| CAmkES glue code semantics M Fernandez, P Gammie, J Andronick, G Klein, I Kuz NICTA and UNSW, 2013 | 2 | 2013 |
| Microkernel Verification Down To Assembly M Fernandez, G Klein, I Kuz European Conference on Computer Systems (poster), 2012 | 2 | 2012 |
| Formalisation of a Component Platform M Fernandez, I Kuz, G Klein | 1 | 2012 |
| Automated Verification of a Component Platform M Fernandez, J Andronick, G Klein, I Kuz | | 2015 |
| Accordion: An EDSL for Hardware Instruction Set Extensions M Fernandez, R Leslie-Hurd | | 2014 |
