Alvaro Miyazawa

35 papers A 1B 4C 1Journal 14Unranked 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
A model-based approach for co-simulation-driven digital twins in robotics.
Robotics Auton. Syst.
Santiago Gil, Arjun Badyal, Alvaro Miyazawa, Peter Gorm Larsen, Ana Cavalcanti
2026 — conf
Application of FMI 3.0 Synchronous Clocks to Co-simulation of Robotic Systems.
SII
Santiago Gil, Alvaro Miyazawa, Ana Cavalcanti, Cláudio Gomes
2026 J jnl
Correction: Diagrammatic physical robot models.
Softw. Syst. Model.
Alvaro Miyazawa, Sharar Ahmadi, Ana Cavalcanti, James Baxter, Mark Post, Pedro Ribeiro, Jon Timmis, Thomas Wright
2025 J jnl
Diagrammatic physical robot models.
Softw. Syst. Model.
Alvaro Miyazawa, Sharar Ahmadi, Ana Cavalcanti, James Baxter, Mark Post, Pedro Ribeiro, Jon Timmis, Thomas Wright
2024 — conf
A Tour Through the Programming Choices: Semantics and Applications.
The Application of Formal Methods
Pedro Ribeiro, Kangfeng Ye, Frank Zeyda, Alvaro Miyazawa
2024 J jnl
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool.
Auton. Robots
Wei Li, Pedro Ribeiro, Alvaro Miyazawa, Richard Redpath, Ana Cavalcanti, Kieran Alden, Jim Woodcock, Jon Timmis
2024 J jnl
Software engineering for robotics.
Robotics Auton. Syst.
Ana Cavalcanti, Alvaro Miyazawa, Jon Timmis
2023 — conf
Bringing RoboStar and RT-Tester Together.
Applicable Formal Methods for Safe Industrial Products
Ana Cavalcanti, Alvaro Miyazawa, Uwe Schulze, Jon Timmis
2022 J jnl
Architectural modelling for robotics: RoboArch and the CorteX example.
Frontiers Robotics AI
Will Barnett, Ana Cavalcanti, Alvaro Miyazawa
2022 J jnl
Probabilistic modelling and verification using RoboChart and PRISM.
Softw. Syst. Model.
Kangfeng Ye, Ana Cavalcanti, Simon Foster, Alvaro Miyazawa, Jim Woodcock
2021 — conf
Model-Based Engineering for Robotics with RoboChart and RoboTool.
ICTAC Summmer School
Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro
2019 J jnl
RoboChart: modelling and verification of the functional behaviour of robotic applications.
Softw. Syst. Model.
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock
2019 J jnl
Verified simulation for robotics.
Sci. Comput. Program.
Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis
2018 — conf
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP.
FACS
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock
2018 J jnl
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP.
CoRR
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock
2018 B conf
Modelling and Verification for Swarm Robotics.
IFM
Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis
2017 J jnl
An integrated semantics for reasoning about SysML design models using refinement.
Softw. Syst. Model.
Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis
2017 A conf
Automatic property checking of robotic applications.
IROS
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis
2017 J jnl
From Formalised State Machines to Implementations of Robotic Controllers.
CoRR
Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis
2017 B conf
Modelling and Verification of Timed Robotic Controllers.
IFM
Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis
2017 — ch.
Sound Simulation and Co-simulation for Robotics.
Present and Ulterior Software Engineering
Ana Cavalcanti, Alvaro Miyazawa, Richard John Payne, Jim Woodcock
2016 — conf
From Formalised State Machines to Implementations of Robotic Controllers.
DARS
Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis
2016 — conf
Java in the Safety-Critical Domain.
SETSS
Ana Cavalcanti, Alvaro Miyazawa, Andy J. Wellings, Jim Woodcock, Shuai Zhao
2015 — conf
Refinement Strategies for Safety-Critical Java.
SBMF
Alvaro Miyazawa, Ana Cavalcanti
2015 — conf
SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java.
Refine@FM
Alvaro Miyazawa, Ana Cavalcanti
2014 — conf
An approach for managing semantic heterogeneity in Systems of Systems Engineering.
SoSE
Simon Foster, Alvaro Miyazawa, Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen
2014 B conf
Assurance Cases for Block-Configurable Software.
SAFECOMP
Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly, John Rowlands
2014 B conf
Formal Refinement in SysML.
IFM
Alvaro Miyazawa, Ana Cavalcanti
2014 J jnl
Refinement-based verification of implementations of Stateflow charts.
Formal Aspects Comput.
Alvaro Miyazawa, Ana Cavalcanti
2014 — conf
SysML contracts for systems of systems.
SoSE
Jeremy W. Bryans, John S. Fitzgerald, Richard John Payne, Alvaro Miyazawa, Klaus E. Kristensen
2013 C conf
Formal Models of SysML Blocks.
ICFEM
Alvaro Miyazawa, Lucas Lima, Ana Cavalcanti
2012 — conf
COMPASS tool vision for a system of systems Collaborative Development Environment.
SoSE
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
2012 — conf
Features of CML: A formal modelling language for Systems of Systems.
SoSE
Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen, Alvaro Miyazawa, Simon Perry
2012 J jnl
Refinement-oriented models of Stateflow charts.
Sci. Comput. Program.
Alvaro Miyazawa, Ana Cavalcanti
2011 — conf
Refinement-based verification of sequential implementations of Stateflow charts
Refine@FM
Alvaro Miyazawa, Ana Cavalcanti