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
-
Bringing RoboStar and RT-Tester Together
Cavalcanti, A., Miyazawa, A., Schulze, U. & Timmis, J., 18 Aug 2023, Applicable Formal Methods for Safe Industrial Products. Haxthausen, A. E., Huang, W. & Roggenbach, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 16-33 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14165 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
Architectural modelling for robotics: RoboArch and the CorteX example
Barnett, W., Cavalcanti, A. L. C. & Miyazawa, A., 28 Oct 2022, In: Frontiers in Robotics and AI. 9, 20 p., 991637.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Probabilistic modelling and verification using RoboChart and PRISM
Ye, K., Cavalcanti, A., Foster, S., Miyazawa, A. & Woodcock, J., 3 Oct 2021, In: Software and Systems Modeling.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., Timmis, J., Woodcock, J., De Oliveira Salazar Ribeiro, P. F., Foster, S. D., Li, W. & Miyazawa, A.
1/09/15 → 30/06/21
Project: Research project (funded) › Research
Activities
- 1 Public engagement and outreach (general)
-
RoboScience: can using robots add up to a safer world?
Alvaro Miyazawa (Presenter), Pedro Fernando De Oliveira Salazar Ribeiro (Presenter), Simon David Foster (Presenter) & Wei Li (Presenter)
16 May 2018Activity: Other › Public engagement and outreach (general)