Items where authors include "Sirevåg, Martin"

Article

Murray, Yvonne, Sirevåg, Martin, Ribeiro, Pedro orcid.org/0000-0003-4319-4872 et al. (2 more authors) (2022) Safety assurance of an industrial robotic control system using hardware/software co-verification. Science of Computer Programming. p. 102766. ISSN 0167-6423

Conference or Workshop Item

Murray, Yvonne, De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872, Anisi, David A. et al. (2 more authors) Safety Assurance of an Industrial Robotic Control System Using Hardware/Software Co-Verification. In: YorRobots and RoboStar Industry Exhibition, 11-12 Oct 2022, University of York. (Unpublished)

Proceedings Paper

Murray, Yvonne, Anisi, David A., Sirevåg, Martin et al. (2 more authors) (2020) Safety assurance of a high voltage controller for an industrial robotic system. In: Carvalho, Gustavo and Stolz, Volker, (eds.) Formal Methods:Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Proceedings. 23rd Brazilian Symposium on Formal Methods, SBMF 2020, 25-27 Nov 2020. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , BRA , pp. 45-63.