Brendan P. Mahony

25 papers A* 1B 2C 6Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2021 J jnl
GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems.
Eng. Appl. Artif. Intell.
Hadrien Bride, Jin Song Dong, Ryan Green, Zhé Hóu, Brendan P. Mahony, Martin Oxenham
2020 C ed.
Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings
ICFEM
Shang-Wei Lin, Zhe Hou, Brendan P. Mahony
2020 — conf
N-PAT: A Nested Model-Checker - (System Description).
IJCAR (2)
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
2020 J jnl
N-PAT: A Nested Model-Checker.
CoRR
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
2020 B conf
RL: a Language for Formal Engineering.
ICECCS
Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
2019 J jnl
GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems.
CoRR
Hadrien Bride, Jin Song Dong, Ryan Green, Zhe Hou, Brendan P. Mahony, Martin Oxenham
2018 C conf
Towards Trustworthy AI for Autonomous Systems.
ICFEM
Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Martin Oxenham
2008 — conf
The HiVe Writer.
SSV
Tony Cant, Ben Long, Jim McCarthy, Brendan P. Mahony, Kylie Williams
2005 J jnl
Formal Designs for Embedded and Hybrid Systems.
Int. J. Softw. Eng. Knowl. Eng.
Jin Song Dong, Ping Hao, Brendan P. Mahony
2004 C conf
Reasoning about Semantic Web in Isabelle/HOL.
APSEC
Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Mahony
2002 J jnl
Deep Semantic Links of TCSP and Object-Z: TCOZ Approach.
Formal Aspects Comput.
Brendan P. Mahony, Jin Song Dong
2001 — ch.
Linking UML with Integrated Formal Techniques.
Unified Modeling Language: Systems Analysis, Design and Development Issues
Jing Liu, Jin Song Dong, Brendan P. Mahony, Kun Shi
2000 J jnl
Timed Communicating Object Z.
IEEE Trans. Software Eng.
Brendan P. Mahony, Jin Song Dong
1999 C conf
Capturing Periodic Concurrent Interactions of Mission Computer Tasks.
APSEC
Jin Song Dong, Brendan P. Mahony, Neale Fulton
1999 — conf
Modeling Aircraft Mission Computer Task Rates.
World Congress on Formal Methods
Jin Song Dong, Brendan P. Mahony, Neale Fulton
1999 B conf
Overview of the Semantics of TCOZ.
IFM
Brendan P. Mahony, Jin Song Dong
1999 — conf
Sensors and Actuators in TCOZ.
World Congress on Formal Methods
Brendan P. Mahony, Jin Song Dong
1999 J jnl
The Least Conjunctive Refinement and Promotion in the Refinement Calculus.
Formal Aspects Comput.
Brendan P. Mahony
1998 C conf
Active Objects in TCOZ.
ICFEM
Jin Song Dong, Brendan P. Mahony
1998 A* conf
Blending Object-Z and Timed CSP: An Introduction to TCOZ.
ICSE
Brendan P. Mahony, Jin Song Dong
1998 C conf
Defining Differentiation and Integration in Z.
ICFEM
Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony
1998 — conf
Network Topology and a Case Study in TCOZ.
ZUM
Brendan P. Mahony, Jin Song Dong
1995 J jnl
Using Units of Measurement in Formal Specifications.
Formal Aspects Comput.
Ian J. Hayes, Brendan P. Mahony
1992 J jnl
A Case-Study in Timed Refinement: A Mine Pump.
IEEE Trans. Software Eng.
Brendan P. Mahony, Ian J. Hayes
1992 — —
The specification and refinement of timed processes
Brendan P. Mahony