Correction: Diagrammatic physical robot models.

Pedro Ribeiro 0002 Pedro Fernando De Oliveira Salazar Ribeiro University of York, UK http://www-users.cs.york.ac.uk/~pfr/ https://www.cs.york.ac.uk/people/?search=pedro&username=pfr https://bitbucket.org/pfribeiro/ https://scholar.google.com/citations?user=qAVJo4MAAAAJ https://twitter.com/kathodus https://github.com/kathode https://orcid.org/0000-0003-4319-4872 Pedro Ribeiro Pedro Ribeiro 0001 University of Minho, Centro ALGORITMI, Guimarães, Portugal https://orcid.org/0000-0003-3538-9282 https://www.wikidata.org/entity/Q60729486 https://www.researcherid.com/rid/P-6713-2014 https://www.scopus.com/authid/detail.uri?authorId=7102542936 Pedro Ribeiro 0003 University of Lisbon, CeFEMA, Portugal Pierre and Marie Curie University, Paris, France https://orcid.org/0000-0001-7630-2054 https://www.wikidata.org/entity/Q57412729 https://www.researcherid.com/rid/D-7546-2011 Pedro Ribeiro 0004 Pedro Manuel Pinto Ribeiro University of Porto, Computer Science Department, Portugal https://www.dcc.fc.up.pt/~pribeiro/ https://openreview.net/profile?id=~Pedro_Manuel_Pinto_Ribeiro1 https://dl.acm.org/profile/81350569690 https://orcid.org/0000-0002-5768-1383 https://www.wikidata.org/entity/Q59686873 https://www.researcherid.com/rid/F-9537-2011 https://www.authenticus.pt/R-000-EWQ Pedro Ribeiro 0005 University of Porto, Department of Mechanical Engineering, Portugal University of Southampton, Institute of Sound and Vibration Research, UK https://orcid.org/0000-0002-7718-6910 https://www.scopus.com/authid/detail.uri?authorId=7102543017 Pedro Ribeiro 0006 Pedro Canotilho Ribeiro University of Lisbon, Department of Physics, Instituto Superior Tecnico, Portugal Mary University of London, ARQ, School of Electronic Engineering and Computer Science, UK https://orcid.org/0000-0003-3249-7683

Alvaro Miyazawa Sharar Ahmadi Ana Cavalcanti 0001 James Baxter 0001 Mark Post Pedro Ribeiro 0002 Jon Timmis Thomas Wright Correction: Diagrammatic physical robot models. 2026 February 17-18 25 Softw. Syst. Model. 1 https://doi.org/10.1007/s10270-025-01325-x db/journals/sosym/sosym25.html#MiyazawaACBPRTW26 streams/journals/sosym

Simon Foster 0001 Pedro Ribeiro 0002 Frank Zeyda Jim Woodcock 0001 Z Mathematical Toolkit in Isabelle/HOL. 2025 2025 Arch. Formal Proofs https://www.isa-afp.org/entries/Z_Toolkit.html db/journals/afp/afp2025.html#FosterRZW25 streams/journals/afp

Sinem Getir Yaman Pedro Ribeiro 0002 Ana Cavalcanti 0001 Radu Calinescu Colin Paterson Beverley A. Townsend Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. 112229 2025 220 J. Syst. Softw. https://doi.org/10.1016/j.jss.2024.112229 db/journals/jss/jss220.html#YamanRCCPT25 streams/journals/jss

Alvaro Miyazawa Sharar Ahmadi Ana Cavalcanti 0001 James Baxter 0001 Mark Post Pedro Ribeiro 0002 Jon Timmis Thomas Wright Diagrammatic physical robot models. 1549-1593 2025 October 24 Softw. Syst. Model. 5 https://doi.org/10.1007/s10270-025-01270-9 db/journals/sosym/sosym24.html#MiyazawaACBPRTW25 streams/journals/sosym

Mustafa Adam David A. Anisi Pedro Ribeiro 0002 A Verification Methodology for Safety Assurance of RAS. 281-294 2025 TAROS https://doi.org/10.1007/978-3-032-01486-3_23 conf/taros/2025 db/conf/taros/taros2025.html#AdamAR25 streams/conf/taros

