Tim O'Neill

IEEE ECBS'99 TC Architecture working group (AWG) report

John Leaney, Murali Rangarajan, Byron Purves, 2000, Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000).

Formal Architecture Transformation Using Heuristics

John Leaney, Cameron Maxwell, Tim O'Neill, 2007, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07).