Alvaro Miyazawa

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
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
Model-Based Engineering for Robotics with RoboChart and RoboTool
Cavalcanti, A., Attala, Z., Baxter, J., Miyazawa, A. & Ribeiro, P., 5 Nov 2023, Formal Methods for an Informal World - ICTAC 2021 Summer School, Virtual Event, Tutorial Lectures. Cerone, A. (ed.). Springer Science and Business Media Deutschland GmbH, p. 106-151 46 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13490 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Collaborations and top research areas from the last five years