| 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 | 239 | 1998 |
| Timed communicating object Z B Mahony, JS Dong IEEE Transactions on Software Engineering 26 (2), 150-177, 2000 | 208 | 2000 |
| A case-study in timed refinement: A mine pump BP Mahony, IJ Hayes IEEE transactions on Software Engineering 18 (9), 817-826, 1992 | 163 | 1992 |
| The specification and refinement of timed processes BP Mahony | 62 | 1992 |
| Using units of measurement in formal specifications IJ Hayes, BP Mahony Formal Aspects of Computing 7 (3), 329-347, 1995 | 58 | 1995 |
| Overview of the semantics of TCOZ B Mahony, JS Dong IFM’99, 66-85, 1999 | 47 | 1999 |
| Sensors and Actuators in TCOZ B Mahony, JS Dong International Symposium on Formal Methods, 1166-1185, 1999 | 45 | 1999 |
| Using continuous real functions to model timed histories B Mahony, IJ Hayes Proc. 6th Australian Software Engineering Conf.(ASWEC91), 257-270, 1991 | 43 | 1991 |
| Active objects in TCOZ JS Dong, B Mahony Proceedings Second International Conference on Formal Engineering Methods …, 1998 | 39 | 1998 |
| A case study in timed refinement: A central heater B Mahony, I Hayes 4th Refinement Workshop, 138-149, 1991 | 38 | 1991 |
| Network topology and a case study in TCOZ B Mahony, JS Dong International Conference of Z Users, 308-327, 1998 | 34 | 1998 |
| Defining differentiation and integration in Z CJ Fidge, IJ Hayes, BP Mahony Proceedings Second International Conference on Formal Engineering Methods …, 1998 | 30 | 1998 |
| Deep semantic links of TCSP and Object-Z: TCOZ approach B Mahony, JS Dong Formal Aspects of Computing 13 (2), 142-160, 2002 | 29 | 2002 |
| Using the refinement calculus for dataflow processes BP Mahony IN PROC. SECOND AUSTRALASIAN REFINEMENT WORKSHOP, 1994 | 27 | 1994 |
| 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 | 24 | 1993 |
| 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 | 23 | 1994 |
| 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 | 19 | 1995 |
| Networks of predicate transformers BP Mahony Software Verification Research Centre, 1995 | 19 | 1995 |
| The least conjunctive refinement and promotion in the refinement calculus BP Mahony Formal Aspects of Computing 11 (1), 75-105, 1999 | 17 | 1999 |
| Shi J Liu, JS Dong, B Mahony K: Linking UML with Integrated Formal Techniques, chapter in book: Unified …, 2001 | 16 | 2001 |
Jin Song DongProfessor of Computer Science, National University of SingaporeVerified email at nus.edu.sg
