Brendan P. Mahony

Publication Activity (10 Years)

Years Active: 1992-2021
Publications (10 Years): 6

Top Topics

Autonomous Systems

Formal Verification

Artifact Centric

Top Venues

Eng. Appl. Artif. Intell.

Publications

Hadrien Bride, Jin Song Dong, Ryan Green, Zhé Hóu, Brendan P. Mahony, Martin Oxenham
GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems. Eng. Appl. Artif. Intell. 97 (2021)
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
N-PAT: A Nested Model-Checker - (System Description). IJCAR (2) (2020)
Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
RL: a Language for Formal Engineering. ICECCS (2020)
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
N-PAT: A Nested Model-Checker. CoRR (2020)
Hadrien Bride, Jin Song Dong, Ryan Green, Zhe Hou, Brendan P. Mahony, Martin Oxenham
GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems. CoRR (2019)
Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Martin Oxenham
Towards Trustworthy AI for Autonomous Systems. ICFEM (2018)
Tony Cant, Ben Long, Jim McCarthy, Brendan P. Mahony, Kylie Williams
The HiVe Writer. Electron. Notes Theor. Comput. Sci. 217 (2008)
Jin Song Dong, Ping Hao, Brendan P. Mahony
Formal Designs for Embedded and Hybrid Systems. Int. J. Softw. Eng. Knowl. Eng. 15 (2) (2005)
Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Mahony
Reasoning about Semantic Web in Isabelle/HOL. APSEC (2004)
Brendan P. Mahony, Jin Song Dong
Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. Formal Aspects Comput. 13 (2) (2002)
Brendan P. Mahony, Jin Song Dong
Timed Communicating Object Z. IEEE Trans. Software Eng. 26 (2) (2000)
Brendan P. Mahony
The Least Conjunctive Refinement and Promotion in the Refinement Calculus. Formal Aspects Comput. 11 (1) (1999)
Jin Song Dong, Brendan P. Mahony, Neale Fulton
Modeling Aircraft Mission Computer Task Rates. World Congress on Formal Methods (1999)
Brendan P. Mahony, Jin Song Dong
Overview of the Semantics of TCOZ. IFM (1999)
Jin Song Dong, Brendan P. Mahony, Neale Fulton
Capturing Periodic Concurrent Interactions of Mission Computer Tasks. APSEC (1999)
Brendan P. Mahony, Jin Song Dong
Sensors and Actuators in TCOZ. World Congress on Formal Methods (1999)
Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony
Defining Differentiation and Integration in Z. ICFEM (1998)
Brendan P. Mahony, Jin Song Dong
Network Topology and a Case Study in TCOZ. ZUM (1998)
Jin Song Dong, Brendan P. Mahony
Active Objects in TCOZ. ICFEM (1998)
Brendan P. Mahony, Jin Song Dong
Blending Object-Z and Timed CSP: An Introduction to TCOZ. ICSE (1998)
Ian J. Hayes, Brendan P. Mahony
Using Units of Measurement in Formal Specifications. Formal Aspects Comput. 7 (3) (1995)
Brendan P. Mahony, Ian J. Hayes
A Case-Study in Timed Refinement: A Mine Pump. IEEE Trans. Software Eng. 18 (9) (1992)