BibTeX records: David Hemer

download as .bib file

@inproceedings{DBLP:conf/pricai/DingH10,
  author       = {Yulin Ding and
                  David Hemer},
  editor       = {Byoung{-}Tak Zhang and
                  Mehmet A. Orgun},
  title        = {An Optimised Algorithm to Tackle the Model Explosion Problem in {CTL}
                  Model Update},
  booktitle    = {{PRICAI} 2010: Trends in Artificial Intelligence, 11th Pacific Rim
                  International Conference on Artificial Intelligence, Daegu, Korea,
                  August 30-September 2, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6230},
  pages        = {589--594},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15246-7\_54},
  doi          = {10.1007/978-3-642-15246-7\_54},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/pricai/DingH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/HemerD08,
  author       = {David Hemer and
                  Yulin Ding},
  title        = {Specifying Software Architectures Using a Formal-Based Approach},
  booktitle    = {19th Australian Software Engineering Conference {(ASWEC} 2008), March
                  25-28, 2008, Perth, Australia},
  pages        = {279--288},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ASWEC.2008.9},
  doi          = {10.1109/ASWEC.2008.9},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aswec/HemerD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/Hemer08,
  author       = {David Hemer},
  title        = {Peer Assessment of Group-Based Software Engineering Projects},
  booktitle    = {19th Australian Software Engineering Conference {(ASWEC} 2008), March
                  25-28, 2008, Perth, Australia},
  pages        = {470--478},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ASWEC.2008.8},
  doi          = {10.1109/ASWEC.2008.8},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aswec/Hemer08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Hemer06,
  author       = {David Hemer},
  title        = {A systematic approach to connecting standalone theorem provers to
                  formal development environments},
  booktitle    = {13th Asia-Pacific Software Engineering Conference {(APSEC} 2006),
                  6-8 December 2006, Bangalore, India},
  pages        = {183--190},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/APSEC.2006.13},
  doi          = {10.1109/APSEC.2006.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/Hemer06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hemer07,
  author       = {David Hemer},
  editor       = {Bernhard K. Aichernig and
                  Eerke A. Boiten and
                  John Derrick and
                  Lindsay Groves},
  title        = {Semi-Automated Component-Based Development of Formally Verified Software},
  booktitle    = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao,
                  October 31, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {187},
  pages        = {173--188},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.08.051},
  doi          = {10.1016/J.ENTCS.2006.08.051},
  timestamp    = {Tue, 31 Jan 2023 15:13:24 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Hemer07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HemerL05,
  author       = {David Hemer and
                  Peter A. Lindsay},
  title        = {Template-based construction of verified software},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {1},
  pages        = {2--12},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20041006},
  doi          = {10.1049/IP-SEN:20041006},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HemerL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/Hemer05,
  author       = {David Hemer},
  editor       = {Vladimir Estivill{-}Castro},
  title        = {A Formal Approach to Component Adaptation and Composition},
  booktitle    = {Computer Science 2005, Twenty-Eighth Australasian Computer Science
                  Conference (ACSC2005), Newcastle, NSW, Australia, January/February
                  2005},
  series       = {{CRPIT}},
  volume       = {38},
  pages        = {259--266},
  publisher    = {Australian Computer Society},
  year         = {2005},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV38Hemer.html},
  timestamp    = {Wed, 10 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsc/Hemer05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/Hemer05,
  author       = {David Hemer},
  title        = {Specification-Based Retrieval Strategies for Component Architectures},
  booktitle    = {16th Australian Software Engineering Conference {(ASWEC} 2005), 31
                  March - 1 April 2005, Brisbane, Australia},
  pages        = {233--242},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/ASWEC.2005.43},
  doi          = {10.1109/ASWEC.2005.43},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aswec/Hemer05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cats/HemerLS05,
  author       = {David Hemer and
                  Gregory Long and
                  Paul A. Strooper},
  editor       = {Mike D. Atkinson and
                  Frank K. H. A. Dehne},
  title        = {Plug-in Proof Support for Formal Development Environments},
  booktitle    = {Theory of Computing 2005, Eleventh {CATS} 2005, Computing: The Australasian
                  Theory Symposium, Newcastle, NSW, Australia, January/February 2005},
  series       = {{CRPIT}},
  volume       = {41},
  pages        = {69--79},
  publisher    = {Australian Computer Society},
  year         = {2005},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV41Hemer.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/HemerLS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scs/HamoyHL04,
  author       = {Christian Hamoy and
                  David Hemer and
                  Peter A. Lindsay},
  editor       = {Anthony Cant},
  title        = {HazLog: Tool Support for Hazard Management},
  booktitle    = {Safety Critical Systems and Software 2004, Ninth Australian Workshop
                  on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia,
                  October 2004},
  series       = {{CRPIT}},
  volume       = {47},
  pages        = {77--87},
  publisher    = {Australian Computer Society},
  year         = {2004},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV47Hamoy.html},
  timestamp    = {Thu, 25 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scs/HamoyHL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hemer04,
  author       = {David Hemer},
  editor       = {Mike D. Atkinson},
  title        = {Higher-order associative commutative pattern matching for component
                  retrieval},
  booktitle    = {Proceedings of Computing: The Australasian Theory Symposium, {CATS}
                  2004, Dunedin, New Zealand, January 19-20, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {91},
  pages        = {116--133},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2003.12.008},
  doi          = {10.1016/J.ENTCS.2003.12.008},
  timestamp    = {Fri, 11 Nov 2022 16:02:51 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Hemer04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/lopstr/ColvinGHHNS04,
  author       = {Robert Colvin and
                  Lindsay Groves and
                  Ian J. Hayes and
                  David Hemer and
                  Ray Nickson and
                  Paul A. Strooper},
  editor       = {Maurice Bruynooghe and
                  Kung{-}Kiu Lau},
  title        = {Developing Logic Programs from Specifications Using Stepwise Refinement},
  booktitle    = {Program Development in Computational Logic: {A} Decade of Research
                  Advances in Logic-Based Program Development},
  series       = {Lecture Notes in Computer Science},
  volume       = {3049},
  pages        = {66--89},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25951-0\_3},
  doi          = {10.1007/978-3-540-25951-0\_3},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/ColvinGHHNS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Hemer03,
  author       = {David Hemer},
  title        = {Specification matching of state-based modular components},
  booktitle    = {10th Asia-Pacific Software Engineering Conference {(APSEC} 2003),
                  10-12 December 2003, Chiang Mai, Thailand},
  pages        = {446--455},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/APSEC.2003.1254400},
  doi          = {10.1109/APSEC.2003.1254400},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/Hemer03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FeiksH03,
  author       = {Frank Feiks and
                  David Hemer},
  title        = {Specification Matching of Object-Oriented Components},
  booktitle    = {1st International Conference on Software Engineering and Formal Methods
                  {(SEFM} 2003), 22-27 September 2003, Brisbane, Australia},
  pages        = {182--190},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/SEFM.2003.1236220},
  doi          = {10.1109/SEFM.2003.1236220},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/FeiksH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HayesCHSN02,
  author       = {Ian J. Hayes and
                  Robert Colvin and
                  David Hemer and
                  Paul A. Strooper and
                  Ray Nickson},
  title        = {A refinement calculus for logic programs},
  journal      = {Theory Pract. Log. Program.},
  volume       = {2},
  number       = {4-5},
  pages        = {425--460},
  year         = {2002},
  url          = {https://doi.org/10.1017/S1471068402001448},
  doi          = {10.1017/S1471068402001448},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/HayesCHSN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/ColvinHHS02,
  author       = {Robert Colvin and
                  Ian J. Hayes and
                  David Hemer and
                  Paul A. Strooper},
  editor       = {Michael J. Oudshoorn},
  title        = {Translating Refined Logic Programs to Mercury},
  booktitle    = {Computer Science 2002, Twenty-Fifth Australasian Computer Science
                  Conference (ACSC2002), Monash University, Melbourne, Victoria, Australia,
                  January/February 2002},
  series       = {{CRPIT}},
  volume       = {4},
  pages        = {33--40},
  publisher    = {Australian Computer Society},
  year         = {2002},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV4Colvin.html},
  timestamp    = {Wed, 10 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsc/ColvinHHS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/HemerL02,
  author       = {David Hemer and
                  Peter A. Lindsay},
  editor       = {Michael J. Oudshoorn},
  title        = {Supporting Component-Based Reuse in {CARE}},
  booktitle    = {Computer Science 2002, Twenty-Fifth Australasian Computer Science
                  Conference (ACSC2002), Monash University, Melbourne, Victoria, Australia,
                  January/February 2002},
  series       = {{CRPIT}},
  volume       = {4},
  pages        = {95--104},
  publisher    = {Australian Computer Society},
  year         = {2002},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV4Hemer.html},
  timestamp    = {Wed, 10 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsc/HemerL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Hemer02,
  author       = {David Hemer},
  title        = {Computer-aided programming using formally specified design templates},
  booktitle    = {9th Asia-Pacific Software Engineering Conference {(APSEC} 2002), 4-6
                  December 2002, Gold Coast, Queensland, Australia},
  pages        = {307--316},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/APSEC.2002.1183000},
  doi          = {10.1109/APSEC.2002.1183000},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/Hemer02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ColvinHHS02,
  author       = {Robert Colvin and
                  Ian J. Hayes and
                  David Hemer and
                  Paul A. Strooper},
  editor       = {Michael Leuschel},
  title        = {Refinement of Higher-Order Logic Programs},
  booktitle    = {Logic Based Program Synthesis and Tranformation, 12th International
                  Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2664},
  pages        = {126--143},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45013-0\_11},
  doi          = {10.1007/3-540-45013-0\_11},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/ColvinHHS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HemerHSC02,
  author       = {David Hemer and
                  Ian J. Hayes and
                  Paul A. Strooper and
                  Robert Colvin},
  editor       = {James Harland},
  title        = {Don't Care Non-determinism in Logic Program Refinement},
  booktitle    = {Computing: the Australasian Theory Symposium, {CATS} 2002, Melbourne,
                  Australia},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {61},
  pages        = {101--121},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)00308-1},
  doi          = {10.1016/S1571-0661(04)00308-1},
  timestamp    = {Fri, 11 Nov 2022 16:14:30 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HemerHSC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0202002,
  author       = {Ian J. Hayes and
                  Robert Colvin and
                  David Hemer and
                  Paul A. Strooper and
                  Ray Nickson},
  title        = {A Refinement Calculus for Logic Programs},
  journal      = {CoRR},
  volume       = {cs.SE/0202002},
  year         = {2002},
  url          = {https://arxiv.org/abs/cs/0202002},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-SE-0202002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/HemerL01,
  author       = {David Hemer and
                  Peter A. Lindsay},
  title        = {Specification-Based Retrieval Strategies for Module Reuse},
  booktitle    = {13th Australian Software Engineering Conference {(ASWEC} 2001), 26-28
                  August 2001, Canberra, Australia},
  pages        = {235--243},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ASWEC.2001.948517},
  doi          = {10.1109/ASWEC.2001.948517},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aswec/HemerL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/HemerHS01,
  author       = {David Hemer and
                  Ian J. Hayes and
                  Paul A. Strooper},
  editor       = {Richard J. Boulton and
                  Paul B. Jackson},
  title        = {Refinement Calculus for Logic Programming in Isabelle/HOL},
  booktitle    = {Theorem Proving in Higher Order Logics, 14th International Conference,
                  TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2152},
  pages        = {249--264},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44755-5\_18},
  doi          = {10.1007/3-540-44755-5\_18},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/HemerHS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/au/Hemer00,
  author       = {David Hemer},
  title        = {A unified approach to adapting and retrieving formally specified components
                  for reuse},
  school       = {University of Queensland, Australia},
  year         = {2000},
  url          = {https://search.library.uq.edu.au/permalink/f/l3gdeh/61UQ\_ALMA2181063900003131},
  timestamp    = {Wed, 27 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/au/Hemer00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HemerL97,
  author       = {David Hemer and
                  Peter A. Lindsay},
  editor       = {John S. Fitzgerald and
                  Cliff B. Jones and
                  Peter Lucas},
  title        = {Reuse of Verified Design Templates Through Extended Pattern Matching},
  booktitle    = {{FME} '97: Industrial Applications and Strengthened Foundations of
                  Formal Methods, 4th International Symposium of Formal Methods Europe,
                  Graz, Austria, September 15-19, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1313},
  pages        = {495--514},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63533-5\_26},
  doi          = {10.1007/3-540-63533-5\_26},
  timestamp    = {Sun, 02 Jun 2019 21:24:32 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/HemerL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LindsayH97,
  author       = {Peter A. Lindsay and
                  David Hemer},
  title        = {Using {CARE} to Construct Verified Software},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {122--131},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630417},
  doi          = {10.1109/ICFEM.1997.630417},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/LindsayH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/LindsayH96,
  author       = {Peter A. Lindsay and
                  David Hemer},
  title        = {An Industrial-Strength Method For The Construction Of Formally Verified
                  Software},
  booktitle    = {1996 Australian Software Engineering Conference {(ASWEC} '96), July
                  14-18, 1996, Melbourne, Australia},
  pages        = {27},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/ASWEC.1996.534120},
  doi          = {10.1109/ASWEC.1996.534120},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aswec/LindsayH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics