When to Trust Mobile Objects: Access Control in the Jini(tm) Software System. - Charles Crichton; Jim Davies; Jim Woodcock 001 (TOOLS (30), 1999)

Concurrency and refinement in the UML. - Jim Davies; Charles Crichton (Refine, 2002)

Using State Diagrams to Describe Concurrent Behaviour. - Jim Davies; Charles Crichton (ICFEM, 2003)

A Method for the Automatic Generation of Test Suites from Object Models. - Jim Davies; Charles Crichton; Alessandra Cavarra (SAC, 2003)

Concurrency and Refinement in the Unified Modeling Language. - Jim Davies; Charles Crichton (Formal Aspects Comput., 2003)

Formality, Evolution, and Model-driven Software Engineering. - Jim Davies; Charles Crichton; Edward Crichton; David Neilson; Ib Holm Sørensen (SBMF, 2004)

Semantic frameworks for e-government. - Charles Crichton; Jim Davies; Jeremy Gibbons; Steve Harris; Aadya Shukla (ICEGOV, 2007)

Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research. - Tianyi Zang; Radu Calinescu; Steve Harris; Andrew Tsui; Charles Crichton; Marta Z. Kwiatkowska; Jeremy Gibbons; Jim Davies; James D. Brenton; Carlos Caldas (eScience, 2008)

Metadata standards for semantic interoperability in electronic government. - Jim Davies; Steve Harris; Charles Crichton; Aadya Shukla; Jeremy Gibbons (ICEGOV, 2008)

Semantic technologies in electronic government. - Steve Harris; Jeremy Gibbons; Jim Davies; Andrew Tsui; Charles Crichton (ICEGOV, 2008)

Semantics-Driven Development for Electronic Government Applications. - Charles Crichton; Jim Davies; Jeremy Gibbons; Steve Harris; Aadya Shukla; Andrew Tsui (HICSS, 2009)

Metadata-driven software for clinical trials. - Charles Crichton; Jim Davies; Jeremy Gibbons; Steve Harris; Andrew Tsui; James D. Brenton (SEHC@ICSE, 2009)

A Virtual Research Environment for Cancer Imaging Research. - Maria Susana Avila Garcia; X. Xiong; Anne E. Trefethen; Charles Crichton; Andrew Tsui; P. Hu (eScience, 2011)

Form Follows Function - Model-Driven Engineering for Clinical Trials. - Jim Davies; Jeremy Gibbons; Radu Calinescu; Charles Crichton; Steve Harris; Andrew Tsui (FHIES, 2011)

Models for forms. - Daniel Abler; Charles Crichton; James Welch; Jim Davies; Steve Harris (SPLASH Workshops, 2011)

A metadata-aware application for remote scoring and exchange of tissue microarray images. - Lorna Morris; Andrew Tsui; Charles Crichton; Steve Harris; Peter Maccallum; William J. Howat; Jim Davies; James D. Brenton; Carlos Caldas (BMC Bioinform., 2013)

The CancerGrid experience: Metadata-based model-driven engineering for clinical trials. - Jim Davies; Jeremy Gibbons; Steve Harris; Charles Crichton (Sci. Comput. Program., 2014)