Login / Signup
Yvonne Murray
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 4
Top Topics
Control Scheme
Hw Sw
Hardware Software
Formal Verification
Top Venues
CoRR
NTMS
Sci. Comput. Program.
SBMF
</>
Publications
</>
Yvonne Murray
,
Martin Sirevåg
,
Pedro Ribeiro
,
David A. Anisi
,
Morten Mossige
Safety assurance of an industrial robotic control system using hardware/software co-verification.
Sci. Comput. Program.
216 (2022)
Yvonne Murray
,
Martin Sirevåg
,
Pedro Ribeiro
,
David A. Anisi
,
Morten Mossige
Safety assurance of an industrial robotic control system using hardware/software co-verification.
CoRR
(2021)
Yvonne Murray
,
David A. Anisi
,
Martin Sirevåg
,
Pedro Ribeiro
,
Rabah Saleh Hagag
Safety Assurance of a High Voltage Controller for an Industrial Robotic System.
SBMF
(2020)
Yvonne Murray
,
David A. Anisi
Survey of Formal Verification Methods for Smart Contracts on Blockchain.
NTMS
(2019)