David Hemer

Publication Activity (10 Years)

Years Active: 1996-2010
Publications (10 Years): 0

Publications

Yulin Ding, David Hemer
An Optimised Algorithm to Tackle the Model Explosion Problem in CTL Model Update. PRICAI (2010)
David Hemer
Peer Assessment of Group-Based Software Engineering Projects. Australian Software Engineering Conference (2008)
David Hemer, Yulin Ding
Specifying Software Architectures Using a Formal-Based Approach. Australian Software Engineering Conference (2008)
David Hemer
Semi-Automated Component-Based Development of Formally Verified Software. Electron. Notes Theor. Comput. Sci. 187 (2007)
David Hemer
A systematic approach to connecting standalone theorem provers to formal development environments. APSEC (2006)
David Hemer
Specification-Based Retrieval Strategies for Component Architectures. Australian Software Engineering Conference (2005)
David Hemer, Gregory Long, Paul A. Strooper
Plug-in Proof Support for Formal Development Environments. CATS (2005)
David Hemer
A Formal Approach to Component Adaptation and Composition. ACSC (2005)
David Hemer, Peter A. Lindsay
Template-based construction of verified software. IEE Proc. Softw. 152 (1) (2005)
Christian Hamoy, David Hemer, Peter A. Lindsay
HazLog: Tool Support for Hazard Management. SCS (2004)
David Hemer
Higher-order associative commutative pattern matching for component retrieval. Electron. Notes Theor. Comput. Sci. 91 (2004)
David Hemer
Specification matching of state-based modular components. APSEC (2003)
Frank Feiks, David Hemer
Specification Matching of Object-Oriented Components. SEFM (2003)
Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson
A refinement calculus for logic programs. Theory Pract. Log. Program. 2 (4-5) (2002)
Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson
A Refinement Calculus for Logic Programs CoRR (2002)
David Hemer, Ian J. Hayes, Paul A. Strooper, Robert Colvin
Don't Care Non-determinism in Logic Program Refinement. Electron. Notes Theor. Comput. Sci. 61 (2002)
Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper
Refinement of Higher-Order Logic Programs. LOPSTR (2002)
David Hemer, Peter A. Lindsay
Supporting Component-Based Reuse in CARE. ACSC (2002)
Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper
Translating Refined Logic Programs to Mercury. ACSC (2002)
David Hemer
Computer-aided programming using formally specified design templates. APSEC (2002)
David Hemer, Ian J. Hayes, Paul A. Strooper
Refinement Calculus for Logic Programming in Isabelle/HOL. TPHOLs (2001)
David Hemer, Peter A. Lindsay
Specification-Based Retrieval Strategies for Module Reuse. Australian Software Engineering Conference (2001)
Peter A. Lindsay, David Hemer
Using CARE to Construct Verified Software. ICFEM (1997)
David Hemer, Peter A. Lindsay
Reuse of Verified Design Templates Through Extended Pattern Matching. FME (1997)
Peter A. Lindsay, David Hemer
An Industrial-Strength Method For The Construction Of Formally Verified Software. Australian Software Engineering Conference (1996)