Items where authors include "Woodcock, J."

Article

Grant-Muller, S., Yang, Y. orcid.org/0000-0002-7970-2544, Panter, J. orcid.org/0000-0001-8870-718X et al. (1 more author) (2023) Does the Use of E-Scooters Bring Well-Being Outcomes for the User?: A Study Based on UK Shared E-Scooter Trials. Active Travel Studies: An Interdisciplinary Journal, 3 (1). ISSN 2732-4184

Mousavi, M.R. orcid.org/0000-0002-4869-6794, Cavalcanti, A., Fisher, M. orcid.org/0000-0002-0875-3862 et al. (8 more authors) (2023) Trustworthy Autonomous Systems Through Verifiability. Computer, 56 (2). pp. 40-47. ISSN 0018-9162

Mousavi, M.R., Cavalcanti, A., Fisher, M. et al. (8 more authors) (2023) Trustworthy autonomous systems through verifiability. Computer, 56 (2). pp. 40-47. ISSN 0018-9162

Cavalcanti, A., Woodcock, J. and Dunne, S. (2006) Angelic Nondeterminism in the Unifying Theories of Programming. Formal Aspects of Computing, 18 (3). pp. 288-307. ISSN 0934-5043

Cavalcanti, A., Sampaio, A. and Woodcock, J. (2005) Unifying classes and processes. International Journal on Software & Systems Modelling, 4 (3). pp. 277-296. ISSN 1619-1366

Butterfield, A. and Woodcock, J. (2005) prialt in Handel-C: an operational semantics. International Journal on Software Tools for Technology Transfer, 7 (3). pp. 248-267. ISSN 1433-2779

Oliveira, M., Cavalcanti, A. and Woodcock, J. (2004) ArcAngel: a tactic language for refinement. Formal Aspects of Computing, 15 (1). pp. 28-47. ISSN 0934-5043

Cavalcanti, A., Sampaio, A. and Woodcock, J. (2003) A refinement strategy for circus. Formal Aspects of Computing, 15 (2-3). pp. 146-181. ISSN 0934-5043

Proceedings Paper

Conserva Filho, M. S., Marinho, R., Mota, A. et al. (1 more author) (2018) Analysing RoboChart with probabilities. In: Massoni, Tiago and Mousavi, Mohammad Reza, (eds.) Formal Methods:Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. 21st Brazilian Symposium on Formal Methods, SBMF 2018, 26-30 Nov 2018. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , BRA , pp. 198-214.

Cavalcanti, A. orcid.org/0000-0002-0831-1976, Miyazawa, A. orcid.org/0000-0003-2233-9091, Wellings, A. orcid.org/0000-0002-3338-0623 et al. (2 more authors) (2017) Java in the Safety-Critical Domain. In: Bowen, J., Liu, Z. and Zhang, Z., (eds.) Engineering Trustworthy Software Systems:Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 110-150.

Tang, X. and Woodcock, J. (2004) Travelling processes. In: Mathematics of Program Construction, MPC 2004 Proceedings. 7th International Conference, MPC 2004, July 12-14, 2004, Stirling, Scotland, UK. Lecture Notes in Computer Science (3125). Springer , Berlin / Heidelberg , pp. 381-399. ISBN 978-3-540-22380-1