ask others

Alvaro Miyazawa

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

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

2019
[j6]
- view
- 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
- 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
- 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. Software and Systems Modeling 18(5): 3097-3149 (2019)
2018
[c16]
- view
- 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
- 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)
  - no references & citations available
- 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
- 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. Software and Systems Modeling 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
- 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)
  - no references & citations available
- 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
- 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
- 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
- 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
- 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
- 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 Asp. Comput. 26(2): 367-405 (2014)
[c8]
- view
- 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
- 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
- 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
- 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, S. 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
- 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.