Pedro Ribeiro

Search results

• 2024

  Formal Design, Verification and Implementation of Robotic Controller Software via RoboChart and RoboTool

  Li, W., Ribeiro, P., Miyazawa, A., Redpath, R., Cavalcanti, A. L. C., Alden, K. J., Woodcock, J. & Timmis, J., 5 Jul 2024, In: Autonomous Robots. 48, 22 p., 14.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• SLEEC-TK

  Getir Yaman, S., Ribeiro, P., Burholt, C., Jones, M., Cavalcanti, A. L. C. & Calinescu, R., 4 Apr 2024

  Research output: Non-textual form › Software

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

  Getir Yaman, S., Ribeiro, P., Cavalcanti, A. L. C., Calinescu, R., Paterson, C. & Townsend, B., 23 Sept 2024, (Accepted/In press) In: Journal of Systems and Software.

  Research output: Contribution to journal › Article › peer-review

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

  Getir Yaman, S., Ribeiro, P., Burholt, C., Jones, M., Cavalcanti, A. L. C. & Calinescu, R., 1 Sept 2024, In: Science of Computer Programming. 236, 6 p., 103118.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2023

  Laws of Timed State Machines

  Cavalcanti, A. L. C., Filho, M. C., De Oliveira Salazar Ribeiro, P. F. & Sampaio, A., 22 Dec 2023, In: The Computer Journal. 42 p., bxad124.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2022

  Autonomous Fire-Fighting UAV

  Araujo, H., Dubey, S., Kaddouh, B. Y., Mousavi, M. R., De Oliveira Salazar Ribeiro, P. F. & Windsor, M., 11 Oct 2022, (Unpublished).

  Research output: Contribution to conference › Poster

  File

• RoboSim: software models for sound simulation

  Cavalcanti, A. L. C., Filho, M. C., De Oliveira Salazar Ribeiro, P. F. & Sampaio, A., 11 Oct 2022, (Unpublished).

  Research output: Contribution to conference › Poster

  File

• Safety assurance of an industrial robotic control system using hardware/software co-verification

  Murray, Y., Sirevåg, M., Ribeiro, P., Anisi, D. A. & Mossige, M., 1 Apr 2022, In: Science of Computer Programming. 216, p. 102766 27 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Safety Assurance of an Industrial Robotic Control System Using Hardware/Software Co-Verification

  Murray, Y., De Oliveira Salazar Ribeiro, P. F., Anisi, D. A., Sirevåg, M. & Mossige, M., 11 Oct 2022, (Unpublished).

  Research output: Contribution to conference › Poster

  File
• 2021

  Robostar technology: A roboticist's toolbox for combined proof, simulation, and testing

  Cavalcanti, A., Barnett, W., Baxter, J., Carvalho, G., Filho, M. C., Miyazawa, A., Ribeiro, P. & Sampaio, A., 5 Jul 2021, Software Engineering for Robotics. Springer International Publishing AG, p. 249-293 45 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Sound reasoning in tock-CSP

  Baxter, J., Ribeiro, P. & Cavalcanti, A., 17 Apr 2021, In: Acta Informatica. 59, p. 126-162

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2020

  Editorial

  Cavalcanti, A. & Ribeiro, P., 4 Aug 2020, In: Formal Aspects of Computing. 32, 2-3, p. 155 1 p.

  Research output: Contribution to journal › Editorial › peer-review

  Open Access

