Concepedia

Brendan Mahony

BM

Statistics

Publications

9

Citations

390

H-Index

9

Active since

1991

Affiliations

Defence Science and Technology Group(Current)

National University of Singapore

The University of Queensland

Brendan Mahony is an author at Defence Science and Technology Group specializing in computer science, computing, and formal methods.

Publications per year

1991–2002

9

Publications

9

Timed Communicating Object Z

Brendan Mahony, Jin Song Dong · IEEE Transactions on Software Engineering · 2000 · 122 citations

Engineering, Computer Science, Systems Engineering +17

Blending Object-Z and Timed CSP: an introduction to TCOZ

Brendan Mahony, Jin Song Dong · 2002 · 75 citations

Computing, Computer Science, Formal Methods +14

A case-study in timed refinement: a mine pump

Brendan Mahony, Ian J. Hayes · IEEE Transactions on Software Engineering · 1992 · 74 citations

Computing, Computer Engineering, Computer Science +17

Using units of measurement in formal specifications

Ian J. Hayes, Brendan Mahony · Formal Aspects of Computing · 1995 · 39 citations · Full text

Engineering, Systems Engineering, Formal Methods +10

Using Continuous Real Functions to Model Timed Histories

Brendan Mahony, Ian J. Hayes · 1991 · 22 citations

Natural Sciences, Computer Science, Mathematics +11

1–5 of 9