Alvaro Miyazawa

According to our database, Alvaro Miyazawa authored at least 27 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Bringing RoboStar and RT-Tester Together.

Ana Cavalcanti, Alvaro Miyazawa, Uwe Schulze, Jon Timmis

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2022

Probabilistic modelling and verification using RoboChart and PRISM.

Kangfeng Ye, Ana Cavalcanti, Simon Foster, Alvaro Miyazawa, Jim Woodcock

Softw. Syst. Model., 2022

Architectural modelling for robotics: RoboArch and the CorteX example.

Will Barnett, Ana Cavalcanti, Alvaro Miyazawa

Frontiers Robotics AI, 2022

2021

Model-Based Engineering for Robotics with RoboChart and RoboTool.

Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro

Proceedings of the Formal Methods for an Informal World, 2021

2019

RoboChart: modelling and verification of the functional behaviour of robotic applications.

Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock

Softw. Syst. Model., 2019

<i>SCJ-Circus</i>: Specification and refinement of Safety-Critical Java programs.

Alvaro Miyazawa, Ana Cavalcanti, Andy J. Wellings

Sci. Comput. Program., 2019

Verified simulation for robotics.

Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis

Sci. Comput. Program., 2019

2018

Modelling and Verification for Swarm Robotics.

Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP.

Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

2017

An integrated semantics for reasoning about SysML design models using refinement.

Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis

Softw. Syst. Model., 2017

Automatic property checking of robotic applications.

Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Modelling and Verification of Timed Robotic Controllers.

Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Sound Simulation and Co-simulation for Robotics.

Ana Cavalcanti, Alvaro Miyazawa, Richard John Payne, Jim Woodcock

Proceedings of the Present and Ulterior Software Engineering., 2017

2016

Java in the Safety-Critical Domain.

Ana Cavalcanti, Alvaro Miyazawa, Andy J. Wellings, Jim Woodcock, Shuai Zhao

Proceedings of the Engineering Trustworthy Software Systems - Second International School, 2016

From Formalised State Machines to Implementations of Robotic Controllers.

Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis

Proceedings of the Distributed Autonomous Robotic Systems, 2016

2015

SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java.

Alvaro Miyazawa, Ana Cavalcanti

Proceedings of the Proceedings 17th International Workshop on Refinement, 2015

Refinement Strategies for Safety-Critical Java.

Alvaro Miyazawa, Ana Cavalcanti

Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

2014

Refinement-based verification of implementations of Stateflow charts.

Alvaro Miyazawa, Ana Cavalcanti

Formal Aspects Comput., 2014

An approach for managing semantic heterogeneity in Systems of Systems Engineering.

Simon Foster, Alvaro Miyazawa, Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen

Proceedings of the 9th International Conference on System of Systems Engineering, 2014

SysML contracts for systems of systems.

Jeremy W. Bryans, John S. Fitzgerald, Richard John Payne, Alvaro Miyazawa, Klaus E. Kristensen

Proceedings of the 9th International Conference on System of Systems Engineering, 2014

Assurance Cases for Block-Configurable Software.

Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly, John Rowlands

Proceedings of the Computer Safety, Reliability, and Security, 2014

Formal Refinement in SysML.

Alvaro Miyazawa, Ana Cavalcanti

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2013

Formal Models of SysML Blocks.

Alvaro Miyazawa, Lucas Lima, Ana Cavalcanti

Proceedings of the Formal Methods and Software Engineering, 2013

2012

Refinement-oriented models of Stateflow charts.

Alvaro Miyazawa, Ana Cavalcanti

Sci. Comput. Program., 2012

Features of CML: A formal modelling language for Systems of Systems.

Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen, Alvaro Miyazawa, Simon Perry

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

COMPASS tool vision for a system of systems Collaborative Development Environment.

Joey W. Coleman, Anders Kaels Malmos, Peter Gorm Larsen, Jan Peleska, Ralph Hains, Zoe Andrews, Richard John Payne, Simon Foster, Alvaro Miyazawa, Cristiano Bertolini, André Didier

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

2011

Refinement-based verification of sequential implementations of Stateflow charts

Alvaro Miyazawa, Ana Cavalcanti

Proceedings of the Proceedings 15th International Refinement Workshop, 2011