Pedro Ribeiro
Orcid: 0000-0003-4319-4872Affiliations:
- University of York, UK
According to our database1,
Pedro Ribeiro
authored at least 25 papers
between 2013 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on twitter.com
-
on orcid.org
-
on github.com
On csauthors.net:
Bibliography
2024
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents.
Sci. Comput. Program., 2024
2023
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents.
CoRR, 2023
2022
Safety assurance of an industrial robotic control system using hardware/software co-verification.
Sci. Comput. Program., 2022
2021
Proceedings of the Formal Methods for an Informal World, 2021
2020
Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020
Proceedings of the Relational and Algebraic Methods in Computer Science, 2020
2019
RoboChart: modelling and verification of the functional behaviour of robotic applications.
Softw. Syst. Model., 2019
Arch. Formal Proofs, 2019
2018
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
2017
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017
2016
Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016
Proceedings of the Distributed Autonomous Robotic Systems, 2016
2015
2014
Proceedings of the Unifying Theories of Programming - 5th International Symposium, 2014
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014
2013
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013