Pedro Ribeiro

36 papers A 1B 2C 2Misc 1Journal 20Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Correction: Diagrammatic physical robot models.
Softw. Syst. Model.
Alvaro Miyazawa, Sharar Ahmadi, Ana Cavalcanti, James Baxter, Mark Post, Pedro Ribeiro, Jon Timmis, Thomas Wright
2025 — conf
A Verification Methodology for Safety Assurance of RAS.
TAROS
Mustafa Adam, David A. Anisi, Pedro Ribeiro
2025 J jnl
Diagrammatic physical robot models.
Softw. Syst. Model.
Alvaro Miyazawa, Sharar Ahmadi, Ana Cavalcanti, James Baxter, Mark Post, Pedro Ribeiro, Jon Timmis, Thomas Wright
2025 J jnl
Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents.
J. Syst. Softw.
Sinem Getir Yaman, Pedro Ribeiro, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Beverley A. Townsend
2025 J jnl
Z Mathematical Toolkit in Isabelle/HOL.
Arch. Formal Proofs
Simon Foster, Pedro Ribeiro, Frank Zeyda, Jim Woodcock
2024 — conf
A Tour Through the Programming Choices: Semantics and Applications.
The Application of Formal Methods
Pedro Ribeiro, Kangfeng Ye, Frank Zeyda, Alvaro Miyazawa
2024 J jnl
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool.
Auton. Robots
Wei Li, Pedro Ribeiro, Alvaro Miyazawa, Richard Redpath, Ana Cavalcanti, Kieran Alden, Jim Woodcock, Jon Timmis
2024 J jnl
Laws of Timed State Machines.
Comput. J.
Ana Cavalcanti, Madiel Conserva Filho, Pedro Ribeiro, Augusto Sampaio
2024 — conf
Model Checking and Verification of Synchronisation Properties of Cobot Welding.
FMAS@iFM
Yvonne Murray, Henrik Nordlie, David A. Anisi, Pedro Ribeiro, Ana Cavalcanti
2024 J jnl
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents.
Sci. Comput. Program.
Sinem Getir Yaman, Pedro Ribeiro, Charlie Burholt, Maddie Jones, Ana Cavalcanti, Radu Calinescu
2024 — conf
Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation.
MESA
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
2023 J jnl
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents.
CoRR
Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Pedro Ribeiro, Beverley A. Townsend
2022 J jnl
Correction to: Sound reasoning in tock-CSP.
Acta Informatica
James Baxter, Pedro Ribeiro, Ana Cavalcanti
2022 J jnl
Safety assurance of an industrial robotic control system using hardware/software co-verification.
Sci. Comput. Program.
Yvonne Murray, Martin Sirevåg, Pedro Ribeiro, David A. Anisi, Morten Mossige
2022 J jnl
Sound reasoning in tock-CSP.
Acta Informatica
James Baxter, Pedro Ribeiro, Ana Cavalcanti
2021 — conf
Model-Based Engineering for Robotics with RoboChart and RoboTool.
ICTAC Summmer School
Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro
2021 J jnl
Safety assurance of an industrial robotic control system using hardware/software co-verification.
CoRR
Yvonne Murray, Martin Sirevåg, Pedro Ribeiro, David A. Anisi, Morten Mossige
2020 C conf
A Unary Semigroup Trace Algebra.
RAMiCS
Pedro Ribeiro
2020 J jnl
Editorial.
Formal Aspects Comput.
Ana Cavalcanti, Pedro Ribeiro
2020 — conf
Safety Assurance of a High Voltage Controller for an Industrial Robotic System.
SBMF
Yvonne Murray, David A. Anisi, Martin Sirevåg, Pedro Ribeiro, Rabah Saleh Hagag
2019 J jnl
Angelic processes for CSP via the UTP.
Theor. Comput. Sci.
Pedro Ribeiro, Ana Cavalcanti
2019 J jnl
Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming.
Arch. Formal Proofs
Simon Foster, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro, Burkhart Wolff
2019 J jnl
Priorities in tock-CSP.
CoRR
Pedro Ribeiro, James Baxter, Ana Cavalcanti
2019 J jnl
RoboChart: modelling and verification of the functional behaviour of robotic applications.
Softw. Syst. Model.
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock
2019 — ed.
Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
UTP
Pedro Ribeiro, Augusto Sampaio
2019 J jnl
Verified simulation for robotics.
Sci. Comput. Program.
Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis
2018 B conf
Modelling and Verification for Swarm Robotics.
IFM
Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis
2017 A conf
Automatic property checking of robotic applications.
IROS
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis
2017 J jnl
From Formalised State Machines to Implementations of Robotic Controllers.
CoRR
Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis
2017 B conf
Modelling and Verification of Timed Robotic Controllers.
IFM
Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis
2016 — conf
A Stepwise Approach to Linking Theories.
UTP
Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock
2016 — conf
From Formalised State Machines to Implementations of Robotic Controllers.
DARS
Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis
2015 J jnl
Angelic Processes.
CoRR
Pedro Ribeiro
2014 — conf
Angelicism in the Theory of Reactive Processes.
UTP
Pedro Ribeiro, Ana Cavalcanti
2014 C conf
UTP Designs for Binary Multirelations.
ICTAC
Pedro Ribeiro, Ana Cavalcanti
2013 Misc conf
Designs with Angelic Nondeterminism.
TASE
Pedro Ribeiro, Ana Cavalcanti