David Hemer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
1997–2010
Best venue rank
C
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | PRICAI | An Optimised Algorithm to Tackle the Model Explosion Problem in CTL Model Update. | Yulin Ding, David Hemer |
| 2006 | APSEC | A systematic approach to connecting standalone theorem provers to formal development environments. | David Hemer |
| 2003 | APSEC | Specification matching of state-based modular components. | David Hemer |
| 2003 | SEFM | Specification Matching of Object-Oriented Components. | Frank Feiks, David Hemer |
| 2002 | APSEC | Computer-aided programming using formally specified design templates. | David Hemer |
| 2002 | LOPSTR | Refinement of Higher-Order Logic Programs. | Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper |
| 1997 | FM | Reuse of Verified Design Templates Through Extended Pattern Matching. | David Hemer, Peter A. Lindsay |
| 1997 | ICFEM | Using CARE to Construct Verified Software. | Peter A. Lindsay, David Hemer |