Yvonne Murray

According to our database, Yvonne Murray authored at least 3 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Safety assurance of an industrial robotic control system using hardware/software co-verification.

Yvonne Murray, Martin Sirevåg, Pedro Ribeiro, David A. Anisi, Morten Mossige

Sci. Comput. Program., 2022

2020

Safety Assurance of a High Voltage Controller for an Industrial Robotic System.

Yvonne Murray, David A. Anisi, Martin Sirevåg, Pedro Ribeiro, Rabah Saleh Hagag

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

2019

Survey of Formal Verification Methods for Smart Contracts on Blockchain.

Yvonne Murray, David A. Anisi

Proceedings of the 10th IFIP International Conference on New Technologies, 2019