Research output per year
Research output per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Diagrammatic physical robot models
Miyazawa, A., Ahmadi, S., Cavalcanti, A. L. C., Baxter, J., Post, M. A., Ribeiro, P., Timmis, J. & Wright, T. D., 12 Mar 2025, (E-pub ahead of print) In: Software and Systems Modeling. 45 p.Research output: Contribution to journal › Article › peer-review
-
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 AccessFile -
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
Projects
- 1 Finished
-
A Calculus for Software Engineering of Mobile and Autonomous Robots
Cavalcanti, A. L. C. (Principal investigator), Timmis, J. (Co-investigator), Woodcock, J. (Co-investigator), Foster, S. D. (Researcher), Li, W. (Researcher), Miyazawa, A. (Researcher) & Ribeiro, P. (Researcher)
1/09/15 → 30/06/21
Project: Research project (funded) › Research
-
-
Robotics and Autonomous Systems (Journal)
Cavalcanti, A. L. C. (Guest editor), Miyazawa, A. (Guest editor) & Timmis, J. (Guest editor)
3 Dec 2021 → 1 Apr 2024Activity: Publication peer-review and editorial work › Journal or guest editorship
-
RoboScience: can using robots add up to a safer world?
Miyazawa, A. (Presenter), De Oliveira Salazar Ribeiro, P. F. (Presenter), Foster, S. D. (Presenter) & Li, W. (Presenter)
16 May 2018Activity: Other › Public engagement and outreach (general)