Matthew Fernandez

According to our database1, Matthew Fernandez authored at least 10 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
AquaMILR: Mechanical intelligence simplifies control of undulatory robots in cluttered fluid environments.
CoRR, 2024

Anisotropic body compliance facilitates robotic sidewinding in complex environments.
Proceedings of the IEEE International Conference on Robotics and Automation, 2024

2023
Salesforce CausalAI Library: A Fast and Scalable Framework for Causal Analysis of Time Series and Tabular Data.
CoRR, 2023

2018
Formally verified software in the real world.
Commun. ACM, 2018

2016
Formal Verification of a Component Platform.
PhD thesis, 2016

Finite Machine Word Library.
Arch. Formal Proofs, 2016

2015
Automated Verification of RPC Stub Code.
Proceedings of the FM 2015: Formal Methods, 2015

Verifying Linearizability of Intel® Software Guard Extensions.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2013
Towards a verified component platform.
Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, 2013

Formally Verified System Initialisation.
Proceedings of the Formal Methods and Software Engineering, 2013


  Loading...