Alvaro Miyazawa

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 21

Top Topics

Semantic Heterogeneity

Top Venues

Softw. Syst. Model.

Sci. Comput. Program.

Publications

Ana Cavalcanti, Alvaro Miyazawa, Jon Timmis
Software engineering for robotics. Robotics Auton. Syst. 174 (2024)
Wei Li, Pedro Ribeiro, Alvaro Miyazawa, Richard Redpath, Ana Cavalcanti, Kieran Alden, Jim Woodcock, Jon Timmis
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool. Auton. Robots 48 (6-7) (2024)
Ana Cavalcanti, Alvaro Miyazawa, Uwe Schulze, Jon Timmis
Bringing RoboStar and RT-Tester Together. Applicable Formal Methods for Safe Industrial Products (2023)
Will Barnett, Ana Cavalcanti, Alvaro Miyazawa
Architectural modelling for robotics: RoboArch and the CorteX example. Frontiers Robotics AI 9 (2022)
Will Barnett, Ana Cavalcanti, Alvaro Miyazawa
Architectural modelling for robotics: RoboArch and the CorteX example. Future Internet 9 (2022)
Kangfeng Ye, Ana Cavalcanti, Simon Foster, Alvaro Miyazawa, Jim Woodcock
Probabilistic modelling and verification using RoboChart and PRISM. Softw. Syst. Model. 21 (2) (2022)
Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro
Model-Based Engineering for Robotics with RoboChart and RoboTool. ICTAC Summmer School (2021)
Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis
Verified simulation for robotics. Sci. Comput. Program. 174 (2019)
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock
RoboChart: modelling and verification of the functional behaviour of robotic applications. Softw. Syst. Model. 18 (5) (2019)
Alvaro Miyazawa, Ana Cavalcanti, Andy J. Wellings
: Specification and refinement of Safety-Critical Java programs. Sci. Comput. Program. 181 (2019)
Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis
Modelling and Verification for Swarm Robotics. IFM (2018)
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. FACS (2018)
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. CoRR (2018)
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis
Automatic property checking of robotic applications. IROS (2017)
Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis
Modelling and Verification of Timed Robotic Controllers. IFM (2017)
Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis
From Formalised State Machines to Implementations of Robotic Controllers. CoRR (2017)
Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis
An integrated semantics for reasoning about SysML design models using refinement. Softw. Syst. Model. 16 (3) (2017)
Ana Cavalcanti, Alvaro Miyazawa, Andy J. Wellings, Jim Woodcock, Shuai Zhao
Java in the Safety-Critical Domain. SETSS (2016)
Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis
From Formalised State Machines to Implementations of Robotic Controllers. DARS (2016)
Alvaro Miyazawa, Ana Cavalcanti
SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java. Refine@FM (2015)
Alvaro Miyazawa, Ana Cavalcanti
Refinement Strategies for Safety-Critical Java. SBMF (2015)
Alvaro Miyazawa, Ana Cavalcanti
Refinement-based verification of implementations of Stateflow charts. Formal Aspects Comput. 26 (2) (2014)
Jeremy W. Bryans, John S. Fitzgerald, Richard John Payne, Alvaro Miyazawa, Klaus E. Kristensen
SysML contracts for systems of systems. SoSE (2014)
Simon Foster, Alvaro Miyazawa, Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen
An approach for managing semantic heterogeneity in Systems of Systems Engineering. SoSE (2014)
Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly, John Rowlands
Assurance Cases for Block-Configurable Software. SAFECOMP (2014)
Alvaro Miyazawa, Ana Cavalcanti
Formal Refinement in SysML. IFM (2014)
Alvaro Miyazawa, Lucas Lima, Ana Cavalcanti
Formal Models of SysML Blocks. ICFEM (2013)
Alvaro Miyazawa, Ana Cavalcanti
Refinement-oriented models of Stateflow charts. Sci. Comput. Program. 77 (10-11) (2012)
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
COMPASS tool vision for a system of systems Collaborative Development Environment. SoSE (2012)
Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen, Alvaro Miyazawa, S. Perry
Features of CML: A formal modelling language for Systems of Systems. SoSE (2012)
Alvaro Miyazawa, Ana Cavalcanti
Refinement-based verification of sequential implementations of Stateflow charts Refine@FM (2011)