Alvaro Miyazawa — York Research Database

Phone(01904) 325655

If you made any changes in Pure these will be visible here soon.

10 Conference contribution
9 Article
3 Chapter
2 Other chapter contribution
More
- 1 Software
- 1 Working paper

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 Access
File
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, JAMES. 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 Access
File
SCJ-Circus: specification and refinement of Safety-Critical Java programs
Miyazawa, A. H., Cavalcanti, A. L. C. & Wellings, A. J., 15 Jul 2019, In: Science of Computer Programming. 181, p. 140-176 37 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File

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

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 2018
Activity: Other › Public engagement and outreach (general)