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
342018
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
202013
Verifying Linearizability of Intel® Software Guard Extensions
R Leslie-Hurd, D Caspi, M Fernandez
International Conference on Computer Aided Verification, 144-160, 2015
152015
Automated verification of RPC stub code
M Fernandez, J Andronick, G Klein, I Kuz
International Symposium on Formal Methods, 273-290, 2015
82015
Finite Machine Word Library
J Beeren, M Fernandez, X Gao, G Klein, R Kolanski, J Lim, C Lewis, ...
42018
CAmkES formalisation of a component platform
M Fernandez, G Klein, I Kuz, T Murray
NICTA and UNSW, 2013
32013
Formal Verification of a Component Platform.
M Fernandez
University of New South Wales, Sydney, Australia, 2016
22016
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
Towards a verified component platform
M Fernandez, I Kuz, G Klein, J Andronick
Proceedings of the Seventh Workshop on Programming Languages and Operating …, 2013
12013
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