Alvaro Miyazawa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2013–2021
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ICTAC | Model-Based Engineering for Robotics with RoboChart and RoboTool. | Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro |
| 2018 | IFM | Modelling and Verification for Swarm Robotics. | Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis |
| 2017 | IROS | Automatic property checking of robotic applications. | Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis |
| 2017 | IFM | Modelling and Verification of Timed Robotic Controllers. | Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis |
| 2014 | IFM | Formal Refinement in SysML. | Alvaro Miyazawa, Ana Cavalcanti |
| 2014 | SAFECOMP | Assurance Cases for Block-Configurable Software. | Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly, John Rowlands |
| 2013 | ICFEM | Formal Models of SysML Blocks. | Alvaro Miyazawa, Lucas Lima, Ana Cavalcanti |