E-LIB Suche - Ergebnisse für: Miyazawa, Alvaro

1

Formal design, verification and implementation of robotic c..:

Li, Wei ; Ribeiro, Pedro ; Miyazawa, Alvaro...
Autonomous Robots. 48 (2024) 6 - p. , 2024

Link: https://doi.org/10.1007/..

2

Bringing RoboStar and RT-Tester Together:

, In: Lecture Notes in Computer Science; Applicable Formal Methods for Safe Industrial Products,

Cavalcanti, Ana ; Miyazawa, Alvaro ; Schulze, Uwe. - p. 16-33 , 2023

Link: https://doi.org/10.1007/..

3

Model-Based Engineering for Robotics with RoboChart and Rob..:

, In: Formal Methods for an Informal World; Lecture Notes in Computer Science,

Cavalcanti, Ana ; Attala, Ziggy ; Baxter, James.. - p. 106-151 , 2023

Link: https://doi.org/10.1007/..

4

Architectural modelling for robotics: RoboArch and the Cort..:

Barnett, Will ; Cavalcanti, Ana ; Miyazawa, Alvaro
Frontiers in Robotics and AI. 9 (2022) - p. , 2022

Link: https://doi.org/10.3389/..

5

Probabilistic modelling and verification using RoboChart an..:

Ye, Kangfeng ; Cavalcanti, Ana ; Foster, Simon..
Software and Systems Modeling. 21 (2021) 2 - p. 667-716 , 2021

Link: https://doi.org/10.1007/..

6

RoboStar Technology: A Roboticist's Toolbox for Combined Pr..:

, In: Software Engineering for Robotics,

Cavalcanti, Ana ; Barnett, Will ; Baxter, James... - p. 249-293 , 2020

Link: https://doi.org/10.1007/..

7

Specification and refinement of Safety-Critical Java progra..:

Miyazawa, Alvaro ; Cavalcanti, Ana ; Wellings, Andy
Science of Computer Programming. 181 (2019) - p. 140-176 , 2019

Link: https://doi.org/10.1016/..

8

Verified simulation for robotics:

Cavalcanti, Ana ; Sampaio, Augusto ; Miyazawa, Alvaro...
Science of Computer Programming. 174 (2019) - p. 1-37 , 2019

Link: https://doi.org/10.1016/..

9

RoboChart: modelling and verification of the functional beh..:

Miyazawa, Alvaro ; Ribeiro, Pedro ; Li, Wei...
Software & Systems Modeling. 18 (2019) 5 - p. 3097-3149 , 2019

Link: https://doi.org/10.1007/..

10

From Formalised State Machines to Implementations of Roboti..:

, In: Distributed Autonomous Robotic Systems; Springer Proceedings in Advanced Robotics,

Li, Wei ; Miyazawa, Alvaro ; Ribeiro, Pedro... - p. 517-529 , 2018

Link: https://doi.org/10.1007/..

11

Modelling and Verification for Swarm Robotics:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Cavalcanti, Ana ; Miyazawa, Alvaro ; Sampaio, Augusto... - p. 1-19 , 2018

Link: https://doi.org/10.1007/..

12

Automating Verification of State Machines with Reactive Des..:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,

Foster, Simon ; Baxter, James ; Cavalcanti, Ana.. - p. 137-155 , 2018

Link: https://doi.org/10.1007/..

13

An integrated semantics for reasoning about SysML design mo..:

Lima, Lucas ; Miyazawa, Alvaro ; Cavalcanti, Ana...
Software & Systems Modeling. 16 (2015) 3 - p. 875-902 , 2015

Link: https://doi.org/10.1007/..

14

Refinement-based verification of implementations of Statefl..:

Miyazawa, Alvaro ; Cavalcanti, Ana
Formal Aspects of Computing. 26 (2014) 2 - p. 367-405 , 2014

Link: https://doi.org/10.1007/..

15

Refinement-oriented models of Stateflow charts:

Miyazawa, Alvaro ; Cavalcanti, Ana
Science of Computer Programming. 77 (2012) 10-11 - p. 1151-1177 , 2012

Link: https://doi.org/10.1016/..