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

By the same authors

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., 1 Oct 2019
Article in Software and Systems Modeling
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
Verified simulation for robotics
Cavalcanti, A., Sampaio, A., Miyazawa, A., Ribeiro, P., Filho, M. C., Didier, A., Li, W. & Timmis, J., 11 Jan 2019, (E-pub ahead of print)
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
From Formalised State Machines to Implementations of Robotic Controllers
Li, W., Miyazawa, A., Ribeiro, P., Cavalcanti, A., Woodcock, J. & Timmis, J., 2018, Springer Proceedings in Advanced Robotics. Springer Science and Business Media B.V., p. 517-529 13 p. (Springer Proceedings in Advanced Robotics; vol. 6).
Research output: Chapter in Book/Report/Conference proceeding › Chapter

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

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

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

Verified simulation for robotics

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

From Formalised State Machines to Implementations of Robotic Controllers

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

Author(s)

Department/unit(s)

Publication details

Discover related content