Brendan P. Mahony
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
1998–2020
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CADE | N-PAT: A Nested Model-Checker - (System Description). | Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Gor, Zh Hu, Brendan P. Mahony, Jim McCarthy |
| 2020 | ICECCS | RL: a Language for Formal Engineering. | Hadrien Bride, Jin Song Dong, Zh Hu, Brendan P. Mahony, Jim McCarthy |
| 2018 | ICFEM | Towards Trustworthy AI for Autonomous Systems. | Hadrien Bride, Jin Song Dong, Zh Hu, Brendan P. Mahony, Martin Oxenham |
| 2004 | APSEC | Reasoning about Semantic Web in Isabelle/HOL. | Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Mahony |
| 1999 | APSEC | Capturing Periodic Concurrent Interactions of Mission Computer Tasks. | Jin Song Dong, Brendan P. Mahony, Neale Fulton |
| 1999 | FM | Modeling Aircraft Mission Computer Task Rates. | Jin Song Dong, Brendan P. Mahony, Neale Fulton |
| 1999 | FM | Sensors and Actuators in TCOZ. | Brendan P. Mahony, Jin Song Dong |
| 1999 | IFM | Overview of the Semantics of TCOZ. | Brendan P. Mahony, Jin Song Dong |
| 1998 | ICFEM | Active Objects in TCOZ. | Jin Song Dong, Brendan P. Mahony |
| 1998 | ICFEM | Defining Differentiation and Integration in Z. | Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony |
| 1998 | ICSE | Blending Object-Z and Timed CSP: An Introduction to TCOZ. | Brendan P. Mahony, Jin Song Dong |