David Hemer

According to our database, David Hemer authored at least 26 papers between 1996 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2010

An Optimised Algorithm to Tackle the Model Explosion Problem in CTL Model Update.

Yulin Ding, David Hemer

Proceedings of the PRICAI 2010: Trends in Artificial Intelligence, 2010

2008

Specifying Software Architectures Using a Formal-Based Approach.

David Hemer, Yulin Ding

Proceedings of the 19th Australian Software Engineering Conference (ASWEC 2008), 2008

Peer Assessment of Group-Based Software Engineering Projects.

David Hemer

Proceedings of the 19th Australian Software Engineering Conference (ASWEC 2008), 2008

2006

Semi-Automated Component-Based Development of Formally Verified Software.

David Hemer

Proceedings of the 11th Refinement Workshop, 2006

A systematic approach to connecting standalone theorem provers to formal development environments.

David Hemer

Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

2005

Template-based construction of verified software.

David Hemer, Peter A. Lindsay

IEE Proc. Softw., 2005

Plug-in Proof Support for Formal Development Environments.

David Hemer, Gregory Long, Paul A. Strooper

Proceedings of the Theory of Computing 2005, 2005

Specification-Based Retrieval Strategies for Component Architectures.

David Hemer

Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

A Formal Approach to Component Adaptation and Composition.

David Hemer

Proceedings of the Computer Science 2005, 2005

2004

Higher-order associative commutative pattern matching for component retrieval.

David Hemer

Proceedings of Computing: The Australasian Theory Symposium, 2004

HazLog: Tool Support for Hazard Management.

Christian Hamoy, David Hemer, Peter A. Lindsay

Proceedings of the Safety Critical Systems and Software 2004, 2004

Developing Logic Programs from Specifications Using Stepwise Refinement.

Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

2003

Specification Matching of Object-Oriented Components.

Frank Feiks, David Hemer

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

Specification matching of state-based modular components.

David Hemer

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002

A refinement calculus for logic programs.

Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson

Theory Pract. Log. Program., 2002

Don't Care Non-determinism in Logic Program Refinement.

David Hemer, Ian J. Hayes, Paul A. Strooper, Robert Colvin

Proceedings of the Computing: the Australasian Theory Symposium, 2002

Refinement of Higher-Order Logic Programs.

Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Computer-aided programming using formally specified design templates.

David Hemer

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

Supporting Component-Based Reuse in CARE.

David Hemer, Peter A. Lindsay

Proceedings of the Computer Science 2002, 2002

Translating Refined Logic Programs to Mercury.

Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper

Proceedings of the Computer Science 2002, 2002

2001

Refinement Calculus for Logic Programming in Isabelle/HOL.

David Hemer, Ian J. Hayes, Paul A. Strooper

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

Specification-Based Retrieval Strategies for Module Reuse.

David Hemer, Peter A. Lindsay

Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001

2000

A unified approach to adapting and retrieving formally specified components for reuse

David Hemer

PhD thesis, 2000

1997

Using CARE to Construct Verified Software.

Peter A. Lindsay, David Hemer

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

Reuse of Verified Design Templates Through Extended Pattern Matching.

David Hemer, Peter A. Lindsay

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996

An Industrial-Strength Method For The Construction Of Formally Verified Software.

Peter A. Lindsay, David Hemer

Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996