Designs with Angelic Nondeterminism. - Pedro Ribeiro 002; Ana Cavalcanti 001 (TASE, 2013)

UTP Designs for Binary Multirelations. - Pedro Ribeiro 002; Ana Cavalcanti 001 (ICTAC, 2014)

Angelicism in the Theory of Reactive Processes. - Pedro Ribeiro 002; Ana Cavalcanti 001 (UTP, 2014)

Angelic processes. - Pedro Fernando De Oliveira Salazar Ribeiro (2014)

Angelic Processes. - Pedro Ribeiro 002 (CoRR, 2015)

From Formalised State Machines to Implementations of Robotic Controllers. - Wei Li 055; Alvaro Miyazawa; Pedro Ribeiro 002; Ana Cavalcanti 001; Jim Woodcock 001; Jon Timmis (DARS, 2016)

A Stepwise Approach to Linking Theories. - Pedro Ribeiro 002; Ana Cavalcanti 001; Jim Woodcock 001 (UTP, 2016)

Modelling and Verification of Timed Robotic Controllers. - Pedro Ribeiro 002; Alvaro Miyazawa; Wei Li 055; Ana Cavalcanti 001; Jon Timmis (IFM, 2017)

Automatic property checking of robotic applications. - Alvaro Miyazawa; Pedro Ribeiro 002; Wei Li 055; Ana Cavalcanti 001; Jon Timmis (IROS, 2017)

Modelling and Verification for Swarm Robotics. - Ana Cavalcanti 001; Alvaro Miyazawa; Augusto Sampaio 001; Wei Li 055; Pedro Ribeiro 002; Jon Timmis (IFM, 2018)

Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming. - Simon Foster 001; Frank Zeyda; Yakoub Nemouchi; Pedro Ribeiro 002; Burkhart Wolff (Arch. Formal Proofs, 2019)

Priorities in tock-CSP. - Pedro Ribeiro 002; James Baxter 001; Ana Cavalcanti 001 (CoRR, 2019)

Verified simulation for robotics. - Ana Cavalcanti 001; Augusto Sampaio 001; Alvaro Miyazawa; Pedro Ribeiro 002; Madiel Conserva Filho; André Didier; Wei Li 055; Jon Timmis (Sci. Comput. Program., 2019)

RoboChart: modelling and verification of the functional behaviour of robotic applications. - Alvaro Miyazawa; Pedro Ribeiro 002; Wei Li 055; Ana Cavalcanti 001; Jon Timmis; Jim Woodcock 001 (Softw. Syst. Model., 2019)

Angelic processes for CSP via the UTP. - Pedro Ribeiro 002; Ana Cavalcanti 001 (Theor. Comput. Sci., 2019)

A Unary Semigroup Trace Algebra. - Pedro Ribeiro 002 (RAMiCS, 2020)

Safety Assurance of a High Voltage Controller for an Industrial Robotic System. - Yvonne Murray; David A. Anisi; Martin Sirevåg; Pedro Ribeiro 002; Rabah Saleh Hagag (SBMF, 2020)

Editorial. - Ana Cavalcanti 001; Pedro Ribeiro 002 (Formal Aspects Comput., 2020)

Model-Based Engineering for Robotics with RoboChart and RoboTool. - Ana Cavalcanti 001; Ziggy Attala; James Baxter 001; Alvaro Miyazawa; Pedro Ribeiro 002 (ICTAC Summmer School, 2021)

Sound reasoning in tock-CSP. - James Baxter 001; Pedro Ribeiro 002; Ana Cavalcanti 001 (Acta Informatica, 2022)

Correction to: Sound reasoning in tock-CSP. - James Baxter 001; Pedro Ribeiro 002; Ana Cavalcanti 001 (Acta Informatica, 2022)

Safety assurance of an industrial robotic control system using hardware/software co-verification. - Yvonne Murray; Martin Sirevåg; Pedro Ribeiro 002; David A. Anisi; Morten Mossige (Sci. Comput. Program., 2022)

A Tour Through the Programming Choices: Semantics and Applications. - Pedro Ribeiro 002; Kangfeng Ye; Frank Zeyda; Alvaro Miyazawa (The Application of Formal Methods, 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 002; Hugo Araújo; Rob Richardson; Louise Abigail Dennis; Ana Lucia Caneca Cavalcanti; Mohammad Reza Mousavi 001 (MESA, 2024)

Laws of Timed State Machines. - Ana Cavalcanti 001; Madiel Conserva Filho; Pedro Ribeiro 002; Augusto Sampaio 001 (Comput. J., 2024)

Model Checking and Verification of Synchronisation Properties of Cobot Welding. - Yvonne Murray; Henrik Nordlie; David A. Anisi; Pedro Ribeiro 002; Ana Cavalcanti 001 (FMAS@iFM, 2024)

Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. - Sinem Getir Yaman; Pedro Ribeiro 002; Charlie Burholt; Maddie Jones; Ana Cavalcanti 001; Radu Calinescu (Sci. Comput. Program., 2024)

Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool. - Wei Li 055; Pedro Ribeiro 002; Alvaro Miyazawa; Richard Redpath; Ana Cavalcanti 001; Kieran Alden; Jim Woodcock 001; Jon Timmis (Auton. Robots, 2024)

Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. - Sinem Getir Yaman; Pedro Ribeiro 002; Ana Cavalcanti 001; Radu Calinescu; Colin Paterson; Beverley A. Townsend (J. Syst. Softw., 2025)