Wei Li 0055 Pedro Ribeiro 0002 Alvaro Miyazawa Richard Redpath Ana Cavalcanti 0001 Kieran Alden Jim Woodcock 0001 Jon Timmis Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool. 14 2024 August 48 Auton. Robots 6-7 https://doi.org/10.1007/s10514-024-10163-7 db/journals/arobots/arobots48.html#LiRMRCAWT24 streams/journals/arobots

Ana Cavalcanti 0001 Madiel Conserva Filho Pedro Ribeiro 0002 Augusto Sampaio 0001 Laws of Timed State Machines. 2066-2107 2024 67 Comput. J. 6 https://doi.org/10.1093/comjnl/bxad124 db/journals/cj/cj67.html#CavalcantiFRS24

Sinem Getir Yaman Pedro Ribeiro 0002 Charlie Burholt Maddie Jones Ana Cavalcanti 0001 Radu Calinescu Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. 103118 2024 236 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2024.103118 db/journals/scp/scp236.html#YamanRBJCC24

Pedro Ribeiro 0002 Kangfeng Ye Frank Zeyda Alvaro Miyazawa A Tour Through the Programming Choices: Semantics and Applications. 261-305 2024 The Application of Formal Methods https://doi.org/10.1007/978-3-031-67114-2_11 conf/birthday/2024woodcock db/conf/birthday/woodcock2024.html#0002YZM24 Nabil Shaukat Shival Dubey Bilal Y. Kaddouh Andy Blight Lenka Mudrich Pedro Ribeiro 0002 Hugo Araújo Rob Richardson 0001 Louise Abigail Dennis Ana Lucia Caneca Cavalcanti Mohammad Reza Mousavi 0001 Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation. 1-7 2024 MESA https://doi.org/10.1109/MESA61532.2024.10704818 conf/mesa/2024 db/conf/mesa/mesa2024.html#ShaukatDKBMRARD24 Yvonne Murray Henrik Nordlie David A. Anisi Pedro Ribeiro 0002 Ana Cavalcanti 0001 Model Checking and Verification of Synchronisation Properties of Cobot Welding. FMAS@iFM 2024 91-108 journals/corr/abs-2411-13215 https://doi.org/10.4204/EPTCS.411.6 https://doi.org/10.48550/arXiv.2411.14369 db/series/eptcs/eptcs411.html#abs-2411-14369 streams/journals/corr

Sinem Getir Yaman Ana Cavalcanti 0001 Radu Calinescu Colin Paterson Pedro Ribeiro 0002 Beverley A. Townsend Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. 2023 abs/2307.03697 CoRR https://doi.org/10.48550/arXiv.2307.03697 db/journals/corr/corr2307.html#abs-2307-03697

James Baxter 0001 Pedro Ribeiro 0002 Ana Cavalcanti 0001 Sound reasoning in tock-CSP. 125-162 2022 59 Acta Informatica 1 https://doi.org/10.1007/s00236-020-00394-3 db/journals/acta/acta59.html#BaxterRC22

James Baxter 0001 Pedro Ribeiro 0002 Ana Cavalcanti 0001 Correction to: Sound reasoning in tock-CSP. 283 2022 59 Acta Informatica 2-3 https://doi.org/10.1007/s00236-021-00409-7 db/journals/acta/acta59.html#BaxterRC22a

Yvonne Murray Martin Sirevåg Pedro Ribeiro 0002 David A. Anisi Morten Mossige Safety assurance of an industrial robotic control system using hardware/software co-verification. 102766 2022 216 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2021.102766 https://www.wikidata.org/entity/Q113865322 db/journals/scp/scp216.html#MurraySRAM22

Ana Cavalcanti 0001 Ziggy Attala James Baxter 0001 Alvaro Miyazawa Pedro Ribeiro 0002 Model-Based Engineering for Robotics with RoboChart and RoboTool. 106-151 2021 ICTAC Summmer School https://doi.org/10.1007/978-3-031-43678-9_4 conf/ictac/2021s db/conf/ictac/ictac2021s.html#0001A0M021