• Safety assurance of a high voltage controller for an industrial robotic system

  Murray, Y., Anisi, D. A., Sirevåg, M., Ribeiro, P. & Hagag, R. S., 19 Nov 2020, Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Proceedings. Carvalho, G. & Stolz, V. (eds.). Springer, p. 45-63 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12475 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2019

  A Unary Semigroup Trace Algebra

  De Oliveira Salazar Ribeiro, P. F., 16 Dec 2019, (Accepted/In press) 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). Springer, 16 p. ( Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming

  Foster, S. D., Zeyda, F., Nemouchi, Y., De Oliveira Salazar Ribeiro, P. F. & Wolff, B., 11 Jun 2019, In: Archive of Formal Proofs. 168 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Preface: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

  Ribeiro, P. & Sampaio, A., 12 Sept 2019, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 11885, p. vii-ix

  Research output: Contribution to journal › Editorial › peer-review

• RoboChart: modelling and verification of the functional behaviour of robotic applications

  Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C., Timmis, J. I. & Woodcock, JAMES. C. P., 1 Oct 2019, In: Software and Systems Modeling. 18, 5, p. 3097-3149 53 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Verified simulation for robotics

  Cavalcanti, A., Sampaio, A., Miyazawa, A., Ribeiro, P., Filho, M. C., Didier, A., Li, W. & Timmis, J., 11 Jan 2019, (E-pub ahead of print) In: Science of Computer Programming. 42 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2018

  Angelic Processes for CSP via the UTP

  De Oliveira Salazar Ribeiro, P. F. & Cavalcanti, A. L. C., 15 Oct 2018, (E-pub ahead of print) In: Theoretical Computer Science. 51 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• From Formalised State Machines to Implementations of Robotic Controllers

  Li, W., Miyazawa, A., Ribeiro, P., Cavalcanti, A., Woodcock, J. & Timmis, J., 2018, Springer Proceedings in Advanced Robotics. Springer, p. 517-529 13 p. (Springer Proceedings in Advanced Robotics; vol. 6).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Isabelle/UTP: Mechanised Theory Engineering for the UTP

  Foster, S. D., Zeyda, F., Nemouchi, Y., De Oliveira Salazar Ribeiro, P. F. & Wolff, B., 4 Apr 2018, (Unpublished) 162 p.

  Research output: Working paper

  File
• 2017

  A stepwise approach to linking theories

  Ribeiro, P., Cavalcanti, A. & Woodcock, J., 11 Jan 2017, Unifying Theories of Programming - 6th International Symposium, UTP 2016, Revised Selected Papers. Bowen, J. P. & Zhu, H. (eds.). Springer, p. 134-154 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10134 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automatic Property Checking of Robotic Applications

  Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C. & Timmis, J., 14 Dec 2017, IEEE/RSJ International Conference on Intelligent Robots and Systems. p. 3869-3876 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• From Formalised State Machines to Implementations of Robotic Controllers

  Li, W., Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A., Woodcock, J. & Timmis, J., 6 Feb 2017.

  Research output: Working paper

• Modelling and Verification of Timed Robotic Controllers

  De Oliveira Salazar Ribeiro, P. F., Miyazawa, A., Li, W., Cavalcanti, A. L. C. & Timmis, J., 1 Sept 2017, Integrated Formal Methods. Polikarpova, N. & Schneider, S. (eds.). Springer, p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 10510).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2016

  A Stepwise Approach to Linking Theories

  De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A. L. C. & Woodcock, J., 2016, Unifying Theories of Programming. Springer, (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• From formalised state machines to implementation of robotic controllers

  Li, W., Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A. L. C., Woodcock, JAMES. C. P. & Timmis, J. I., Sept 2016, (E-pub ahead of print) 13th International Conference on Distributed Autonomous Robotic Systems. London, UK: Springer, 14 p. (Springer Tracts in Advanced Robotics).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• RoboTool

  Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C. & Timmis, J. I., 20 May 2016

  Research output: Non-textual form › Software

• 2015

  Angelicism in the theory of reactive processes

  De Oliveira Salazar Ribeiro, P. F. & Cavalcanti, A. L. C., 2015, Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Springer, p. 42-61 20 p. (Lecture Notes in Computer Science; vol. 8963).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2014

  UTP Designs for Binary Multirelations

  De Oliveira Salazar Ribeiro, P. F. & Cavalcanti, A. L. C., 2014, Theoretical Aspects of Computing: ICTAC 2014. 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (eds.). Springer, Vol. 8687. p. 388-405 18 p. (Lecture Notes in Computer Science; vol. 8687).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2013

  Designs with angelic nondeterminism

  Ribeiro, P. & Cavalcanti, A., 30 Oct 2013, Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013. p. 71-78 8 p. 6597880

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution