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)

Application of Bayesian Networks to Architectural Optimisation. - Artem Parakhine; Tim O'Neill; John Leaney (ECBS, 2007)

Design Guidance Using Simulation-Based Bayesian Belief Networks. - Artem Parakhine; John Leaney; Tim O'Neill (ECBS, 2008)

An autonomic open marketplace for service management and resilience. - Haydn Mearns; John Leaney; Artem Parakhine; John K. Debenham; Dominique Verchère (CNSM, 2011)

An Autonomic Open Marketplace for Inter-Cloud Service Management. - Haydn Mearns; John Leaney; Artem Parakhine; John K. Debenham; Dominique Verchère (UCC, 2011)

CARMA: Complete autonomous responsible management agents for telecommunications and inter-cloud services. - Haydn Mearns; John Leaney; Artem Parakhine; John K. Debenham; Dominique Verchère (NOMS, 2012)