Circus Models for Safety-Critical Java Programs - Research Database, The University of York

By the same authors

Safety-critical Java programs from Circus models
Cavalcanti, A. L. C., Zeyda, F., Wellings, A., Woodcock, J. & Wei, K., Sep 2013
Article in Real-Time Systems
Safety-Critical Java in Circus
Cavalcanti, A. L. C., Wellings, A., Woodcock, J., Wei, K. & Zeyda, F., 2011, 9th Workshop on Java Technologies for Real-Time and Embedded System. p. 20-29 10 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
The Safety-critical Java Mission Model: a formal account
Zeyda, F., Cavalcanti, A. L. C. & Wellings, A., 2011, International Conference on Formal Engineering Methods. Vol. 6991 LNCS. p. 49-65 17 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP
Foster, S. D., Baxter, J., Cavalcanti, A. L. C., Woodcock, J. & Zeyda, F., 26 Jun 2020, (E-pub ahead of print)
Article in Science of Computer Programming
Unifying Theories of Reactive Design Contracts
Foster, S. D., Cavalcanti, A. L. C., Canham, S. J., Woodcock, JAMES. C. P. & Zeyda, F., 8 Jan 2020
Article in Theoretical Computer Science

From the same journal

Deriving specifications of control programs for cyber physical systems
Burns, A., Hayes, I. & Jones, C., 30 Apr 2019
Article in Computer journal
Comparing degrees of non-determinism in expression evaluation
Hayes, I. J., Burns, A., Dongol, B. & Jones, C. B., 1 Jun 2013
Article in Computer journal
Parallel file system analysis through application I/O Tracing
Wright, S. A., Hammond, S. D., Pennycook, S. J., Bird, R. F., Herdman, J. A., Miller, I., Vadgama, A., Bhalerao, A. & Jarvis, S. A., 1 Feb 2013
Article in Computer Journal
On the acceleration of wavefront applications using distributed many-core architectures
Pennycook, S. J., Hammond, S. D., Mudalige, G. R., Wright, S. A. & Jarvis, S. A., 1 Feb 2012
Article in Computer Journal

Circus Models for Safety-Critical Java Programs

Research output: Contribution to journal › Article › peer-review

Links

http://comjnl.oxfordjournals.org/content/57/7/1046

Published copy (DOI)

10.1093/comjnl/bxt060

Author(s)

Department/unit(s)

Computer Science

Publication details

Journal	The Computer Journal
Date	Published - 2013
Issue number	7
Volume	57
Number of pages	46
Pages (from-to)	1046-1091
Original language	English

Projects

HIJAC: High-Integrity Java applications using circus
Project: Research project (funded) › Research

Discover related content

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

View graph of relations

York staff: edit these data