Matthew Fernandez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICRA | AquaMILR+: Design of an Untethered Limbless Robot for Complex Aquatic Terrain Navigation. | Matthew Fernandez, Tianyu Wang, Galen Tunnicliffe, Donoven Dortilus, Peter Gunnarson, John O. Dabiri, Daniel I. Goldman |
| 2025 | ICRA | AquaMILR: Mechanical Intelligence Simplifies Control of Undulatory Robots in Cluttered Fluid Environments. | Tianyu Wang, Nishanth Mankame, Matthew Fernandez, Velin Kojouharov, Daniel I. Goldman |
| 2024 | ICRA | Anisotropic body compliance facilitates robotic sidewinding in complex environments. | Velin Kojouharov, Tianyu Wang, Matthew Fernandez, Jiyeon Maeng, Daniel I. Goldman |
| 2015 | CAV | Verifying Linearizability of Intel Software Guard Extensions. | Rebekah Leslie-Hurd, Dror Caspi, Matthew Fernandez |
| 2015 | FM | Automated Verification of RPC Stub Code. | Matthew Fernandez, June Andronick, Gerwin Klein, Ihor Kuz |
| 2013 | ICFEM | Formally Verified System Initialisation. | Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis, Thomas Sewell |
| 2013 | SOSP | Towards a verified component platform. | Matthew Fernandez, Ihor Kuz, Gerwin Klein, June Andronick |