Research output per year
Research output per year
- 11 results
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 AccessFile -
Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents
Getir Yaman, S., Ribeiro, P., Cavalcanti, A., Calinescu, R., Paterson, C. & Townsend, B., 1 Feb 2025, In: Journal of Systems and Software. 220, 21 p., 112229.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
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., 1 Feb 2025, In: Journal of Systems and Software. 220, 21 p., 112229.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
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 AccessFile -
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 AccessFile -
2022
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 AccessFile -
2021
Sound reasoning in tock-CSP
Baxter, J., Ribeiro, P. & Cavalcanti, A., 17 Apr 2021, In: Acta Informatica. 59, p. 126-162Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2019
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 AccessFile -
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, J. 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 AccessFile -
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 AccessFile -
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 AccessFile