Items where authors include "Ribeiro, Pedro"

Article

Getir Yaman, Sinem, Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Burholt, Charlie et al. (3 more authors) (2024) Toolkit for Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. Science of Computer Programming. ISSN 0167-6423 (In Press)

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

Baxter, James, Ribeiro, Pedro orcid.org/0000-0003-4319-4872 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2021) Sound reasoning in tock-CSP. Acta Informatica. pp. 126-162. ISSN 0001-5903

Cavalcanti, Ana orcid.org/0000-0002-0831-1976, Sampaio, Augusto, Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 et al. (5 more authors) (2019) Verified simulation for robotics. Science of Computer Programming. ISSN 0167-6423

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.

Preprint

Yaman, Sinem Getir, Cavalcanti, Ana orcid.org/0000-0002-0831-1976, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (3 more authors) (2023) Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. [Preprint]