Pedro Ribeiro
Orcid: 0000-0003-4319-4872Affiliations:
- University of York, UK
According to our database1,
Pedro Ribeiro
authored at least 28 papers
between 2013 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
1
3
3
1
5
1
2
1
2
1
2
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on twitter.com
-
on orcid.org
-
on github.com
On csauthors.net:
Bibliography
2025
Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents.
J. Syst. Softw., 2025
2024
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool.
Auton. Robots, August, 2024
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents.
Sci. Comput. Program., 2024
Proceedings of the Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, 2024
Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation.
Proceedings of the 20th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2024
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