Yvonne Murray

According to our database, Yvonne Murray authored at least 4 papers between 2019 and 2024.

Collaborative distances:

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

2024

Model Checking and Verification of Synchronisation Properties of Cobot Welding.

Yvonne Murray, Henrik Nordlie, David A. Anisi, Pedro Ribeiro, Ana Cavalcanti

Proceedings of the Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, 2024

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