| 2008 |
|---|
| 17 | EE | Tony Cant,
Ben Long,
Jim McCarthy,
Brendan P. Mahony,
Kylie Williams:
The HiVe Writer.
Electr. Notes Theor. Comput. Sci. 217: 221-234 (2008) |
| 2005 |
|---|
| 16 | EE | Jin Song Dong,
Ping Hao,
Brendan P. Mahony:
Formal Designs for Embedded and Hybrid Systems.
International Journal of Software Engineering and Knowledge Engineering 15(2): 373-378 (2005) |
| 2004 |
|---|
| 15 | EE | Yue Tang,
Jin Song Dong,
Jing Sun,
Brendan P. Mahony:
Reasoning about Semantic Web in Isabelle/HOL.
APSEC 2004: 46-53 |
| 2002 |
|---|
| 14 | EE | Brendan P. Mahony,
Jin Song Dong:
Deep Semantic Links of TCSP and Object-Z: TCOZ Approach.
Formal Asp. Comput. 13(2): 142-160 (2002) |
| 2001 |
|---|
| 13 | | 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 |
|---|
| 12 | EE | Brendan P. Mahony,
Jin Song Dong:
Timed Communicating Object Z.
IEEE Trans. Software Eng. 26(2): 150-177 (2000) |
| 1999 |
|---|
| 11 | | Jin Song Dong,
Brendan P. Mahony,
Neale Fulton:
Capturing Periodic Concurrent Interactions of Mission Computer Tasks.
APSEC 1999: 538-545 |
| 10 | | Brendan P. Mahony,
Jin Song Dong:
Overview of the Semantics of TCOZ.
IFM 1999: 66-85 |
| 9 | EE | Brendan P. Mahony,
Jin Song Dong:
Sensors and Actuators in TCOZ.
World Congress on Formal Methods 1999: 1166-1185 |
| 8 | EE | Jin Song Dong,
Brendan P. Mahony,
Neale Fulton:
Modeling Aircraft Mission Computer Task Rates.
World Congress on Formal Methods 1999: 1855 |
| 7 | EE | Brendan P. Mahony:
The Least Conjunctive Refinement and Promotion in the Refinement Calculus.
Formal Asp. Comput. 11(1): 75-105 (1999) |
| 1998 |
|---|
| 6 | EE | Jin Song Dong,
Brendan P. Mahony:
Active Objects in TCOZ.
ICFEM 1998: 16-25 |
| 5 | EE | Colin J. Fidge,
Ian J. Hayes,
Brendan P. Mahony:
Defining Differentiation and Integration in Z.
ICFEM 1998: 64- |
| 4 | | Brendan P. Mahony,
Jin Song Dong:
Blending Object-Z and Timed CSP: An Introduction to TCOZ.
ICSE 1998: 95-104 |
| 3 | | Brendan P. Mahony,
Jin Song Dong:
Network Topology and a Case Study in TCOZ.
ZUM 1998: 308-327 |
| 1995 |
|---|
| 2 | | Ian J. Hayes,
Brendan P. Mahony:
Using Units of Measurement in Formal Specifications.
Formal Asp. Comput. 7(3): 329-347 (1995) |
| 1992 |
|---|
| 1 | EE | Brendan P. Mahony,
Ian J. Hayes:
A Case-Study in Timed Refinement: A Mine Pump.
IEEE Trans. Software Eng. 18(9): 817-826 (1992) |
