More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Brendan P. Mahony

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/eaai/BrideDGHMO21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eaai/BrideDGHMO21
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: 104091 (2021)
2020
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BrideCDGHMM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BrideCDGHMM20
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: 369-377
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/BrideDHMM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/BrideDHMM20
Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Jim McCarthy:
RL: a Language for Formal Engineering. ICECCS 2020: 31-36
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/2020
Shang-Wei Lin, Zhe Hou, Brendan P. Mahony:
Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings. Lecture Notes in Computer Science 12531, Springer 2020, ISBN 978-3-030-63405-6 [contents]
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-05520
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-05520
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 abs/2005.05520 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-01380
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-01380
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 abs/1910.01380 (2019)
2018
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/BrideDHMO18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/BrideDHMO18
Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Martin Oxenham:
Towards Trustworthy AI for Autonomous Systems. ICFEM 2018: 407-411

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CantLMMW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CantLMMW08
Tony Cant, Ben Long, Jim McCarthy, Brendan P. Mahony, Kylie Williams:
The HiVe Writer. SSV 2008: 221-234
2005
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/DongHM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/DongHM05
Jin Song Dong, Ping Hao, Brendan P. Mahony:
Formal Designs for Embedded and Hybrid Systems. Int. J. Softw. Eng. Knowl. Eng. 15(2): 373-378 (2005)
2004
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/YueDJM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/YueDJM04
Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Mahony:
Reasoning about Semantic Web in Isabelle/HOL. APSEC 2004: 46-53
2002
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/MahonyD02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/MahonyD02
Brendan P. Mahony, Jin Song Dong:
Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. Formal Aspects Comput. 13(2): 142-160 (2002)
2001
[p1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/idea/siau2001/LiuDMS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/idea/siau2001/LiuDMS01
Jing Liu, Jin Song Dong, Brendan P. Mahony, Kun Shi:
Linking UML with Integrated Formal Techniques. Unified Modeling Language: Systems Analysis, Design and Development Issues 2001: 210-223
2000
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/MahonyD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/MahonyD00
Brendan P. Mahony, Jin Song Dong:
Timed Communicating Object Z. IEEE Trans. Software Eng. 26(2): 150-177 (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/Mahony99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/Mahony99
Brendan P. Mahony:
The Least Conjunctive Refinement and Promotion in the Refinement Calculus. Formal Aspects Comput. 11(1): 75-105 (1999)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/DongMF99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/DongMF99
Jin Song Dong, Brendan P. Mahony, Neale Fulton:
Capturing Periodic Concurrent Interactions of Mission Computer Tasks. APSEC 1999: 538-545
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/MahonyD99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/MahonyD99
Brendan P. Mahony, Jin Song Dong:
Sensors and Actuators in TCOZ. World Congress on Formal Methods 1999: 1166-1185
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/DongMF99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/DongMF99
Jin Song Dong, Brendan P. Mahony, Neale Fulton:
Modeling Aircraft Mission Computer Task Rates. World Congress on Formal Methods 1999: 1855
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/MahonyD99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/MahonyD99
Brendan P. Mahony, Jin Song Dong:
Overview of the Semantics of TCOZ. IFM 1999: 66-85
1998
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/DongM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/DongM98
Jin Song Dong, Brendan P. Mahony:
Active Objects in TCOZ. ICFEM 1998: 16-25
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/FidgeHM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/FidgeHM98
Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony:
Defining Differentiation and Integration in Z. ICFEM 1998: 64-75
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MahonyD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MahonyD98
Brendan P. Mahony, Jin Song Dong:
Blending Object-Z and Timed CSP: An Introduction to TCOZ. ICSE 1998: 95-104
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/MahonyD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/MahonyD98
Brendan P. Mahony, Jin Song Dong:
Network Topology and a Case Study in TCOZ. ZUM 1998: 308-327
1995
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/HayesM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/HayesM95
Ian J. Hayes, Brendan P. Mahony:
Using Units of Measurement in Formal Specifications. Formal Aspects Comput. 7(3): 329-347 (1995)
1992
[b1]
- view
  - electronic edition @ uq.edu.au
  - no references & citations available
- export record
  dblp key:
  - phd/au/Mahony92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/au/Mahony92
Brendan P. Mahony:
The specification and refinement of timed processes. University of Queensland, Australia, 1992
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/MahonyH92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/MahonyH92
Brendan P. Mahony, Ian J. Hayes:
A Case-Study in Timed Refinement: A Mine Pump. IEEE Trans. Software Eng. 18(9): 817-826 (1992)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.