Yvonne Murray Martin Sirevåg Pedro Ribeiro 0002 David A. Anisi Morten Mossige Safety assurance of an industrial robotic control system using hardware/software co-verification. 2021 abs/2112.12248 CoRR https://arxiv.org/abs/2112.12248 db/journals/corr/corr2112.html#abs-2112-12248

Ana Cavalcanti 0001 Pedro Ribeiro 0002 Editorial. 155 2020 32 Formal Aspects Comput. 2-3 https://doi.org/10.1007/s00165-020-00516-1 db/journals/fac/fac32.html#CavalcantiR20

Pedro Ribeiro 0002 A Unary Semigroup Trace Algebra. 270-285 2020 RAMiCS https://doi.org/10.1007/978-3-030-43520-2_17 conf/RelMiCS/2020 db/conf/RelMiCS/ramics2020.html#Ribeiro20 Yvonne Murray David A. Anisi Martin Sirevåg Pedro Ribeiro 0002 Rabah Saleh Hagag Safety Assurance of a High Voltage Controller for an Industrial Robotic System. 45-63 2020 SBMF https://doi.org/10.1007/978-3-030-63882-5_4 conf/sbmf/2020 db/conf/sbmf/sbmf2020.html#MurrayASRH20

Simon Foster 0001 Frank Zeyda Yakoub Nemouchi Pedro Ribeiro 0002 Burkhart Wolff Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming. 2019 2019 Arch. Formal Proofs https://www.isa-afp.org/entries/UTP.html db/journals/afp/afp2019.html#FosterZNRW19

Ana Cavalcanti 0001 Augusto Sampaio 0001 Alvaro Miyazawa Pedro Ribeiro 0002 Madiel Conserva Filho André Didier Wei Li 0055 Jon Timmis Verified simulation for robotics. 1-37 2019 174 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2019.01.004 db/journals/scp/scp174.html#CavalcantiSMRFD19

Alvaro Miyazawa Pedro Ribeiro 0002 Wei Li 0055 Ana Cavalcanti 0001 Jon Timmis Jim Woodcock 0001 RoboChart: modelling and verification of the functional behaviour of robotic applications. 3097-3149 2019 18 Softw. Syst. Model. 5 https://doi.org/10.1007/s10270-018-00710-z https://www.wikidata.org/entity/Q128538528 db/journals/sosym/sosym18.html#MiyazawaRLCTW19

Pedro Ribeiro 0002 Ana Cavalcanti 0001 Angelic processes for CSP via the UTP. 19-63 2019 756 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2018.10.008 db/journals/tcs/tcs756.html#RibeiroC19

Pedro Ribeiro 0002 Augusto Sampaio 0001 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 Springer 2019 Lecture Notes in Computer Science 11885 978-3-030-31037-0 978-3-030-31038-7 https://doi.org/10.1007/978-3-030-31038-7 db/conf/utp/utp2019.html

Pedro Ribeiro 0002 James Baxter 0001 Ana Cavalcanti 0001 Priorities in tock-CSP. 2019 abs/1907.07974 CoRR http://arxiv.org/abs/1907.07974 db/journals/corr/corr1907.html#abs-1907-07974

Ana Cavalcanti 0001 Alvaro Miyazawa Augusto Sampaio 0001 Wei Li 0055 Pedro Ribeiro 0002 Jon Timmis Modelling and Verification for Swarm Robotics. 1-19 2018 IFM https://doi.org/10.1007/978-3-319-98938-9_1 conf/ifm/2018 db/conf/ifm/ifm2018.html#CavalcantiMSL0T18 Pedro Ribeiro 0002 Alvaro Miyazawa Wei Li 0055 Ana Cavalcanti 0001 Jon Timmis Modelling and Verification of Timed Robotic Controllers. 18-33 2017 IFM https://doi.org/10.1007/978-3-319-66845-1_2 https://www.wikidata.org/entity/Q60473539 conf/ifm/2017 db/conf/ifm/ifm2017.html#0002MLCT17 Alvaro Miyazawa Pedro Ribeiro 0002 Wei Li 0055 Ana Cavalcanti 0001 Jon Timmis Automatic property checking of robotic applications. 3869-3876 2017 IROS https://doi.org/10.1109/IROS.2017.8206238 https://www.wikidata.org/entity/Q60473527 conf/iros/2017 db/conf/iros/iros2017.html#Miyazawa0LCT17

