Yvonne Murray
Tilknyttet UiA
Jeg er en PhD-kandidat som jobber med formell verifisering av autonome systemer.
Vitenskapelige publikasjoner
- Murray, Yvonne; Sirevåg, Martin; Ribeiro, Pedro; Anisi, Alireza David; Mossige, Morten (2022). Safety assurance of an industrial robotic control system using hardware/software co-verification. Science of Computer Programming. ISSN: 0167-6423. 216doi:10.1016/j.scico.2021.102766.
- Murray, Yvonne; David_Anisi, Alireza; Sirevåg, Martin; Ribeiro, Pedro; hagag, Rabah Saleh (2020). Safety Assurance of a High Voltage Controller for an Industrial Robotic System. Formal Methods: Foundations and Applications. ISBN: 978-3-030-63882-5. Springer. Paper. s 45 - 63.
- Murray, Yvonne; Anisi, Alireza David (2019). Survey of Formal Verification Methods for Smart Contracts on Blockchain. IFIP International Conference on New Technologies, Mobility and Security (NTMS). ISSN: 2157-4952. doi:10.1109/NTMS.2019.8763832.
- Murray, Yvonne; Anisi, David A. (2019). Survey of Formal Verification Methods for Smart Contracts on Blockchain.
Forskningsgrupper
Sist endret: 26.11.2020 13:11