SCJ-Circus: - Research Database, The University of York

By the same authors

SCJ-Circus: specification and refinement of Safety-Critical Java programs
Miyazawa, A. H., Cavalcanti, A. L. C. & Wellings, A. J., 15 Jul 2019
Article in Science of Computer Programming
RoboChart: modelling and verification of the functional behaviour of robotic applications
Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C., Timmis, J. I. & Woodcock, JAMES. C. P., 24 Jan 2019
Article in Software and Systems Modeling
Verified simulation for robotics
Cavalcanti, A., Sampaio, A., Miyazawa, A., Ribeiro, P., Filho, M. C., Didier, A., Li, W. & Timmis, J., 11 Jan 2019
Article in Science of Computer Programming
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
Foster, S. D., Baxter, J. E., Cavalcanti, A. L. C., Miyazawa, A. H. & Woodcock, JAMES. C. P., 5 Oct 2018, 15th International Conference on Formal Aspects of Component Software. Ölveczky, P. C. & Bae, K. (eds.). Springer, p. 137-155 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11222 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Automatic Property Checking of Robotic Applications
Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C. & Timmis, J., 14 Dec 2017, IEEE/RSJ International Conference on Intelligent Robots and Systems. p. 3869-3876 8 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java

Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

Author(s)

Department/unit(s)

Computer Science

Publication details

Title of host publication	REFINE Workshop
Date	Published - 2015
Original language	Undefined/Unknown

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

York staff: edit these data

The York Research Database

By the same authors

SCJ-Circus: specification and refinement of Safety-Critical Java programs

RoboChart: modelling and verification of the functional behaviour of robotic applications

Verified simulation for robotics

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

Automatic Property Checking of Robotic Applications

SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java

Author(s)

Department/unit(s)

Publication details

Discover related content