A Case-Study in Timed Refinement: A Mine Pump. - Brendan P. Mahony; Ian J. Hayes (IEEE Trans. Software Eng., 1992)

The specification and refinement of timed processes - Brendan P. Mahony (1992)

Using Units of Measurement in Formal Specifications. - Ian J. Hayes; Brendan P. Mahony (Formal Aspects Comput., 1995)

Active Objects in TCOZ. - Jin Song Dong; Brendan P. Mahony (ICFEM, 1998)

Defining Differentiation and Integration in Z. - Colin J. Fidge; Ian J. Hayes; Brendan P. Mahony (ICFEM, 1998)

Blending Object-Z and Timed CSP: An Introduction to TCOZ. - Brendan P. Mahony; Jin Song Dong (ICSE, 1998)

Network Topology and a Case Study in TCOZ. - Brendan P. Mahony; Jin Song Dong (ZUM, 1998)

Capturing Periodic Concurrent Interactions of Mission Computer Tasks. - Jin Song Dong; Brendan P. Mahony; Neale Fulton (APSEC, 1999)

Modeling Aircraft Mission Computer Task Rates. - Jin Song Dong; Brendan P. Mahony; Neale Fulton (World Congress on Formal Methods, 1999)

Sensors and Actuators in TCOZ. - Brendan P. Mahony; Jin Song Dong (World Congress on Formal Methods, 1999)

Overview of the Semantics of TCOZ. - Brendan P. Mahony; Jin Song Dong (IFM, 1999)

The Least Conjunctive Refinement and Promotion in the Refinement Calculus. - Brendan P. Mahony (Formal Aspects Comput., 1999)

Timed Communicating Object Z. - Brendan P. Mahony; Jin Song Dong (IEEE Trans. Software Eng., 2000)

Linking UML with Integrated Formal Techniques. - Jing Liu; Jin Song Dong; Brendan P. Mahony; Kun Shi (Unified Modeling Language: Systems Analysis, Design and Development Issues, 2001)

Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. - Brendan P. Mahony; Jin Song Dong (Formal Aspects Comput., 2002)

Reasoning about Semantic Web in Isabelle/HOL. - Yue Tang; Jin Song Dong; Jing Sun 002; Brendan P. Mahony (APSEC, 2004)

Formal Designs for Embedded and Hybrid Systems. - Jin Song Dong; Ping Hao; Brendan P. Mahony (Int. J. Softw. Eng. Knowl. Eng., 2005)

The HiVe Writer. - Tony Cant; Ben Long; Jim McCarthy; Brendan P. Mahony; Kylie Williams (SSV, 2008)

Towards Trustworthy AI for Autonomous Systems. - Hadrien Bride; Jin Song Dong; Zhé Hóu; Brendan P. Mahony; Martin Oxenham (ICFEM, 2018)

N-PAT: A Nested Model-Checker - (System Description). - Hadrien Bride; Cheng-Hao Cai; Jin Song Dong; Rajeev Goré; Zhé Hóu; Brendan P. Mahony; Jim McCarthy (IJCAR (2), 2020)

RL: a Language for Formal Engineering. - Hadrien Bride; Jin Song Dong; Zhé Hóu; Brendan P. Mahony; Jim McCarthy (ICECCS, 2020)

N-PAT: A Nested Model-Checker. - Hadrien Bride; Cheng-Hao Cai; Jin Song Dong; Rajeev Goré; Zhé Hóu; Brendan P. Mahony; Jim McCarthy (CoRR, 2020)

GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems. - Hadrien Bride; Jin Song Dong; Ryan Green; Zhé Hóu; Brendan P. Mahony; Martin Oxenham (Eng. Appl. Artif. Intell., 2021)