Disciplined, efficient, generalised folds for nested datatypes. - Clare E. Martin; Jeremy Gibbons; Ian Bayley (Formal Aspects Comput., 2004)

JVM Bytecode Verification Without Dataflow Analysis. - Ian Bayley; Sam Shiel (Bytecode@ETAPS, 2005)

A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine. - Sam Shiel; Ian Bayley (Bytecode@ETAPS, 2005)

Formalising Design Patterns in Predicate Logic. - Ian Bayley (SEFM, 2007)

Specifying Behavioural Features of Design Patterns in First Order Logic. - Ian Bayley; Hong Zhu 002 (COMPSAC, 2008)

On the Composition of Design Patterns. - Ian Bayley; Hong Zhu 002 (QSIC, 2008)

Formal Descriptive Semantics of UML and Its Applications. - Hong Zhu 002; Lijun Shan; Ian Bayley; Richard Amphlett (UML 2 Semantics and Applications, 2009)

Tool Support for Design Pattern Recognition at Model Level. - Hong Zhu 002; Ian Bayley; Lijun Shan; Richard Amphlett (COMPSAC (1), 2009)

Laws of Pattern Composition. - Hong Zhu 002; Ian Bayley (ICFEM, 2010)

Formal specification of the variants and behavioural features of design patterns. - Ian Bayley; Hong Zhu 002 (J. Syst. Softw., 2010)

Developing a mobile case-based reasoning application to assist type 1 diabetes management. - Daniel Brown 001; Ian Bayley; Rachel Harrison; Clare E. Martin (Healthcom, 2013)

From Algebraic Specification to Ontological Description of Service Semantics. - Dongmei Liu; Hong Zhu 002; Ian Bayley (ICWS, 2013)

A Case Study on Algebraic Specification of Cloud Computing. - Dongmei Liu; Hong Zhu 002; Ian Bayley (PDP, 2013)

An algebra of design patterns. - Hong Zhu 002; Ian Bayley (ACM Trans. Softw. Eng. Methodol., 2013)

Challenges for a Formal Framework for Patterns. - Ian Bayley (Cyberpatterns, 2014)

SOFIA: An Algebraic Specification Language for Developing Services. - Dongmei Liu; Hong Zhu 002; Ian Bayley (SOSE, 2014)

Big SaaS: The Next Step beyond Big Data. - Hong Zhu 002; Ian Bayley; Muhammad Younas 001; David E. Lightfoot; Basel Yousef; Dongmei Liu (CLOUD, 2015)

Automated Testing of Web Services Based on Algebraic Specifications. - Dongmei Liu; Yuxin Liu; Xin Zhang; Hong Zhu 002; Ian Bayley (SOSE, 2015)

On the Composability of Design Patterns. - Hong Zhu 002; Ian Bayley (IEEE Trans. Software Eng., 2015)

CIDE: An Integrated Development Environment for Microservices. - Desheng Liu; Hong Zhu 002; ChengZhi Xu; Ian Bayley; David E. Lightfoot; Mark Green; Peter Marshall (SCC, 2016)

Monic Testing of Web Services Based on Algebraic Specifications. - Dongmei Liu; Xian Wu; Xin Zhang; Hong Zhu 002; Ian Bayley (SOSE, 2016)

Evaluating the Ontological Semantic Description of Web Services Generated from Algebraic Specifications. - Dongmei Liu; Yunfei Yang; Ying Chen; Hong Zhu 002; Ian Bayley; Arantza Aldea (SOSE, 2016)

CAOPLE: A Programming Language for Microservices SaaS. - ChengZhi Xu; Hong Zhu 002; Ian Bayley; David E. Lightfoot; Mark Green; Peter Marshall (SOSE, 2016)

On the Composibility of Design Patterns: Extended Abstract. - Hong Zhu 002; Ian Bayley (COMPSAC (1), 2017)

Formal Analysis of Load Balancing in Microservices with Scenario Calculus. - Hong Zhu 002; Hongbo Wang 003; Ian Bayley (IEEE CLOUD, 2018)

If Docker is the Answer, What is the Question? - Hong Zhu 002; Ian Bayley (SOSE, 2018)

Temporal case-based reasoning for type 1 diabetes mellitus bolus insulin decision support. - Daniel Brown 001; Arantza Aldea; Rachel Harrison; Clare E. Martin; Ian Bayley (Artif. Intell. Medicine, 2018)

Datamorphic Testing: A Method for Testing Intelligent Applications. - Hong Zhu 002; Dongmei Liu; Ian Bayley; Rachel Harrison; Fabio Cuzzolin (AITest, 2019)

Datamorphic Testing: A Methodology for Testing AI Applications. - Hong Zhu 002; Dongmei Liu; Ian Bayley; Rachel Harrison; Fabio Cuzzolin (CoRR, 2019)

Morphy: A Datamorphic Software Test Automation Tool. - Hong Zhu 002; Ian Bayley; Dongmei Liu; Xiaoyu Zheng (CoRR, 2019)

Automation of Datamorphic Testing. - Hong Zhu 002; Ian Bayley; Dongmei Liu; Xiaoyu Zheng (AITest, 2020)

Exploratory Datamorphic Testing of Classification Applications. - Hong Zhu 002; Ian Bayley (AST@ICSE, 2020)

Continuous Debugging of Microservices. - Hong Zhu 002; Ian Bayley; Hongbo Wang 003 (ISPA/BDCloud/SocialCom/SustainCom, 2020)

Pattern-Based Approach to Modelling and Verifying System Security. - Xiaoyu Zheng; Dongmei Liu; Hong Zhu 002; Ian Bayley (SOSE, 2020)

Special section on testing and repair for software engineering technologies and applications. - Ian Bayley; Yan Cai 001; Patrícia D. L. Machado (Softw. Qual. J., 2020)

Metrics for Measuring Error Extents of Machine Learning Classifiers. - Hong Zhu 002; Ian Bayley; Mark Green (AITest, 2022)

Discovering boundary values of feature-based machine learning classifiers through exploratory datamorphic testing. - Hong Zhu 002; Ian Bayley (J. Syst. Softw., 2022)

ScenEval: A Benchmark for Scenario-Based Evaluation of Code Generation. - Debalina Ghosh Paul; Hong Zhu 002; Ian Bayley (AITest, 2024)

Benchmarks and Metrics for Evaluations of Code Generation: A Critical Review. - Debalina Ghosh Paul; Hong Zhu 002; Ian Bayley (AITest, 2024)