Pedro Ribeiro

Orcid: 0000-0003-4319-4872

Affiliations:
  • University of York, UK


According to our database1, Pedro Ribeiro authored at least 28 papers between 2013 and 2025.

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
Other 

Links

Online presence:

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

Model Checking and Verification of Synchronisation Properties of Cobot Welding.
Proceedings of the Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, 2024

Laws of Timed State Machines.
Comput. J., 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

Correction to: Sound reasoning in tock-CSP.
Acta Informatica, 2022

Sound reasoning in tock-CSP.
Acta Informatica, 2022

2021
Model-Based Engineering for Robotics with RoboChart and RoboTool.
Proceedings of the Formal Methods for an Informal World, 2021

2020
Editorial.
Formal Aspects Comput., 2020

Safety Assurance of a High Voltage Controller for an Industrial Robotic System.
Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

A Unary Semigroup Trace Algebra.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2019
Angelic processes for CSP via the UTP.
Theor. Comput. Sci., 2019

RoboChart: modelling and verification of the functional behaviour of robotic applications.
Softw. Syst. Model., 2019

Verified simulation for robotics.
Sci. Comput. Program., 2019

Priorities in tock-CSP.
CoRR, 2019

Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming.
Arch. Formal Proofs, 2019

2018
Modelling and Verification for Swarm Robotics.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

2017
Automatic property checking of robotic applications.
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Modelling and Verification of Timed Robotic Controllers.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016
A Stepwise Approach to Linking Theories.
Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

From Formalised State Machines to Implementations of Robotic Controllers.
Proceedings of the Distributed Autonomous Robotic Systems, 2016

2015
Angelic Processes.
CoRR, 2015

2014
Angelic processes.
PhD thesis, 2014

Angelicism in the Theory of Reactive Processes.
Proceedings of the Unifying Theories of Programming - 5th International Symposium, 2014

UTP Designs for Binary Multirelations.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013
Designs with Angelic Nondeterminism.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013


  Loading...