Items where authors include "Miyazawa, Alvaro"

Article

Miyazawa, Alvaro orcid.org/0000-0003-2233-9091, Ahmadi, Sharar, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (5 more authors) (2025) Diagrammatic physical robot models. Software and Systems Modeling. ISSN 1619-1366

Li, Wei orcid.org/0000-0001-9786-585X, Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 et al. (5 more authors) (2024) Formal Design, Verification and Implementation of Robotic Controller Software via RoboChart and RoboTool. Autonomous Robots. 14. ISSN 0929-5593

Barnett, William, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 and Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 (2022) Architectural modelling for robotics: RoboArch and the CorteX example. Frontiers in Robotics and AI. 991637. ISSN 2296-9144

Ye, Kangfeng, Cavalcanti, Ana orcid.org/0000-0002-0831-1976, Foster, Simon orcid.org/0000-0002-9889-9514 et al. (2 more authors) (2021) Probabilistic modelling and verification using RoboChart and PRISM. Software and Systems Modeling. ISSN 1619-1366

Cavalcanti, Ana orcid.org/0000-0002-0831-1976, Sampaio, Augusto, Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 et al. (5 more authors) (2019) Verified simulation for robotics. Science of Computer Programming. ISSN 0167-6423

Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2016) SCJ-Circus:a refinement-oriented formal notation for Safety-Critical Java. Electronic Proceedings in Theoretical Computer Science. pp. 71-86. ISSN 2075-2180

Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2011) Refinement-based verification of sequential implementations of Stateflow charts. Electronic Proceedings in Theoretical Computer Science. pp. 65-83. ISSN 2075-2180

Book Section

Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Ye, Kangfeng, Zeyda, Frank et al. (1 more author) (2024) A Tour Through the Programming Choices:Semantics and Applications. In: Foster, Simon and Sampaio, Auguto, (eds.) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer Science and Business Media Deutschland GmbH , pp. 261-305.