Pedro Ribeiro

According to our database, Pedro Ribeiro authored at least 36 papers between 2013 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Correction: Diagrammatic physical robot models.

Alvaro Miyazawa, Sharar Ahmadi, Ana Cavalcanti, James Baxter, Mark Post, Pedro Ribeiro, Jon Timmis, Thomas Wright

Softw. Syst. Model., February, 2026

Verifying Properties of State-Based Models Using Constraint Programming.

Victoria Johnson, Pedro Ribeiro, Simon Foster, Peter Nightingale, Felix Ulrich-Oltean

Proceedings of the Rigorous State-Based Methods - 12th International Conference, 2026

The SLEEC Framework for Normative Requirements Engineering.

Pedro Ribeiro, Radu Calinescu, Ana Cavalcanti, Marsha Chechik, Sinem Getir Yaman, Lina Marsso, Isobel Standen, Beverley A. Townsend

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

Diagrammatic physical robot models.

Alvaro Miyazawa, Sharar Ahmadi, Ana Cavalcanti, James Baxter, Mark Post, Pedro Ribeiro, Jon Timmis, Thomas Wright

Softw. Syst. Model., October, 2025

Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents.

Sinem Getir Yaman, Pedro Ribeiro, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Beverley A. Townsend

J. Syst. Softw., 2025

Z Mathematical Toolkit in Isabelle/HOL.

Simon Foster, Pedro Ribeiro, Frank Zeyda, Jim Woodcock

Arch. Formal Proofs, 2025

A Verification Methodology for Safety Assurance of RAS.

Mustafa Adam, David A. Anisi, Pedro Ribeiro

Proceedings of the Towards Autonomous Robotic Systems - 26th Annual Conference, 2025

Engineering Safe Robotics Software from Simulation Models via RoboSim.

Pedro Ribeiro, Dalay Almeida, Paulo E. R. Bezerra, Ana Cavalcanti, Thierry Lecomte, Marcel Vinícius Medeiros Oliveira

Proceedings of the Engineering Trustworthy Software Systems - 7th International School, 2025

2024

Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool.

Wei Li, Pedro Ribeiro, Alvaro Miyazawa, Richard Redpath, Ana Cavalcanti, Kieran Alden, Jim Woodcock, Jon Timmis

Auton. Robots, August, 2024

Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents.

Sinem Getir Yaman, Pedro Ribeiro, Charlie Burholt, Maddie Jones, Ana Cavalcanti, Radu Calinescu

Sci. Comput. Program., 2024

Model Checking and Verification of Synchronisation Properties of Cobot Welding.

Yvonne Murray, Henrik Nordlie, David A. Anisi, Pedro Ribeiro, Ana Cavalcanti

Proceedings of the Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, 2024

Laws of Timed State Machines.

Ana Cavalcanti, Madiel Conserva Filho, Pedro Ribeiro, Augusto Sampaio

Comput. J., 2024

Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation.

Nabil Shaukat, Shival Dubey, Bilal Y. Kaddouh, Andy Blight, Lenka Mudrich, Pedro Ribeiro, Hugo Araújo, Rob Richardson, Louise Abigail Dennis, Ana Lucia Caneca Cavalcanti, Mohammad Reza Mousavi

Proceedings of the 20th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2024

A Tour Through the Programming Choices: Semantics and Applications.

Pedro Ribeiro, Kangfeng Ye, Frank Zeyda, Alvaro Miyazawa

Proceedings of the Application of Formal Methods, 2024

2022

Safety assurance of an industrial robotic control system using hardware/software co-verification.

Yvonne Murray, Martin Sirevåg, Pedro Ribeiro, David A. Anisi, Morten Mossige

Sci. Comput. Program., 2022

Correction to: Sound reasoning in tock-CSP.

James Baxter, Pedro Ribeiro, Ana Cavalcanti

Acta Informatica, 2022

Sound reasoning in tock-CSP.

James Baxter, Pedro Ribeiro, Ana Cavalcanti

Acta Informatica, 2022

2021

Model-Based Engineering for Robotics with RoboChart and RoboTool.

Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro

Proceedings of the Formal Methods for an Informal World, 2021

2020

Editorial.

Ana Cavalcanti, Pedro Ribeiro

Formal Aspects Comput., 2020

Safety Assurance of a High Voltage Controller for an Industrial Robotic System.

Yvonne Murray, David A. Anisi, Martin Sirevåg, Pedro Ribeiro, Rabah Saleh Hagag

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

A Unary Semigroup Trace Algebra.

Pedro Ribeiro

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2019

Angelic processes for CSP via the UTP.

Pedro Ribeiro, Ana Cavalcanti

Theor. Comput. Sci., 2019

RoboChart: modelling and verification of the functional behaviour of robotic applications.

Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock

Softw. Syst. Model., 2019

Verified simulation for robotics.

Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis

Sci. Comput. Program., 2019

Priorities in tock-CSP.

Pedro Ribeiro, James Baxter, Ana Cavalcanti

CoRR, 2019

Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming.

Simon Foster, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro, Burkhart Wolff

Arch. Formal Proofs, 2019

2018

Modelling and Verification for Swarm Robotics.

Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

2017

Automatic property checking of robotic applications.

Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Modelling and Verification of Timed Robotic Controllers.

Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

A Stepwise Approach to Linking Theories.

Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock

Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

From Formalised State Machines to Implementations of Robotic Controllers.

Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis

Proceedings of the Distributed Autonomous Robotic Systems, 2016

2015

Angelic Processes.

Pedro Ribeiro

CoRR, 2015

2014

Angelic processes.

Pedro Fernando De Oliveira Salazar Ribeiro

PhD thesis, 2014

Angelicism in the Theory of Reactive Processes.

Pedro Ribeiro, Ana Cavalcanti

Proceedings of the Unifying Theories of Programming - 5th International Symposium, 2014

UTP Designs for Binary Multirelations.

Pedro Ribeiro, Ana Cavalcanti

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013

Designs with Angelic Nondeterminism.

Pedro Ribeiro, Ana Cavalcanti

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013