Follow
Matthew Fernandez
Matthew Fernandez
Intel Labs
Verified email at intel.com
Title
Cited by
Cited by
Year
Formally Verified Software in the Real World
G Klein, J Andronick, M Fernandez, I Kuz, T Murray, G Heiser
Communications of the ACM, 2018
572018
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
232013
Verifying Linearizability of Intel® Software Guard Extensions
R Leslie-Hurd, D Caspi, M Fernandez
International Conference on Computer Aided Verification, 144-160, 2015
182015
Automated verification of RPC stub code
M Fernandez, J Andronick, G Klein, I Kuz
International Symposium on Formal Methods, 273-290, 2015
132015
Finite Machine Word Library
J Beeren, M Fernandez, X Gao, G Klein, R Kolanski, J Lim, C Lewis, ...
52018
CAmkES formalisation of a component platform
M Fernandez, G Klein, I Kuz, T Murray
NICTA and UNSW, 2013
42013
Formal Verification of a Component Platform.
M Fernandez
University of New South Wales, Sydney, Australia, 2016
32016
Towards a verified component platform
M Fernandez, I Kuz, G Klein, J Andronick
Proceedings of the Seventh Workshop on Programming Languages and Operating …, 2013
22013
CAmkES glue code semantics
M Fernandez, P Gammie, J Andronick, G Klein, I Kuz
NICTA and UNSW, 2013
22013
Microkernel Verification Down To Assembly
M Fernandez, G Klein, I Kuz
European Conference on Computer Systems (poster), 2012
22012
Formalisation of a Component Platform
M Fernandez, I Kuz, G Klein
12012
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
The system can't perform the operation now. Try again later.
Articles 1–13