Wei Li 0055 Alvaro Miyazawa Pedro Ribeiro 0002 Ana Cavalcanti 0001 Jim Woodcock 0001 Jon Timmis From Formalised State Machines to Implementations of Robotic Controllers. 2017 abs/1702.01783 CoRR http://arxiv.org/abs/1702.01783 db/journals/corr/corr1702.html#LiMRCWT17

Wei Li 0055 Alvaro Miyazawa Pedro Ribeiro 0002 Ana Cavalcanti 0001 Jim Woodcock 0001 Jon Timmis From Formalised State Machines to Implementations of Robotic Controllers. 517-529 2016 DARS https://doi.org/10.1007/978-3-319-73008-0_36 conf/dars/2016 db/conf/dars/dars2016.html#LiM0CWT16 Pedro Ribeiro 0002 Ana Cavalcanti 0001 Jim Woodcock 0001 A Stepwise Approach to Linking Theories. 134-154 2016 UTP https://doi.org/10.1007/978-3-319-52228-9_7 conf/utp/2016 db/conf/utp/utp2016.html#RibeiroCW16

Pedro Ribeiro 0002 Angelic Processes. 2015 abs/1505.04726 CoRR http://arxiv.org/abs/1505.04726 db/journals/corr/corr1505.html#Ribeiro15

Pedro Fernando De Oliveira Salazar Ribeiro Angelic processes. 2014 University of York, UK http://etheses.whiterose.ac.uk/9020/ https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.647072 British Library, EThOS Pedro Ribeiro 0002 Ana Cavalcanti 0001 UTP Designs for Binary Multirelations. 388-405 2014 ICTAC https://doi.org/10.1007/978-3-319-10882-7_23 conf/ictac/2014 db/conf/ictac/ictac2014.html#RibeiroC14 Pedro Ribeiro 0002 Ana Cavalcanti 0001 Angelicism in the Theory of Reactive Processes. 42-61 2014 UTP https://doi.org/10.1007/978-3-319-14806-9_3 conf/utp/2014 db/conf/utp/utp2014.html#RibeiroC14 Pedro Ribeiro 0002 Ana Cavalcanti 0001 Designs with Angelic Nondeterminism. 71-78 2013 TASE https://doi.org/10.1109/TASE.2013.18 https://doi.ieeecomputersociety.org/10.1109/TASE.2013.18 conf/tase/2013 db/conf/tase/tase2013.html#RibeiroC13 Mustafa Adam Sharar Ahmadi Kieran Alden David A. Anisi Hugo Araújo Ziggy Attala James Baxter 0001 Andy Blight Charlie Burholt Radu Calinescu Ana Cavalcanti 0001Ana Lucia Caneca Cavalcanti Louise A. DennisLouise Abigail Dennis André Didier Shival Dubey Madiel Conserva Filho Simon Foster 0001 Sinem GetirSinem Getir Yaman Rabah Saleh Hagag Maddie Jones Bilal Y. Kaddouh Wei Li 0055 Alvaro Miyazawa Morten Mossige Mohammad Reza Mousavi 0001 Lenka Mudrich Yvonne Murray Yakoub Nemouchi Henrik Nordlie Colin Paterson Mark Post Richard Redpath Robert Richardson 0001Rob Richardson 0001 Augusto Sampaio 0001 Nabil Shaukat Martin Sirevåg Jonathan TimmisJon Timmis Beverley A. Townsend Burkhart Wolff Jim Woodcock 0001 Thomas Wright Kangfeng Ye Frank Zeyda