Specifying & Verifying Concurrent Systems Using Z. - Andy Evans (FME, 1994)

Visualising Concurrent Z Specifications. - Andy Evans (Z User Workshop, 1994)

OO oversold : Those objects of obscure desire. - Tony Bryant; Andy Evans (Inf. Softw. Technol., 1994)

Using Z to Rigorously Review a Specification of a Network Management System. - Tony Bryant; Andy Evans; Lesley Semmens; Rajko Milovanovic; Sinclair Guillaume Stockman; Mark T. Norris; Clive Selley (ZUM, 1995)

An Improved Recipe for Specifying Reactive Systems in Z. - Andy Evans (ZUM, 1997)

The UML as a formal modeling notation. - Robert B. France; Andy Evans; Kevin Lano; Bernhard Rumpe (Comput. Stand. Interfaces, 1998)

Meta-Modelling Semantics of UML. - Andy Evans; Robert B. France; Kevin Lano; Bernhard Rumpe (Behavioral Specifications of Businesses and Systems, 1999)

Aggregation. - Andy Evans; Robert B. France; Guy Genilloud; Brian Henderson-Sellers; Perdita Stevens (ECOOP Workshops, 1999)

UML Semantics FAQ. - Stuart Kent 001; Andy Evans; Bernhard Rumpe (ECOOP Workshops, 1999)

Is a Precise Semantics Desirable? For What Purpose? - Stuart Kent 001; Bernhard Rumpe; Andy Evans; Robert B. France (ECOOP Workshops, 1999)

What Does the Term Semantics Mean in the Context of UML. - Bernhard Rumpe; Stuart Kent 001; Andy Evans; Robert B. France (ECOOP Workshops, 1999)

Rigorous Development in UML. - Kevin Lano; Andy Evans (FASE, 1999)

Core Meta-Modelling Semantics of UML: The pUML Approach. - Andy Evans; Stuart Kent 001 (UML, 1999)

Structured Axiomatic Semantics for UML Models. - Kevin Lano; Juan Bicarregui; Andy Evans (Rigorous Object-Oriented Methods, 2000)

The Metamodelling Language Calculus: Foundation Semantics for UML. - Tony Clark 001; Andy Evans; Stuart Kent 001 (FASE, 2001)

An Action Semantics for MML. - José M. Álvarez 003; Tony Clark 001; Andy Evans; Paul Sammut (UML, 2001)

Mapping between Levels in the Metamodel Architecture. - José M. Álvarez 003; Andy Evans; Paul Sammut (UML, 2001)

The specification of a reference implementation for the Unified Modeling Language. - Tony Clark 001; Andy Evans; Stuart Kent 001 (Obj. Logiciel Base données Réseaux, 2001)

Engineering Modelling Languages: A Precise Meta-Modelling Approach. - Tony Clark 001; Andy Evans; Stuart Kent 001 (FASE, 2002)

A Meta-model Facility for a Family of UML Constraint Languages. - Tony Clark 001; Andy Evans; Stuart Kent 001 (Object Modeling with the OCL, 2002)

Object-Oriented Theories for Model Driven Architecture. - Tony Clark 001; Andy Evans; Robert B. France (OOIS Workshops, 2002)

A Metamodel for Package Extension with Renaming. - Tony Clark 001; Andy Evans; Stuart Kent 001 (UML, 2002)

Model driven architecture: how far have we come, how far can we go? - Granville Miller; Andy Evans; Ivar Jacobson; Henrik Jondell; Allan Kennedy; Stephen J. Mellor; Dave A. Thomas (OOPSLA Companion, 2003)

Modeling Language Transformations. - Tony Clark 001; Andy Evans; Girish Maskeri Rama; Paul Sammut; James S. Willans (Obj. Logiciel Base données Réseaux, 2003)

Aspect-oriented Metamodelling. - Tony Clark 001; Andy Evans; Stuart Kent 001 (Comput. J., 2003)

Transformation Language Design: A Metamodelling Foundation. - Tony Clark 001; Andy Evans; Paul Sammut; James S. Willans (ICGT, 2004)

Developing a UML Profile for Modelling Knowledge-Based Systems. - Mohd Syazwan Abdullah; Chris Kimble; Richard F. Paige; Ian D. Benest; Andy Evans (MDAFA, 2004)

A Unified Superstructure for UML. - Andy Evans; Paul Sammut; James S. Willans; Alan Moore; Girish Maskeri Rama (J. Object Technol., 2005)

Protocol Aware Test Methodologies Using Today. - Shawn Molavi; Andy Evans; Ray Clancy (ATS, 2008)

Experiences of Developing a Network Modeling Tool Using the Eclipse Environment. - Andy Evans; Miguel A. Fernández; Parastoo Mohagheghi (ECMDA-FA, 2009)

Evaluating Security Properties of Architectures in Unpredictable Environments: A Case for Cloud. - Funmilade Faniyi; Rami Bahsoon; Andy Evans; Rick Kazman (WICSA, 2011)

Characterizing Breast Phenotype with a Novel Measure of Fibroglandular Structure. - John H. Hipwell; Lewis D. Griffin; Patsy J. Whelehan; Wenlong Song; Xiying Zhang; Jan M. Lesniak; Sarah Vinnicombe; Andy Evans; Jonathan Berg; David J. Hawkes (Digital Mammography / IWDM, 2012)

Implementing comprehensive offender behaviour in a realistic agent-based model of burglary. - Nick Malleson; Linda M. See; Andy Evans; Alison J. Heppenstall (Simul., 2012)

Developing the UML as a Formal Modelling Notation. - Andy Evans; Robert B. France; Kevin Lano; Bernhard Rumpe (CoRR, 2014)

Meta-Modeling Semantics of UML. - Andy Evans; Kevin Lano; Robert B. France; Bernhard Rumpe (CoRR, 2014)

High-Spped Rail in California May be Inevitable: Where Does that Leave Opponents? - Andy Evans (J. Telecommun. High Technol. Law, 2014)

Comparative Analysis of Two Variants of the Knox Test: Inferences from Space-Time Crime Pattern Analysis. - Monsuru Adepeju; Andy Evans (ICCSA (6), 2017)

Diversity and burglary: Do community differences matter? - Usman Lawal Gulma; Andy Evans; Alison J. Heppenstall; Nick Malleson (Trans. GIS, 2019)