default search action

combined dblp search
author search
venue search
publication search

ask others

Alvaro Miyazawa

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/arobots/LiRMRCAWT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/arobots/LiRMRCAWT24
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): 14 (2024)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ras/CavalcantiMT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ras/CavalcantiMT24
Ana Cavalcanti, Alvaro Miyazawa, Jon Timmis:
Software engineering for robotics. Robotics Auton. Syst. 174: 104648 (2024)
2023
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/0001MST23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/0001MST23
Ana Cavalcanti, Alvaro Miyazawa, Uwe Schulze, Jon Timmis:
Bringing RoboStar and RT-Tester Together. Applicable Formal Methods for Safe Industrial Products 2023: 16-33
2022
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/firai/BarnettCM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/firai/BarnettCM22
Will Barnett, Ana Cavalcanti, Alvaro Miyazawa:
Architectural modelling for robotics: RoboArch and the CorteX example. Frontiers Robotics AI 9 (2022)
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sosym/YeCFMW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/YeCFMW22
Kangfeng Ye, Ana Cavalcanti, Simon Foster, Alvaro Miyazawa, Jim Woodcock:
Probabilistic modelling and verification using RoboChart and PRISM. Softw. Syst. Model. 21(2): 667-716 (2022)
2021
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/0001A0M021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/0001A0M021
Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro:
Model-Based Engineering for Robotics with RoboChart and RoboTool. ICTAC Summmer School 2021: 106-151

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/CavalcantiSMRFD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CavalcantiSMRFD19
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: 1-37 (2019)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/MiyazawaCW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MiyazawaCW19
Alvaro Miyazawa, Ana Cavalcanti, Andy J. Wellings:
SCJ-Circus: Specification and refinement of Safety-Critical Java programs. Sci. Comput. Program. 181: 140-176 (2019)
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sosym/MiyazawaRLCTW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/MiyazawaRLCTW19
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): 3097-3149 (2019)
2018
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/FosterBCMW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/FosterBCMW18
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock:
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. FACS 2018: 137-155
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/CavalcantiMSL0T18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/CavalcantiMSL0T18
Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis:
Modelling and Verification for Swarm Robotics. IFM 2018: 1-19
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-08588
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-08588
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock:
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. CoRR abs/1807.08588 (2018)
2017
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/LimaMCCISHLL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/LimaMCCISHLL17
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): 875-902 (2017)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/0002MLCT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/0002MLCT17
Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis:
Modelling and Verification of Timed Robotic Controllers. IFM 2017: 18-33
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/Miyazawa0LCT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/Miyazawa0LCT17
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis:
Automatic property checking of robotic applications. IROS 2017: 3869-3876
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/17/CavalcantiMPW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/17/CavalcantiMPW17
Ana Cavalcanti, Alvaro Miyazawa, Richard John Payne, Jim Woodcock:
Sound Simulation and Co-simulation for Robotics. Present and Ulterior Software Engineering 2017: 173-194
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/LiMRCWT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LiMRCWT17
Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis:
From Formalised State Machines to Implementations of Robotic Controllers. CoRR abs/1702.01783 (2017)
2016
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/dars/LiM0CWT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dars/LiM0CWT16
Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis:
From Formalised State Machines to Implementations of Robotic Controllers. DARS 2016: 517-529
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/setss/CavalcantiMWWZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/CavalcantiMWWZ16
Ana Cavalcanti, Alvaro Miyazawa, Andy J. Wellings, Jim Woodcock, Shuai Zhao:
Java in the Safety-Critical Domain. SETSS 2016: 110-150
2015
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/MiyazawaC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/MiyazawaC15
Alvaro Miyazawa, Ana Cavalcanti:
Refinement Strategies for Safety-Critical Java. SBMF 2015: 93-109
[c9]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MiyazawaC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MiyazawaC16
Alvaro Miyazawa, Ana Cavalcanti:
SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java. Refine@FM 2015: 71-86
2014
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/MiyazawaC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/MiyazawaC14
Alvaro Miyazawa, Ana Cavalcanti:
Refinement-based verification of implementations of Stateflow charts. Formal Aspects Comput. 26(2): 367-405 (2014)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/MiyazawaC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/MiyazawaC14
Alvaro Miyazawa, Ana Cavalcanti:
Formal Refinement in SysML. IFM 2014: 155-170
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/HawkinsMCKR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/HawkinsMCKR14
Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly, John Rowlands:
Assurance Cases for Block-Configurable Software. SAFECOMP 2014: 155-169
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sysose/BryansFPMK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sysose/BryansFPMK14
Jeremy W. Bryans, John S. Fitzgerald, Richard John Payne, Alvaro Miyazawa, Klaus E. Kristensen:
SysML contracts for systems of systems. SoSE 2014: 73-78
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sysose/FosterMWCFL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sysose/FosterMWCFL14
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: 113-118
2013
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/MiyazawaLC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/MiyazawaLC13
Alvaro Miyazawa, Lucas Lima, Ana Cavalcanti:
Formal Models of SysML Blocks. ICFEM 2013: 249-264
2012
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MiyazawaC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MiyazawaC12
Alvaro Miyazawa, Ana Cavalcanti:
Refinement-oriented models of Stateflow charts. Sci. Comput. Program. 77(10-11): 1151-1177 (2012)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sysose/WoodcockCFLMP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sysose/WoodcockCFLMP12
Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen, Alvaro Miyazawa, Simon Perry:
Features of CML: A formal modelling language for Systems of Systems. SoSE 2012: 445-450
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sysose/ColemanMLPHAPFMBD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sysose/ColemanMLPHAPFMBD12
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: 451-456
2011
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-4094
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-4094
Alvaro Miyazawa, Ana Cavalcanti:
Refinement-based verification of sequential implementations of Stateflow charts. Refine@FM 2011: 65-83

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.