Pedro Ribeiro

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 24

Top Topics

Autonomous Agents

Constraint Propagation

Propositional Theories

Tree Decompositions

Top Venues

Sci. Comput. Program.

Acta Informatica

Publications

Sinem Getir Yaman, Pedro Ribeiro, Charlie Burholt, Maddie Jones, Ana Cavalcanti, Radu Calinescu
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. Sci. Comput. Program. 236 (2024)
Wei Li, Pedro Ribeiro, Alvaro Miyazawa, Richard Redpath, Ana Cavalcanti, Kieran Alden, Jim Woodcock, Jon Timmis
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool. Auton. Robots 48 (6-7) (2024)
Ana Cavalcanti, Madiel Conserva Filho, Pedro Ribeiro, Augusto Sampaio
Laws of Timed State Machines. Comput. J. 67 (6) (2024)
Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Pedro Ribeiro, Beverley Townsend
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. CoRR (2023)
James Baxter, Pedro Ribeiro, Ana Cavalcanti
Sound reasoning in tock-CSP. Acta Informatica 59 (1) (2022)
James Baxter, Pedro Ribeiro, Ana Cavalcanti
Correction to: Sound reasoning in tock-CSP. Acta Informatica 59 (2-3) (2022)
Yvonne Murray, Martin Sirevåg, Pedro Ribeiro, David A. Anisi, Morten Mossige
Safety assurance of an industrial robotic control system using hardware/software co-verification. Sci. Comput. Program. 216 (2022)
Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro
Model-Based Engineering for Robotics with RoboChart and RoboTool. ICTAC Summmer School (2021)
Yvonne Murray, Martin Sirevåg, Pedro Ribeiro, David A. Anisi, Morten Mossige
Safety assurance of an industrial robotic control system using hardware/software co-verification. CoRR (2021)
Ana Cavalcanti, Pedro Ribeiro
Editorial. Formal Aspects Comput. 32 (2-3) (2020)
Yvonne Murray, David A. Anisi, Martin Sirevåg, Pedro Ribeiro, Rabah Saleh Hagag
Safety Assurance of a High Voltage Controller for an Industrial Robotic System. SBMF (2020)
Pedro Ribeiro
A Unary Semigroup Trace Algebra. RAMiCS (2020)
Simon Foster, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro, Burkhart Wolff
Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming. Arch. Formal Proofs 2019 (2019)
Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis
Verified simulation for robotics. Sci. Comput. Program. 174 (2019)
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock
RoboChart: modelling and verification of the functional behaviour of robotic applications. Softw. Syst. Model. 18 (5) (2019)
Pedro Ribeiro, James Baxter, Ana Cavalcanti
Priorities in tock-CSP. CoRR (2019)
Pedro Ribeiro, Ana Cavalcanti
Angelic processes for CSP via the UTP. Theor. Comput. Sci. 756 (2019)
Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis
Modelling and Verification for Swarm Robotics. IFM (2018)
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis
Automatic property checking of robotic applications. IROS (2017)
Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis
Modelling and Verification of Timed Robotic Controllers. IFM (2017)
Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis
From Formalised State Machines to Implementations of Robotic Controllers. CoRR (2017)
Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis
From Formalised State Machines to Implementations of Robotic Controllers. DARS (2016)
Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock
A Stepwise Approach to Linking Theories. UTP (2016)
Pedro Ribeiro
Angelic Processes. CoRR (2015)
Pedro Ribeiro, Ana Cavalcanti
Angelicism in the Theory of Reactive Processes. UTP (2014)
Pedro Ribeiro, Ana Cavalcanti
UTP Designs for Binary Multirelations. ICTAC (2014)
Pedro Ribeiro, Ana Cavalcanti
Designs with Angelic Nondeterminism. TASE (2013)