Alvaro Miyazawa

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
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
Software engineering for robotics
Cavalcanti, A., Miyazawa, A. & Timmis, J., 1 Apr 2024, In: Robotics and Autonomous Systems. 174, 2 p., 104648.
Research output: Contribution to journal › Editorial › peer-review

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)
EPSRC
1/09/15 → 30/06/21
Project: Research project (funded) › Research

Collaborations and top research areas from the last five years