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
2391998
Timed communicating object Z
B Mahony, JS Dong
IEEE Transactions on Software Engineering 26 (2), 150-177, 2000
2082000
A case-study in timed refinement: A mine pump
BP Mahony, IJ Hayes
IEEE transactions on Software Engineering 18 (9), 817-826, 1992
1631992
The specification and refinement of timed processes
BP Mahony
621992
Using units of measurement in formal specifications
IJ Hayes, BP Mahony
Formal Aspects of Computing 7 (3), 329-347, 1995
581995
Overview of the semantics of TCOZ
B Mahony, JS Dong
IFM’99, 66-85, 1999
471999
Sensors and Actuators in TCOZ
B Mahony, JS Dong
International Symposium on Formal Methods, 1166-1185, 1999
451999
Using continuous real functions to model timed histories
B Mahony, IJ Hayes
Proc. 6th Australian Software Engineering Conf.(ASWEC91), 257-270, 1991
431991
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, 138-149, 1991
381991
Network topology and a case study in TCOZ
B Mahony, JS Dong
International Conference of Z Users, 308-327, 1998
341998
Defining differentiation and integration in Z
CJ Fidge, IJ Hayes, BP Mahony
Proceedings Second International Conference on Formal Engineering Methods …, 1998
301998
Deep semantic links of TCSP and Object-Z: TCOZ approach
B Mahony, JS Dong
Formal Aspects of Computing 13 (2), 142-160, 2002
292002
Using the refinement calculus for dataflow processes
BP Mahony
IN PROC. SECOND AUSTRALASIAN REFINEMENT WORKSHOP, 1994
271994
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
231994
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
BP Mahony
Software Verification Research Centre, 1995
191995
The least conjunctive refinement and promotion in the refinement calculus
BP Mahony
Formal Aspects of Computing 11 (1), 75-105, 1999
171999
Shi
J Liu, JS Dong, B Mahony
K: Linking UML with Integrated Formal Techniques, chapter in book: Unified …, 2001
162001
The system can't perform the operation now. Try again later.
Articles 1–20