Brendan P. Mahony

According to our database, Brendan P. Mahony authored at least 23 papers between 1992 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

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

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

RL: a Language for Formal Engineering.

Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Jim McCarthy

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

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

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2018

Towards Trustworthy AI for Autonomous Systems.

Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Martin Oxenham

Proceedings of the Formal Methods and Software Engineering, 2018

2008

The HiVe Writer.

Tony Cant, Ben Long, Jim McCarthy, Brendan P. Mahony, Kylie Williams

Proceedings of the 3rd International Workshop on Systems Software Verification, 2008

2005

Formal Designs for Embedded and Hybrid Systems.

Jin Song Dong, Ping Hao, Brendan P. Mahony

Int. J. Softw. Eng. Knowl. Eng., 2005

2004

Reasoning about Semantic Web in Isabelle/HOL.

Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Mahony

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2002

Deep Semantic Links of TCSP and Object-Z: TCOZ Approach.

Brendan P. Mahony, Jin Song Dong

Formal Aspects Comput., 2002

2001

Linking UML with Integrated Formal Techniques.

Jing Liu, Jin Song Dong, Brendan P. Mahony, Kun Shi

Proceedings of the Unified Modeling Language: Systems Analysis, 2001

2000

Timed Communicating Object Z.

Brendan P. Mahony, Jin Song Dong

IEEE Trans. Software Eng., 2000

1999

The Least Conjunctive Refinement and Promotion in the Refinement Calculus.

Brendan P. Mahony

Formal Aspects Comput., 1999

Overview of the Semantics of TCOZ.

Brendan P. Mahony, Jin Song Dong

Proceedings of the Integrated Formal Methods, 1999

Sensors and Actuators in TCOZ.

Brendan P. Mahony, Jin Song Dong

Proceedings of the FM'99 - Formal Methods, 1999

Modeling Aircraft Mission Computer Task Rates.

Jin Song Dong, Brendan P. Mahony, Neale Fulton

Proceedings of the FM'99 - Formal Methods, 1999

Capturing Periodic Concurrent Interactions of Mission Computer Tasks.

Jin Song Dong, Brendan P. Mahony, Neale Fulton

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1998

Network Topology and a Case Study in TCOZ.

Brendan P. Mahony, Jin Song Dong

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Blending Object-Z and Timed CSP: An Introduction to TCOZ.

Brendan P. Mahony, Jin Song Dong

Proceedings of the Forging New Links, 1998

Defining Differentiation and Integration in Z.

Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

Active Objects in TCOZ.

Jin Song Dong, Brendan P. Mahony

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1995

Using Units of Measurement in Formal Specifications.

Ian J. Hayes, Brendan P. Mahony

Formal Aspects Comput., 1995

1992

The specification and refinement of timed processes

Brendan P. Mahony

PhD thesis, 1992

A Case-Study in Timed Refinement: A Mine Pump.

Brendan P. Mahony, Ian J. Hayes

IEEE Trans. Software Eng., 1992