Pedro Ribeiro

Search results

• 2024

  A Tour Through the Programming Choices: Semantics and Applications

  Ribeiro, P., Ye, K., Zeyda, F. & Miyazawa, A., 1 Sept 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): The Application of Formal Methods. Foster, S. & Sampaio, A. (eds.). Springer Science and Business Media Deutschland GmbH, Vol. 14900. p. 261-305 45 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14900 LNCS).

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

  Open Access

  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
• 2018

  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