Brendan Mahony
Brendan Mahony
Research Scientist, Defence Science and Technology Group
Verifierad e-postadress på dst.defence.gov.au
Titel
Citeras av
Citeras av
År
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
2251998
Timed communicating object Z
B Mahony, JS Dong
IEEE Transactions on Software Engineering 26 (2), 150-177, 2000
1962000
A case-study in timed refinement: A mine pump
BP Mahony, IJ Hayes
IEEE transactions on Software Engineering 18 (9), 817-826, 1992
1571992
The specification and refinement of timed processes
BP Mahony
591992
Using units of measurement in formal specifications
IJ Hayes, BP Mahony
Formal Aspects of Computing 7 (3), 329-347, 1995
531995
Sensors and Actuators in TCOZ
B Mahony, JS Dong
International Symposium on Formal Methods, 1166-1185, 1999
461999
Using continuous real functions to model timed histories
B Mahony, I Hayes
Australian Software Engineering Conference 1991: Engineering Safe Software …, 1991
431991
Overview of the semantics of TCOZ
B Mahony, JS Dong
IFM’99, 66-85, 1999
421999
A case study in timed refinement: A central heater
B Mahony, I Hayes
4th Refinement Workshop, 138-149, 1991
411991
Active objects in TCOZ
JS Dong, B Mahony
Proceedings Second International Conference on Formal Engineering Methods …, 1998
361998
Defining differentiation and integration in Z
CJ Fidge, IJ Hayes, BP Mahony
Proceedings Second International Conference on Formal Engineering Methods …, 1998
301998
Network topology and a case study in TCOZ
B Mahony, JS Dong
International Conference of Z Users, 308-327, 1998
301998
Using the refinement calculus for dataflow processes
BP Mahony
IN PROC. SECOND AUSTRALASIAN REFINEMENT WORKSHOP, 1994
291994
Deep semantic links of TCSP and Object-Z: TCOZ approach
B Mahony, JS Dong
Formal Aspects of Computing 13 (2), 142-160, 2002
282002
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
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
231993
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
181995
The least conjunctive refinement and promotion in the refinement calculus
BP Mahony
Formal Aspects of Computing 11 (1), 75-105, 1999
171999
The DOVE approach to the design of complex dynamic processes
B Mahony
NASA Conference Publication, 167-188, 2002
142002
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20