Formally Verified System Initialisation. - Andrew Boyton; June Andronick; Callum Bannister; Matthew Fernandez; Xin Gao; David Greenaway; Gerwin Klein; Corey Lewis; Thomas Sewell (ICFEM, 2013)

Towards a verified component platform. - Matthew Fernandez; Ihor Kuz; Gerwin Klein; June Andronick (PLOS@SOSP, 2013)

Verifying Linearizability of Intel® Software Guard Extensions. - Rebekah Leslie-Hurd; Dror Caspi; Matthew Fernandez (CAV (2), 2015)

Automated Verification of RPC Stub Code. - Matthew Fernandez; June Andronick; Gerwin Klein; Ihor Kuz (FM, 2015)

Finite Machine Word Library. - Joel Beeren; Matthew Fernandez; Xin Gao; Gerwin Klein; Rafal Kolanski; Japheth Lim; Corey Lewis; Daniel Matichuk; Thomas Sewell (Arch. Formal Proofs, 2016)

Formal Verification of a Component Platform. - Matthew Fernandez (2016)

Formally verified software in the real world. - Gerwin Klein; June Andronick; Matthew Fernandez; Ihor Kuz; Toby C. Murray; Gernot Heiser (Commun. ACM, 2018)

Salesforce CausalAI Library: A Fast and Scalable Framework for Causal Analysis of Time Series and Tabular Data. - Devansh Arpit; Matthew Fernandez; Chenghao Liu; Weiran Yao; Wenzhuo Yang; Paul Josel; Shelby Heinecke; Eric Hu; Huan Wang 014; Stephen C. H. Hoi; Caiming Xiong; Kun Zhang 001; et al. (CoRR, 2023)

Anisotropic body compliance facilitates robotic sidewinding in complex environments. - Velin Kojouharov; Tianyu Wang 010; Matthew Fernandez; Jiyeon Maeng; Daniel I. Goldman (ICRA, 2024)

AquaMILR: Mechanical intelligence simplifies control of undulatory robots in cluttered fluid environments. - Tianyu Wang 010; Nishanth Mankame; Matthew Fernandez; Velin Kojouharov; Daniel I. Goldman (CoRR, 2024)

AquaMILR+: Design of an untethered limbless robot for complex aquatic terrain navigation. - Matthew Fernandez; Tianyu Wang 010; Galen Tunnicliffe; Donoven Dortilus; Peter Gunnarson; John O. Dabiri; Daniel I. Goldman (CoRR, 2024)

A Pressure-Amplifying Monopropellant Engine for Actuator-Localized Pneumatic Power. - Samuel Dutra Gollob; Alberto Comoretto; Qifan Yu; Matthew Fernandez; Korebami Adebajo; Johannes T. B. Overvelde; Kaitlyn Becker; Ellen T. Roche (RoboSoft, 2025)