BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Norway
2 × USA
Collaborated with:
J.Andronick G.Klein I.Kuz R.Leslie-Hurd D.Caspi
Talks about:
verifi (2) platform (1) lineariz (1) softwar (1) toward (1) extens (1) compon (1) verif (1) intel (1) guard (1)

Person: Matthew Fernandez

DBLP DBLP: Fernandez:Matthew

Contributed to:

CAV 20152015
FM 20152015
PLOS 20132013

Wrote 3 papers:

CAV-2015-Leslie-HurdCF #verification
Verifying Linearizability of Intel® Software Guard Extensions (RLH, DC, MF), pp. 144–160.
FM-2015-FernandezAKK #automation #verification
Automated Verification of RPC Stub Code (MF, JA, GK, IK), pp. 273–290.
PLOS-2013-FernandezKKA #component #framework #platform #towards
Towards a verified component platform (MF, IK, GK, JA), p. 7.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.