Editorial - Research Database, The University of York

By the same authors

Risk Structures: A Design Algebra for Risk-Aware Machines
Gleirscher, M., Calinescu, R. & Woodcock, J., 11 Mar 2021, (Accepted/In press)
Article in Formal Aspects of Computing
Learning Safe Neural Network Controllers with Barrier Certificates
Zhao, H., Zeng, X., Chen, T., Liu, Z. & Woodcock, J., 18 Sep 2020, (CoRR).
Research output: Working paper
Automated Verification of Reactive and Concurrent Programs by Calculation
Foster, S., Ye, K., Cavalcanti, A. & Woodcock, J., 27 Jul 2020
Article in ArXiv e-prints
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
Article in Science of Computer Programming
Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis
Chang, W., Wei, R., Zhao, S., Wellings, A. J., Woodcock, J. & Burns, A., 31 Mar 2020, (Accepted/In press)
Article in ACM Transactions in Embedded Computing Systems

From the same journal

Risk Structures: A Design Algebra for Risk-Aware Machines
Gleirscher, M., Calinescu, R. & Woodcock, J., 11 Mar 2021, (Accepted/In press)
Article in Formal Aspects of Computing
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM
Foster, S. D., 19 Jan 2021, (Accepted/In press)
Article in Formal Aspects of Computing
Modelling Timed Reactive Systems from Natural-Language Requirements
Carvalho, G., Cavalcanti, A. L. C. & Sampaio, A. C. A., 26 Jul 2016
Article in Formal Aspects of Computing
Model checking CML: tool development and industrial applications
Woodcock, J. C. P., Mota, A., Farias, A. & Larsen, P. G., Nov 2015
Article in Formal Aspects of Computing

From the same journal

Formal Aspects of Computing (Journal)
Jim Woodcock (Editor)
2014
Activity: Publication peer-review and editorial work › Journal or guest editorship
Formal Aspects of Computing (Journal)
Ana Lucia Caneca Cavalcanti (Guest editor)
Nov 2009 → Sep 2011
Activity: Publication peer-review and editorial work › Journal or guest editorship
Formal Aspects of Computing (Journal)
Ana Lucia Caneca Cavalcanti (Guest editor)
Nov 2006 → Jul 2009
Activity: Publication peer-review and editorial work › Journal or guest editorship

Editorial

Research output: Contribution to journal › Editorial

Published copy (DOI)

10.1007/s00165-015-0344-0

Author(s)

James Charles Paul Woodcock
Cliff B. Jones

Department/unit(s)

Computer Science

Publication details

Journal	Formal Aspects of Computing
Date	Published - Nov 2015
Issue number	5
Volume	27
Pages (from-to)	751-752
Original language	English

Discover related content

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

View graph of relations

York staff: edit these data