Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: David Hemer
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.