An Industrial-Strength Method For The Construction Of Formally Verified Software. - Peter A. Lindsay; David Hemer (Australian Software Engineering Conference, 1996)

Reuse of Verified Design Templates Through Extended Pattern Matching. - David Hemer; Peter A. Lindsay (FME, 1997)

Using CARE to Construct Verified Software. - Peter A. Lindsay; David Hemer (ICFEM, 1997)

A unified approach to adapting and retrieving formally specified components for reuse - David Hemer (2000)

Specification-Based Retrieval Strategies for Module Reuse. - David Hemer; Peter A. Lindsay (Australian Software Engineering Conference, 2001)

Refinement Calculus for Logic Programming in Isabelle/HOL. - David Hemer; Ian J. Hayes; Paul A. Strooper (TPHOLs, 2001)

Translating Refined Logic Programs to Mercury. - Robert Colvin; Ian J. Hayes; David Hemer; Paul A. Strooper (ACSC, 2002)

Supporting Component-Based Reuse in CARE. - David Hemer; Peter A. Lindsay (ACSC, 2002)

Computer-aided programming using formally specified design templates. - David Hemer (APSEC, 2002)

Refinement of Higher-Order Logic Programs. - Robert Colvin; Ian J. Hayes; David Hemer; Paul A. Strooper (LOPSTR, 2002)

Don't Care Non-determinism in Logic Program Refinement. - David Hemer; Ian J. Hayes; Paul A. Strooper; Robert Colvin (CATS, 2002)

A refinement calculus for logic programs. - Ian J. Hayes; Robert Colvin; David Hemer; Paul A. Strooper; Ray Nickson (Theory Pract. Log. Program., 2002)

Specification matching of state-based modular components. - David Hemer (APSEC, 2003)

Specification Matching of Object-Oriented Components. - Frank Feiks; David Hemer (SEFM, 2003)

Developing Logic Programs from Specifications Using Stepwise Refinement. - Robert Colvin; Lindsay Groves; Ian J. Hayes; David Hemer; Ray Nickson; Paul A. Strooper (Program Development in Computational Logic, 2004)

HazLog: Tool Support for Hazard Management. - Christian Hamoy; David Hemer; Peter A. Lindsay (SCS, 2004)

Higher-order associative commutative pattern matching for component retrieval. - David Hemer (CATS, 2004)

A Formal Approach to Component Adaptation and Composition. - David Hemer (ACSC, 2005)

Specification-Based Retrieval Strategies for Component Architectures. - David Hemer (Australian Software Engineering Conference, 2005)

Plug-in Proof Support for Formal Development Environments. - David Hemer; Gregory Long; Paul A. Strooper (CATS, 2005)

Template-based construction of verified software. - David Hemer; Peter A. Lindsay (IEE Proc. Softw., 2005)

A systematic approach to connecting standalone theorem provers to formal development environments. - David Hemer (APSEC, 2006)

Semi-Automated Component-Based Development of Formally Verified Software. - David Hemer (Refine@ICFEM, 2006)

Peer Assessment of Group-Based Software Engineering Projects. - David Hemer (Australian Software Engineering Conference, 2008)

Specifying Software Architectures Using a Formal-Based Approach. - David Hemer; Yulin Ding (Australian Software Engineering Conference, 2008)

An Optimised Algorithm to Tackle the Model Explosion Problem in CTL Model Update. - Yulin Ding; David Hemer (PRICAI, 2010)