Pedro Ribeiro

According to our database, Pedro Ribeiro authored at least 23 papers between 2013 and 2023.

Collaborative distances:

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

2023

Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents.

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

CoRR, 2023

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