| 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 | 240 | 1998 |
| Timed communicating object Z B Mahony, JS Dong IEEE Transactions on Software Engineering 26 (2), 150-177, 2000 | 214 | 2000 |
| A case-study in timed refinement: A mine pump BP Mahony, IJ Hayes IEEE transactions on Software Engineering 18 (9), 817-826, 1992 | 165 | 1992 |
| Using units of measurement in formal specifications IJ Hayes, BP Mahony Formal Aspects of Computing 7, 329-347, 1995 | 64 | 1995 |
| The specification and refinement of timed processes BP Mahony | 61 | 1992 |
| Overview of the semantics of TCOZ B Mahony, JS Dong IFM’99: Proceedings of the 1st International Conference on Integrated Formal …, 1999 | 50 | 1999 |
| Sensors and Actuators in TCOZ B Mahony, JS Dong International Symposium on Formal Methods, 1166-1185, 1999 | 49 | 1999 |
| Using continuous real functions to model timed histories B Mahony, IJ Hayes Proc. 6th Australian Software Engineering Conf.(ASWEC91), 257-270, 1991 | 45 | 1991 |
| Active objects in TCOZ JS Dong, B Mahony Proceedings Second International Conference on Formal Engineering Methods …, 1998 | 42 | 1998 |
| A case study in timed refinement: A central heater B Mahony, I Hayes 4th Refinement Workshop: Proceedings of the 4th Refinement Workshop …, 1991 | 41 | 1991 |
| Network topology and a case study in TCOZ B Mahony, JS Dong International Conference of Z Users, 308-327, 1998 | 36 | 1998 |
| Using the refinement calculus for dataflow processes B Mahony Technical Report 94-32, Software Verification Research Centre, 1994 | 33 | 1994 |
| Shi J Liu, JS Dong, B Mahony K: Linking UML with Integrated Formal Techniques, chapter in book: Unified …, 2001 | 32 | 2001 |
| 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, 142-160, 2002 | 29 | 2002 |
| 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 | 25 | 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 B Mahony Technical Report TR 95-5, Software Verification Research Centre, 1995 | 19 | 1995 |
| The least conjunctive refinement and promotion in the refinement calculus BP Mahony Formal Aspects of Computing 11, 75-105, 1999 | 17 | 1999 |
Jin Song DongProfessor of Computer Science, National University of SingaporeПідтверджена електронна адреса в nus.edu.sg
