Follow
Brendan Mahony
Brendan Mahony
Research Scientist, Defence Science and Technology Group
Verified email at dst.defence.gov.au
Title
Cited by
Cited by
Year
Blending Object-Z and Timed CSP: an introduction to TCOZ
B Mahony, JS Dong
Proceedings of the 20th international conference on Software engineering, 95-104, 1998
2431998
Timed communicating object Z
B Mahony, JS Dong
IEEE Transactions on Software Engineering 26 (2), 150-177, 2000
2152000
A case-study in timed refinement: A mine pump
BP Mahony, IJ Hayes
IEEE transactions on Software Engineering 18 (9), 817-826, 1992
1621992
Using units of measurement in formal specifications
IJ Hayes, BP Mahony
Formal Aspects of Computing 7, 329-347, 1995
631995
The specification and refinement of timed processes
BP Mahony
601992
Sensors and Actuators in TCOZ
B Mahony, JS Dong
International Symposium on Formal Methods, 1166-1185, 1999
481999
Overview of the semantics of TCOZ
B Mahony, JS Dong
IFM’99: Proceedings of the 1st International Conference on Integrated Formal …, 1999
471999
Using continuous real functions to model timed histories
B Mahony, IJ Hayes
Proc. 6th Australian Software Engineering Conf.(ASWEC91), 257-270, 1991
441991
Active objects in TCOZ
JS Dong, B Mahony
Proceedings Second International Conference on Formal Engineering Methods …, 1998
391998
A case study in timed refinement: A central heater
B Mahony, I Hayes
4th Refinement Workshop: Proceedings of the 4th Refinement Workshop …, 1991
381991
Network topology and a case study in TCOZ
B Mahony, JS Dong
International Conference of Z Users, 308-327, 1998
331998
Using the refinement calculus for dataflow processes
B Mahony
Technical Report 94-32, Software Verification Research Centre, 1994
331994
Deep semantic links of TCSP and Object-Z: TCOZ approach
B Mahony, JS Dong
Formal Aspects of Computing 13, 142-160, 2002
322002
Defining differentiation and integration in Z
CJ Fidge, IJ Hayes, BP Mahony
Proceedings Second International Conference on Formal Engineering Methods …, 1998
301998
Shi
J Liu, JS Dong, B Mahony
K: Linking UML with Integrated Formal Techniques, chapter in book: Unified …, 2001
272001
The generic problem competition: A whole system specification of the boiler system
C Millerchip, B Mahony, IJ Hayes
Software Verification Research Centre, University of Queensland, 1993
241993
A boiler control system: Overview of a case-study in timed refinement
B Mahony, C Millerchip, IJ Hayes
Software Safety: Everybody's Business| Proc. 1993 International Workshop on …, 1994
221994
Z-based notation for the specification of timing properties
K Duddy, L Everett, C Millerchip, B Mahony, IJ Hayes
Draft, Department of Computer Science, University of Queensland, 1995
191995
Networks of predicate transformers
B Mahony
Technical Report TR 95-5, Software Verification Research Centre, 1995
191995
The least conjunctive refinement and promotion in the refinement calculus
BP Mahony
Formal Aspects of Computing 11, 75-105, 1999
171999
The system can't perform the operation now. Try again later.
Articles 1–20