Items where authors include "Ribeiro, Pedro"

Article

Miyazawa, Alvaro orcid.org/0000-0003-2233-9091, Ahmadi, Sharar, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (5 more authors) (2025) Diagrammatic physical robot models. Software and Systems Modeling. ISSN 1619-1366

Getir Yaman, Sinem, Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (3 more authors) (2025) Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. Journal of Systems and Software. 112229. ISSN 0164-1212

Getir Yaman, Sinem, Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 et al. (3 more authors) (2025) Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. Journal of Systems and Software. 112229. ISSN 0164-1212

Murray, Yvonne, Nordlie, Henrik, Anisi, David A. et al. (2 more authors) (2024) Model Checking and Verification of Synchronisation Properties of Cobot Welding. Electronic Proceedings in Theoretical Computer Science, EPTCS. pp. 91-108. ISSN 2075-2180

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. 103118. ISSN 0167-6423

Li, Wei orcid.org/0000-0001-9786-585X, Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 et al. (5 more authors) (2024) Formal Design, Verification and Implementation of Robotic Controller Software via RoboChart and RoboTool. Autonomous Robots. 14. ISSN 0929-5593

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

Book Section

Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Ye, Kangfeng, Zeyda, Frank et al. (1 more author) (2024) A Tour Through the Programming Choices:Semantics and Applications. In: Foster, Simon and Sampaio, Auguto, (eds.) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer Science and Business Media Deutschland GmbH , pp. 261-305.

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]