Practical Application of Formal Methods for Specification and Analysis of Software Architecture. - Cameron Maxwell; Artem Parakhine; John Leaney (Australian Software Engineering Conference, 2005)

Heuristic-Based Architecture Generation for Complex Computer System Optimisation. - Cameron Maxwell; Artem Parakhine; John Leaney; Tim O'Neill; Mark Denford (ECBS, 2005)

A Framework for Understanding Heuristics in Architectural Optimisation. - Cameron Maxwell; Tim O'Neill; John Leaney (ECBS, 2006)

Formal Architecture Transformation Using Heuristics. - Cameron Maxwell; Tim O'Neill; John Leaney (ECBS, 2007)

Utilising Abstract Matching to Preserve the Nature of Heuristics in Design Optimisation. - Cameron Maxwell; John Leaney; Tim O'Neill (ECBS, 2008)