BibTeX records: Ian J. Hayes

download as .bib file

@inproceedings{DBLP:conf/fm/HayesM18,
  author    = {Ian J. Hayes and
               Larissa A. Meinicke},
  title     = {Encoding Fairness in a Synchronous Concurrent Program Algebra},
  booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
               Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
               15-17, 2018, Proceedings},
  pages     = {222--239},
  year      = {2018},
  crossref  = {DBLP:conf/fm/2018},
  url       = {https://doi.org/10.1007/978-3-319-95582-7\_13},
  doi       = {10.1007/978-3-319-95582-7\_13},
  timestamp = {Thu, 12 Jul 2018 13:18:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/HayesM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Hayes18,
  author    = {Ian J. Hayes},
  title     = {Engineering a Theory of Concurrent Programming},
  booktitle = {Formal Methods and Software Engineering - 20th International Conference
               on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
               November 12-16, 2018, Proceedings},
  pages     = {3--18},
  year      = {2018},
  crossref  = {DBLP:conf/icfem/2018},
  url       = {https://doi.org/10.1007/978-3-030-02450-5\_1},
  doi       = {10.1007/978-3-030-02450-5\_1},
  timestamp = {Mon, 05 Nov 2018 11:04:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/Hayes18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/WuLMHM18,
  author    = {Xi Wu and
               Yi Lu and
               Patrick A. Meiring and
               Ian J. Hayes and
               Larissa A. Meinicke},
  title     = {Type Capabilities for Object-Oriented Programming Languages},
  booktitle = {Formal Methods and Software Engineering - 20th International Conference
               on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
               November 12-16, 2018, Proceedings},
  pages     = {215--230},
  year      = {2018},
  crossref  = {DBLP:conf/icfem/2018},
  url       = {https://doi.org/10.1007/978-3-030-02450-5\_13},
  doi       = {10.1007/978-3-030-02450-5\_13},
  timestamp = {Fri, 21 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/WuLMHM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-09611,
  author    = {Ian J. Hayes},
  title     = {Some Challenges of Specifying Concurrent Program Components},
  booktitle = {Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK,
               18th July 2018.},
  pages     = {10--22},
  year      = {2018},
  crossref  = {DBLP:journals/corr/abs-1810-08739},
  url       = {https://doi.org/10.4204/EPTCS.282.2},
  doi       = {10.4204/EPTCS.282.2},
  timestamp = {Tue, 04 Dec 2018 16:00:11 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1810-09611},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-01681,
  author    = {Ian J. Hayes and
               Larissa A. Meinicke},
  title     = {Encoding fairness in a synchronous concurrent program algebra: extended
               version with proofs},
  journal   = {CoRR},
  volume    = {abs/1805.01681},
  year      = {2018},
  url       = {http://arxiv.org/abs/1805.01681},
  archivePrefix = {arXiv},
  eprint    = {1805.01681},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1805-01681},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/DongolGHS17,
  author    = {Brijesh Dongol and
               Victor B. F. Gomes and
               Ian J. Hayes and
               Georg Struth},
  title     = {Partial Semigroups and Convolution Algebras},
  journal   = {Archive of Formal Proofs},
  volume    = {2017},
  year      = {2017},
  url       = {https://www.isa-afp.org/entries/PSemigroupsConvolution.shtml},
  timestamp = {Mon, 07 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/afp/DongolGHS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ColvinHM17,
  author    = {Robert J. Colvin and
               Ian J. Hayes and
               Larissa A. Meinicke},
  title     = {Designing a semantic model for a wide-spectrum language with concurrency},
  journal   = {Formal Asp. Comput.},
  volume    = {29},
  number    = {5},
  pages     = {853--875},
  year      = {2017},
  url       = {https://doi.org/10.1007/s00165-017-0416-4},
  doi       = {10.1007/s00165-017-0416-4},
  timestamp = {Thu, 21 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/ColvinHM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HayesWM17,
  author    = {Ian J. Hayes and
               Xi Wu and
               Larissa A. Meinicke},
  title     = {Capabilities for Java: Secure Access to Resources},
  booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
               2017, Suzhou, China, November 27-29, 2017, Proceedings},
  pages     = {67--84},
  year      = {2017},
  crossref  = {DBLP:conf/aplas/2017},
  url       = {https://doi.org/10.1007/978-3-319-71237-6\_4},
  doi       = {10.1007/978-3-319-71237-6\_4},
  timestamp = {Fri, 21 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/HayesWM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setss/HayesJ17,
  author    = {Ian J. Hayes and
               Cliff B. Jones},
  title     = {A Guide to Rely/Guarantee Thinking},
  booktitle = {Engineering Trustworthy Software Systems - Third International School,
               {SETSS} 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures},
  pages     = {1--38},
  year      = {2017},
  crossref  = {DBLP:conf/setss/2017},
  url       = {https://doi.org/10.1007/978-3-030-02928-9\_1},
  doi       = {10.1007/978-3-030-02928-9\_1},
  timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/setss/HayesJ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DongolHS17,
  author    = {Brijesh Dongol and
               Ian J. Hayes and
               Georg Struth},
  title     = {Relational Convolution, Generalised Modalities and Incidence Algebras},
  journal   = {CoRR},
  volume    = {abs/1702.04603},
  year      = {2017},
  url       = {http://arxiv.org/abs/1702.04603},
  archivePrefix = {arXiv},
  eprint    = {1702.04603},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/DongolHS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-03352,
  author    = {Ian J. Hayes and
               Larissa A. Meinicke and
               Kirsten Winter and
               Robert J. Colvin},
  title     = {A synchronous program algebra: a basis for reasoning about shared-memory
               and event-based concurrency},
  journal   = {CoRR},
  volume    = {abs/1710.03352},
  year      = {2017},
  url       = {http://arxiv.org/abs/1710.03352},
  archivePrefix = {arXiv},
  eprint    = {1710.03352},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1710-03352},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/FellHV16,
  author    = {Julian Fell and
               Ian J. Hayes and
               Andrius Velykis},
  title     = {Concurrent Refinement Algebra and Rely Quotients},
  journal   = {Archive of Formal Proofs},
  volume    = {2016},
  year      = {2016},
  url       = {https://www.isa-afp.org/entries/Concurrent\_Ref\_Alg.shtml},
  timestamp = {Mon, 07 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/afp/FellHV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Hayes16,
  author    = {Ian J. Hayes},
  title     = {Generalised rely-guarantee concurrency: an algebraic foundation},
  journal   = {Formal Asp. Comput.},
  volume    = {28},
  number    = {6},
  pages     = {1057--1078},
  year      = {2016},
  url       = {https://doi.org/10.1007/s00165-016-0384-0},
  doi       = {10.1007/s00165-016-0384-0},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/Hayes16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JonesH16,
  author    = {Cliff B. Jones and
               Ian J. Hayes},
  title     = {Possible values: Exploring a concept for concurrency},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {85},
  number    = {5},
  pages     = {972--984},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.jlamp.2016.01.002},
  doi       = {10.1016/j.jlamp.2016.01.002},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/JonesH16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/DongolHS16,
  author    = {Brijesh Dongol and
               Ian J. Hayes and
               Georg Struth},
  title     = {Convolution as a Unifying Concept: Applications in Separation Logic,
               Interval Calculi, and Concurrency},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {17},
  number    = {3},
  pages     = {15:1--15:25},
  year      = {2016},
  url       = {https://doi.org/10.1145/2874773},
  doi       = {10.1145/2874773},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tocl/DongolHS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HayesCMWV16,
  author    = {Ian J. Hayes and
               Robert J. Colvin and
               Larissa A. Meinicke and
               Kirsten Winter and
               Andrius Velykis},
  title     = {An Algebra of Synchronous Atomic Steps},
  booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
               Cyprus, November 9-11, 2016, Proceedings},
  pages     = {352--369},
  year      = {2016},
  crossref  = {DBLP:conf/fm/2016},
  url       = {https://doi.org/10.1007/978-3-319-48989-6\_22},
  doi       = {10.1007/978-3-319-48989-6\_22},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/HayesCMWV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JonesH16,
  author    = {Cliff B. Jones and
               Ian J. Hayes},
  title     = {Possible values: exploring a concept for concurrency},
  journal   = {CoRR},
  volume    = {abs/1601.02132},
  year      = {2016},
  url       = {http://arxiv.org/abs/1601.02132},
  archivePrefix = {arXiv},
  eprint    = {1601.02132},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/JonesH16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Hayes16a,
  author    = {Ian J. Hayes},
  title     = {Generalised rely-guarantee concurrency: An algebraic foundation},
  journal   = {CoRR},
  volume    = {abs/1603.01776},
  year      = {2016},
  url       = {http://arxiv.org/abs/1603.01776},
  archivePrefix = {arXiv},
  eprint    = {1603.01776},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Hayes16a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HayesCMWV16,
  author    = {Ian J. Hayes and
               Robert Colvin and
               Larissa Meinicke and
               Kirsten Winter and
               Andrius Velykis},
  title     = {An algebra of synchronous atomic steps},
  journal   = {CoRR},
  volume    = {abs/1609.00118},
  year      = {2016},
  url       = {http://arxiv.org/abs/1609.00118},
  archivePrefix = {arXiv},
  eprint    = {1609.00118},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/HayesCMWV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ColvinHM16,
  author    = {Robert J. Colvin and
               Ian J. Hayes and
               Larissa A. Meinicke},
  title     = {Designing a semantic model for a wide-spectrum language with concurrency},
  journal   = {CoRR},
  volume    = {abs/1609.00195},
  year      = {2016},
  url       = {http://arxiv.org/abs/1609.00195},
  archivePrefix = {arXiv},
  eprint    = {1609.00195},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/ColvinHM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/JonesHC15,
  author    = {Cliff B. Jones and
               Ian J. Hayes and
               Robert J. Colvin},
  title     = {Balancing expressiveness in formal approaches to concurrency},
  journal   = {Formal Asp. Comput.},
  volume    = {27},
  number    = {3},
  pages     = {475--497},
  year      = {2015},
  url       = {https://doi.org/10.1007/s00165-014-0310-2},
  doi       = {10.1007/s00165-014-0310-2},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/JonesHC15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DongolHR14,
  author    = {Brijesh Dongol and
               Ian J. Hayes and
               Peter J. Robinson},
  title     = {Reasoning about goal-directed real-time teleo-reactive programs},
  journal   = {Formal Asp. Comput.},
  volume    = {26},
  number    = {3},
  pages     = {563--589},
  year      = {2014},
  url       = {https://doi.org/10.1007/s00165-012-0272-1},
  doi       = {10.1007/s00165-012-0272-1},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/DongolHR14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DongolHD14,
  author    = {Brijesh Dongol and
               Ian J. Hayes and
               John Derrick},
  title     = {Deriving real-time action systems with multiple time bands using algebraic
               reasoning},
  journal   = {Sci. Comput. Program.},
  volume    = {85},
  pages     = {137--165},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.scico.2013.08.009},
  doi       = {10.1016/j.scico.2013.08.009},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/DongolHD14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HayesM14,
  author    = {Ian J. Hayes and
               Larissa Meinicke},
  title     = {Invariants, Well-Founded Statements and Real-Time Program Algebra},
  booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
               May 12-16, 2014. Proceedings},
  pages     = {318--334},
  year      = {2014},
  crossref  = {DBLP:conf/fm/2014},
  url       = {https://doi.org/10.1007/978-3-319-06410-9\_23},
  doi       = {10.1007/978-3-319-06410-9\_23},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/HayesM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DongolHS14,
  author    = {Brijesh Dongol and
               Ian J. Hayes and
               Georg Struth},
  title     = {Convolution, Separation and Concurrency},
  journal   = {CoRR},
  volume    = {abs/1410.4235},
  year      = {2014},
  url       = {http://arxiv.org/abs/1410.4235},
  archivePrefix = {arXiv},
  eprint    = {1410.4235},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/DongolHS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HayesBDJ13,
  author    = {Ian J. Hayes and
               Alan Burns and
               Brijesh Dongol and
               Cliff B. Jones},
  title     = {Comparing Degrees of Non-Determinism in Expression Evaluation},
  journal   = {Comput. J.},
  volume    = {56},
  number    = {6},
  pages     = {741--755},
  year      = {2013},
  url       = {https://doi.org/10.1093/comjnl/bxt005},
  doi       = {10.1093/comjnl/bxt005},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cj/HayesBDJ13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DongolH13,
  author    = {Brijesh Dongol and
               Ian J. Hayes},
  title     = {Deriving real-time action systems in a sampling logic},
  journal   = {Sci. Comput. Program.},
  volume    = {78},
  number    = {11},
  pages     = {2047--2063},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.scico.2012.07.008},
  doi       = {10.1016/j.scico.2012.07.008},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/DongolH13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HayesDM13,
  author    = {Ian J. Hayes and
               Steve Dunne and
               Larissa Meinicke},
  title     = {Linking Unifying Theories of Program refinement},
  journal   = {Sci. Comput. Program.},
  volume    = {78},
  number    = {11},
  pages     = {2086--2107},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.scico.2012.07.010},
  doi       = {10.1016/j.scico.2012.07.010},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/HayesDM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/Hayes13,
  author    = {Ian J. Hayes},
  title     = {Towards Structuring System Specifications with Time Bands Using Layers
               of Rely-Guarantee Conditions},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  pages     = {1--2},
  year      = {2013},
  crossref  = {DBLP:conf/ftscs/2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_1},
  doi       = {10.1007/978-3-319-05416-2\_1},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftscs/Hayes13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/WinterZHKCL13,
  author    = {Kirsten Winter and
               Chenyi Zhang and
               Ian J. Hayes and
               Nathan Keynes and
               Cristina Cifuentes and
               Lian Li},
  title     = {Path-Sensitive Data Flow Analysis Simplified},
  booktitle = {Formal Methods and Software Engineering - 15th International Conference
               on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
               October 29 - November 1, 2013, Proceedings},
  pages     = {415--430},
  year      = {2013},
  crossref  = {DBLP:conf/icfem/2013},
  url       = {https://doi.org/10.1007/978-3-642-41202-8\_27},
  doi       = {10.1007/978-3-642-41202-8\_27},
  timestamp = {Sun, 04 Jun 2017 10:07:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/WinterZHKCL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissoft/BradleyH13,
  author    = {Daniel R. Bradley and
               Ian J. Hayes},
  title     = {Visuocode: {A} software development environment that supports spatial
               navigation and composition},
  booktitle = {2013 First {IEEE} Working Conference on Software Visualization (VISSOFT),
               Eindhoven, The Netherlands, September 27-28, 2013},
  pages     = {1--4},
  year      = {2013},
  crossref  = {DBLP:conf/vissoft/2013},
  url       = {https://doi.org/10.1109/VISSOFT.2013.6650533},
  doi       = {10.1109/VISSOFT.2013.6650533},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vissoft/BradleyH13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/DongolDH12,
  author    = {Brijesh Dongol and
               John Derrick and
               Ian J. Hayes},
  title     = {Fractional Permissions and Non-Deterministic Evaluators in Interval
               Temporal Logic},
  journal   = {{ECEASST}},
  volume    = {53},
  year      = {2012},
  url       = {https://doi.org/10.14279/tuj.eceasst.53.792},
  doi       = {10.14279/tuj.eceasst.53.792},
  timestamp = {Wed, 12 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/eceasst/DongolDH12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DongolHMS12,
  author    = {Brijesh Dongol and
               Ian J. Hayes and
               Larissa Meinicke and
               Kim Solin},
  title     = {Towards an Algebra for Real-Time Programs},
  booktitle = {Relational and Algebraic Methods in Computer Science - 13th International
               Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings},
  pages     = {50--65},
  year      = {2012},
  crossref  = {DBLP:conf/RelMiCS/2012},
  url       = {https://doi.org/10.1007/978-3-642-33314-9\_4},
  doi       = {10.1007/978-3-642-33314-9\_4},
  timestamp = {Mon, 29 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/RelMiCS/DongolHMS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/HayesC12,
  author    = {Ian J. Hayes and
               Robert Colvin},
  title     = {Integrated Operational Semantics: Small-Step, Big-Step and Multi-step},
  booktitle = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International
               Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
  pages     = {21--35},
  year      = {2012},
  crossref  = {DBLP:conf/asm/2012},
  url       = {https://doi.org/10.1007/978-3-642-30885-7\_2},
  doi       = {10.1007/978-3-642-30885-7\_2},
  timestamp = {Thu, 01 Jun 2017 18:58:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/HayesC12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DongolH12,
  author    = {Brijesh Dongol and
               Ian J. Hayes},
  title     = {Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple
               Time Bands},
  booktitle = {Integrated Formal Methods - 9th International Conference, {IFM} 2012,
               Pisa, Italy, June 18-21, 2012. Proceedings},
  pages     = {39--53},
  year      = {2012},
  crossref  = {DBLP:conf/ifm/2012},
  url       = {https://doi.org/10.1007/978-3-642-30729-4\_4},
  doi       = {10.1007/978-3-642-30729-4\_4},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/DongolH12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/DongolH12,
  author    = {Brijesh Dongol and
               Ian J. Hayes},
  title     = {Deriving Real-Time Action Systems Controllers from Multiscale System
               Specifications},
  booktitle = {Mathematics of Program Construction - 11th International Conference,
               {MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
  pages     = {102--131},
  year      = {2012},
  crossref  = {DBLP:conf/mpc/2012},
  url       = {https://doi.org/10.1007/978-3-642-31113-0\_7},
  doi       = {10.1007/978-3-642-31113-0\_7},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/DongolH12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/DongolH11,
  author    = {Brijesh Dongol and
               Ian J. Hayes},
  title     = {Approximating Idealised Real-Time Specifications Using Time Bands},
  journal   = {{ECEASST}},
  volume    = {46},
  year      = {2011},
  url       = {https://doi.org/10.14279/tuj.eceasst.46.684},
  doi       = {10.14279/tuj.eceasst.46.684},
  timestamp = {Wed, 12 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/eceasst/DongolH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ColvinH11,
  author    = {Robert Colvin and
               Ian J. Hayes},
  title     = {Structural operational semantics through context-dependent behaviour},
  journal   = {J. Log. Algebr. Program.},
  volume    = {80},
  number    = {7},
  pages     = {392--426},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.jlap.2011.05.001},
  doi       = {10.1016/j.jlap.2011.05.001},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/ColvinH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ColvinH11,
  author    = {Robert Colvin and
               Ian J. Hayes},
  title     = {A semantics for Behavior Trees using {CSP} with specification commands},
  journal   = {Sci. Comput. Program.},
  volume    = {76},
  number    = {10},
  pages     = {891--914},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.scico.2010.11.007},
  doi       = {10.1016/j.scico.2010.11.007},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/ColvinH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/EscottSKH11,
  author    = {Eban Escott and
               Paul A. Strooper and
               Paul King and
               Ian J. Hayes},
  title     = {Model-Driven Web Form Validation with {UML} and {OCL}},
  booktitle = {Current Trends in Web Engineering - Workshops, Doctoral Symposium,
               and Tutorials, Held at {ICWE} 2011, Paphos, Cyprus, June 20-21, 2011.
               Revised Selected Papers},
  pages     = {223--235},
  year      = {2011},
  crossref  = {DBLP:conf/icwe/2011w},
  url       = {https://doi.org/10.1007/978-3-642-27997-3\_23},
  doi       = {10.1007/978-3-642-27997-3\_23},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icwe/EscottSKH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/BurnsH10,
  author    = {Alan Burns and
               Ian J. Hayes},
  title     = {A timeband framework for modelling real-time systems},
  journal   = {Real-Time Systems},
  volume    = {45},
  number    = {1-2},
  pages     = {106--142},
  year      = {2010},
  url       = {https://doi.org/10.1007/s11241-010-9094-5},
  doi       = {10.1007/s11241-010-9094-5},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/rts/BurnsH10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Hayes10,
  author    = {Ian J. Hayes},
  title     = {Invariants and Well-Foundedness in Program Algebra},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International
               Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010.
               Proceedings},
  pages     = {1--14},
  year      = {2010},
  crossref  = {DBLP:conf/ictac/2010},
  url       = {https://doi.org/10.1007/978-3-642-14808-8\_1},
  doi       = {10.1007/978-3-642-14808-8\_1},
  timestamp = {Thu, 15 Jun 2017 21:43:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/Hayes10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/DongolH10,
  author    = {Brijesh Dongol and
               Ian J. Hayes},
  title     = {Compositional Action System Derivation Using Enforced Properties},
  booktitle = {Mathematics of Program Construction, 10th International Conference,
               {MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
  pages     = {119--139},
  year      = {2010},
  crossref  = {DBLP:conf/mpc/2010},
  url       = {https://doi.org/10.1007/978-3-642-13321-3\_9},
  doi       = {10.1007/978-3-642-13321-3\_9},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/DongolH10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/HayesDM10,
  author    = {Ian J. Hayes and
               Steve Dunne and
               Larissa Meinicke},
  title     = {Unifying Theories of Programming That Distinguish Nontermination and
               Abort},
  booktitle = {Mathematics of Program Construction, 10th International Conference,
               {MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
  pages     = {178--194},
  year      = {2010},
  crossref  = {DBLP:conf/mpc/2010},
  url       = {https://doi.org/10.1007/978-3-642-13321-3\_12},
  doi       = {10.1007/978-3-642-13321-3\_12},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/HayesDM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/WinterHC10,
  author    = {Kirsten Winter and
               Ian J. Hayes and
               Robert Colvin},
  title     = {Integrating Requirements: The Behavior Tree Philosophy},
  booktitle = {8th {IEEE} International Conference on Software Engineering and Formal
               Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages     = {41--50},
  year      = {2010},
  crossref  = {DBLP:conf/sefm/2010},
  url       = {https://doi.org/10.1109/SEFM.2010.13},
  doi       = {10.1109/SEFM.2010.13},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/WinterHC10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/DongolH09,
  author    = {Brijesh Dongol and
               Ian J. Hayes},
  title     = {Enforcing Safety and Progress Properties: An Approach to Concurrent
               Program Derivation},
  booktitle = {20th Australian Software Engineering Conference {(ASWEC} 2009), 14-17
               April 2009, Gold Cost, Australia},
  pages     = {3--12},
  year      = {2009},
  crossref  = {DBLP:conf/aswec/2009},
  url       = {https://doi.org/10.1109/ASWEC.2009.12},
  doi       = {10.1109/ASWEC.2009.12},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aswec/DongolH09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ColvinH09,
  author    = {Robert Colvin and
               Ian J. Hayes},
  title     = {{CSP} with Hierarchical State},
  booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
               D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
  pages     = {118--135},
  year      = {2009},
  crossref  = {DBLP:conf/ifm/2009},
  url       = {https://doi.org/10.1007/978-3-642-00255-7\_9},
  doi       = {10.1007/978-3-642-00255-7\_9},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/ColvinH09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Hayes09,
  author    = {Ian J. Hayes},
  title     = {Dynamically Detecting Faults via Integrity Constraints},
  booktitle = {Methods, Models and Tools for Fault Tolerance},
  pages     = {85--103},
  year      = {2009},
  crossref  = {DBLP:series/lncs/5454},
  url       = {https://doi.org/10.1007/978-3-642-00867-2\_5},
  doi       = {10.1007/978-3-642-00867-2\_5},
  timestamp = {Thu, 22 Feb 2018 18:20:56 +0100},
  biburl    = {https://dblp.org/rec/bib/series/lncs/Hayes09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/MeinickeH08,
  author    = {Larissa Meinicke and
               Ian J. Hayes},
  title     = {Algebraic reasoning for probabilistic action systems and while-loops},
  journal   = {Acta Inf.},
  volume    = {45},
  number    = {5},
  pages     = {321--382},
  year      = {2008},
  url       = {https://doi.org/10.1007/s00236-008-0073-4},
  doi       = {10.1007/s00236-008-0073-4},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/acta/MeinickeH08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ColvinHS08,
  author    = {Robert Colvin and
               Ian J. Hayes and
               Paul A. Strooper},
  title     = {Calculating modules in contextual logic program refinement},
  journal   = {{TPLP}},
  volume    = {8},
  number    = {1},
  pages     = {1--31},
  year      = {2008},
  url       = {https://doi.org/10.1017/S1471068407003043},
  doi       = {10.1017/S1471068407003043},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/ColvinHS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MeinickeH08,
  author    = {Larissa Meinicke and
               Ian J. Hayes},
  title     = {Probabilistic Choice in Refinement Algebra},
  booktitle = {Mathematics of Program Construction, 9th International Conference,
               {MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
  pages     = {243--267},
  year      = {2008},
  crossref  = {DBLP:conf/mpc/2008},
  url       = {https://doi.org/10.1007/978-3-540-70594-9\_14},
  doi       = {10.1007/978-3-540-70594-9\_14},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/MeinickeH08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/Hayes08,
  author    = {Ian J. Hayes},
  title     = {Towards reasoning about teleo-reactive programs for robust real-time
               systems},
  booktitle = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
               Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
               17-19, 2008},
  pages     = {87--94},
  year      = {2008},
  crossref  = {DBLP:conf/serene/2008},
  url       = {https://doi.org/10.1145/1479772.1479789},
  doi       = {10.1145/1479772.1479789},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/serene/Hayes08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/utp/DunneHG08,
  author    = {Steve Dunne and
               Ian J. Hayes and
               Andy Galloway},
  title     = {Reasoning about Loops in Total and General Correctness},
  booktitle = {Unifying Theories of Programming, Second International Symposium,
               {UTP} 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected
               Papers},
  pages     = {62--81},
  year      = {2008},
  crossref  = {DBLP:conf/utp/2008},
  url       = {https://doi.org/10.1007/978-3-642-14521-6\_5},
  doi       = {10.1007/978-3-642-14521-6\_5},
  timestamp = {Mon, 05 Jun 2017 12:41:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/utp/DunneHG08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Hayes07,
  author    = {Ian J. Hayes},
  title     = {Procedures and parameters in the real-time program refinement calculus},
  journal   = {Sci. Comput. Program.},
  volume    = {64},
  number    = {3},
  pages     = {286--311},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.scico.2006.06.002},
  doi       = {10.1016/j.scico.2006.06.002},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/Hayes07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JonesHJ07,
  author    = {Cliff B. Jones and
               Ian J. Hayes and
               Michael A. Jackson},
  title     = {Deriving Specifications for Systems That Are Connected to the Physical
               World},
  booktitle = {Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines
               Bj{\o}rner and Chaochen Zhou on the Occasion of Their 70th Birthdays,
               Papers presented at a Symposium held in Macao, China, September 24-25,
               2007},
  pages     = {364--390},
  year      = {2007},
  crossref  = {DBLP:conf/birthday/2007bz},
  url       = {https://doi.org/10.1007/978-3-540-75221-9\_16},
  doi       = {10.1007/978-3-540-75221-9\_16},
  timestamp = {Mon, 05 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/JonesHJ07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/MeinickeH06,
  author    = {Larissa Meinicke and
               Ian J. Hayes},
  title     = {Reasoning Algebraically About Probabilistic Loops},
  booktitle = {Formal Methods and Software Engineering, 8th International Conference
               on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
               1-3, 2006, Proceedings},
  pages     = {380--399},
  year      = {2006},
  crossref  = {DBLP:conf/icfem/2006},
  url       = {https://doi.org/10.1007/11901433\_21},
  doi       = {10.1007/11901433\_21},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/MeinickeH06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MeinickeH06,
  author    = {Larissa Meinicke and
               Ian J. Hayes},
  title     = {Continuous Action System Refinement},
  booktitle = {Mathematics of Program Construction, 8th International Conference,
               {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  pages     = {316--337},
  year      = {2006},
  crossref  = {DBLP:conf/mpc/2006},
  url       = {https://doi.org/10.1007/11783596\_19},
  doi       = {10.1007/11783596\_19},
  timestamp = {Sun, 04 Jun 2017 10:07:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/MeinickeH06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/utp/Hayes06,
  author    = {Ian J. Hayes},
  title     = {Termination of Real-Time Programs: Definitely, Definitely Not, or
               Maybe},
  booktitle = {Unifying Theories of Programming, First International Symposium, {UTP}
               2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised
               Selected Papers},
  pages     = {141--154},
  year      = {2006},
  crossref  = {DBLP:conf/utp/2006},
  url       = {https://doi.org/10.1007/11768173\_9},
  doi       = {10.1007/11768173\_9},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/utp/Hayes06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0608110,
  author    = {Robert Colvin and
               Ian J. Hayes and
               Paul A. Strooper},
  title     = {Calculating modules in contextual logic program refinement},
  journal   = {CoRR},
  volume    = {abs/cs/0608110},
  year      = {2006},
  url       = {http://arxiv.org/abs/cs/0608110},
  archivePrefix = {arXiv},
  eprint    = {cs/0608110},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-cs-0608110},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LermerFH05,
  author    = {Karl Lermer and
               Colin J. Fidge and
               Ian J. Hayes},
  title     = {A theory for execution-time derivation in real-time programs},
  journal   = {Theor. Comput. Sci.},
  volume    = {346},
  number    = {1},
  pages     = {3--27},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2005.08.003},
  doi       = {10.1016/j.tcs.2005.08.003},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/LermerFH05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/GlynnHM05,
  author    = {Erica Glynn and
               Ian J. Hayes and
               Anthony MacDonald},
  title     = {Integration of generic program analysis tools into a software development
               environment},
  booktitle = {Computer Science 2005, Twenty-Eighth Australasian Computer Science
               Conference (ACSC2005), Newcastle, NSW, Australia, January/February
               2005},
  pages     = {249--258},
  year      = {2005},
  crossref  = {DBLP:conf/acsc/2005},
  url       = {http://crpit.com/confpapers/CRPITV38Glynn.pdf},
  timestamp = {Fri, 22 Apr 2005 12:15:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acsc/GlynnHM05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2005,
  editor    = {John S. Fitzgerald and
               Ian J. Hayes and
               Andrzej Tarlecki},
  title     = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
               Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3582},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b27882},
  doi       = {10.1007/b27882},
  isbn      = {3-540-27882-6},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/Hayes04,
  author    = {Ian J. Hayes},
  title     = {Towards Platform-Independent Real-Time Systems},
  booktitle = {15th Australian Software Engineering Conference {(ASWEC} 2004), 13-16
               April 2004, Melbourne, Australia},
  pages     = {192--201},
  year      = {2004},
  crossref  = {DBLP:conf/aswec/2004},
  url       = {https://doi.org/10.1109/ASWEC.2004.1290472},
  doi       = {10.1109/ASWEC.2004.1290472},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aswec/Hayes04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SmithWHDLC04,
  author    = {Cameron Smith and
               Kirsten Winter and
               Ian J. Hayes and
               R. Geoff Dromey and
               Peter A. Lindsay and
               David A. Carrington},
  title     = {An Environment for Building a System out of its Requirements},
  booktitle = {19th {IEEE} International Conference on Automated Software Engineering
               {(ASE} 2004), 20-25 September 2004, Linz, Austria},
  pages     = {398--399},
  year      = {2004},
  crossref  = {DBLP:conf/kbse/2004},
  url       = {http://doi.ieeecomputersociety.org/10.1109/ASE.2004.10053},
  doi       = {10.1109/ASE.2004.10053},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/SmithWHDLC04},
  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},
  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},
  pages     = {66--89},
  year      = {2004},
  crossref  = {DBLP:conf/lopstr/2004lncs},
  url       = {https://doi.org/10.1007/978-3-540-25951-0\_3},
  doi       = {10.1007/978-3-540-25951-0\_3},
  timestamp = {Thu, 23 Nov 2017 17:01:34 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/ColvinGHHNS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/LermerFH03,
  author    = {Karl Lermer and
               Colin J. Fidge and
               Ian J. Hayes},
  title     = {Formal Semantics for Program Paths},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {78},
  pages     = {58--81},
  year      = {2003},
  url       = {https://doi.org/10.1016/S1571-0661(04)81006-5},
  doi       = {10.1016/S1571-0661(04)81006-5},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/LermerFH03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LermerFH03,
  author    = {Karl Lermer and
               Colin J. Fidge and
               Ian J. Hayes},
  title     = {Linear Approximation of Execution-Time Constraints},
  journal   = {Formal Asp. Comput.},
  volume    = {15},
  number    = {4},
  pages     = {319--348},
  year      = {2003},
  url       = {https://doi.org/10.1007/s00165-003-0019-0},
  doi       = {10.1007/s00165-003-0019-0},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/LermerFH03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HayesJJ03,
  author    = {Ian J. Hayes and
               Michael A. Jackson and
               Cliff B. Jones},
  title     = {Determining the Specification of a Control System from That of Its
               Environment},
  booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
               Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
  pages     = {154--169},
  year      = {2003},
  crossref  = {DBLP:conf/fm/2003},
  url       = {https://doi.org/10.1007/978-3-540-45236-2\_10},
  doi       = {10.1007/978-3-540-45236-2\_10},
  timestamp = {Mon, 05 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fm/HayesJJ03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Hayes03,
  author    = {Ian J. Hayes},
  title     = {Programs as Paths: An Approach to Timing Constraint Analysis},
  booktitle = {Formal Methods and Software Engineering, 5th International Conference
               on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
               2003, Proceedings},
  pages     = {1--15},
  year      = {2003},
  crossref  = {DBLP:conf/icfem/2003},
  url       = {https://doi.org/10.1007/978-3-540-39893-6\_1},
  doi       = {10.1007/978-3-540-39893-6\_1},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/Hayes03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/PeukerH03,
  author    = {Sibylle Peuker and
               Ian J. Hayes},
  title     = {Reasoning about Deadlines in Concurrent Real-Time Programs},
  booktitle = {17th International Parallel and Distributed Processing Symposium {(IPDPS}
               2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings},
  pages     = {237},
  year      = {2003},
  crossref  = {DBLP:conf/ipps/2003},
  url       = {https://doi.org/10.1109/IPDPS.2003.1213430},
  doi       = {10.1109/IPDPS.2003.1213430},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/PeukerH03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/HemerHSC02,
  author    = {David Hemer and
               Ian J. Hayes and
               Paul A. Strooper and
               Robert Colvin},
  title     = {Don't Care Non-determinism in Logic Program Refinement},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {61},
  pages     = {101--121},
  year      = {2002},
  url       = {https://doi.org/10.1016/S1571-0661(04)00308-1},
  doi       = {10.1016/S1571-0661(04)00308-1},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/HemerHSC02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SmithH02,
  author    = {Graeme Smith and
               Ian J. Hayes},
  title     = {An Introduction to Real-Time Object-Z},
  journal   = {Formal Asp. Comput.},
  volume    = {13},
  number    = {2},
  pages     = {128--141},
  year      = {2002},
  url       = {https://doi.org/10.1007/s001650200003},
  doi       = {10.1007/s001650200003},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/SmithH02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Hayes02,
  author    = {Ian J. Hayes},
  title     = {Reasoning about real-time repetitions: terminating and nonterminating},
  journal   = {Sci. Comput. Program.},
  volume    = {43},
  number    = {2-3},
  pages     = {161--192},
  year      = {2002},
  url       = {https://doi.org/10.1016/S0167-6423(02)00024-2},
  doi       = {10.1016/S0167-6423(02)00024-2},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/Hayes02},
  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   = {{TPLP}},
  volume    = {2},
  number    = {4-5},
  pages     = {425--460},
  year      = {2002},
  url       = {https://doi.org/10.1017/S1471068402001448},
  doi       = {10.1017/S1471068402001448},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/HayesCHSN02},
  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},
  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},
  pages     = {33--40},
  year      = {2002},
  crossref  = {DBLP:conf/acsc/2002},
  url       = {http://crpit.com/confpapers/CRPITV4Colvin.pdf},
  timestamp = {Thu, 21 Jun 2018 07:14:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acsc/ColvinHHS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Hayes02,
  author    = {Ian J. Hayes},
  title     = {The Real-Time Refinement Calculus: {A} Foundation for Machine-Independent
               Real-Time Programming},
  booktitle = {Applications and Theory of Petri Nets 2002, 23rd International Conference,
               {ICATPN} 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
  pages     = {44--58},
  year      = {2002},
  crossref  = {DBLP:conf/apn/2002},
  url       = {https://doi.org/10.1007/3-540-48068-4\_3},
  doi       = {10.1007/3-540-48068-4\_3},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/Hayes02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ShieldH02,
  author    = {Jamie Shield and
               Ian J. Hayes},
  title     = {Refining Object-Oriented Invariants and Dynamic Constraints},
  booktitle = {9th Asia-Pacific Software Engineering Conference {(APSEC} 2002), 4-6
               December 2002, Gold Coast, Queensland, Australia},
  pages     = {52},
  year      = {2002},
  crossref  = {DBLP:conf/apsec/2002},
  url       = {https://doi.org/10.1109/APSEC.2002.1182975},
  doi       = {10.1109/APSEC.2002.1182975},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/ShieldH02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/PeukerH02,
  author    = {Sibylle Peuker and
               Ian J. Hayes},
  title     = {Towards a Refinement Calculus for Concurrent Real-Time Programs},
  booktitle = {Formal Methods and Software Engineering, 4th International Conference
               on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October
               21-25, 2002, Proceedings},
  pages     = {335--346},
  year      = {2002},
  crossref  = {DBLP:conf/icfem/2002},
  url       = {https://doi.org/10.1007/3-540-36103-0\_35},
  doi       = {10.1007/3-540-36103-0\_35},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/PeukerH02},
  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},
  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},
  pages     = {126--143},
  year      = {2002},
  crossref  = {DBLP:conf/lopstr/2002},
  url       = {https://doi.org/10.1007/3-540-45013-0\_11},
  doi       = {10.1007/3-540-45013-0\_11},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/ColvinHHS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hayes02,
  author    = {Ian J. Hayes},
  title     = {Reasoning about Timeouts},
  booktitle = {Mathematics of Program Construction, 6th International Conference,
               {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  pages     = {94--116},
  year      = {2002},
  crossref  = {DBLP:conf/mpc/2002},
  url       = {https://doi.org/10.1007/3-540-45442-X\_7},
  doi       = {10.1007/3-540-45442-X\_7},
  timestamp = {Thu, 15 Jun 2017 21:38:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/Hayes02},
  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       = {http://arxiv.org/abs/cs.SE/0202002},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/cs-SE-0202002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HayesU01,
  author    = {Ian J. Hayes and
               Mark Utting},
  title     = {A sequential real-time refinement calculus},
  journal   = {Acta Inf.},
  volume    = {37},
  number    = {6},
  pages     = {385--448},
  year      = {2001},
  url       = {https://doi.org/10.1007/PL00013311},
  doi       = {10.1007/PL00013311},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/acta/HayesU01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HayesFL01,
  author    = {Ian J. Hayes and
               Colin J. Fidge and
               Karl Lermer},
  title     = {Semantic characterisation of dead control-flow paths},
  journal   = {{IEE} Proceedings - Software},
  volume    = {148},
  number    = {6},
  pages     = {175--186},
  year      = {2001},
  url       = {https://doi.org/10.1049/ip-sen:20010834},
  doi       = {10.1049/ip-sen:20010834},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iee/HayesFL01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ShieldHC01,
  author    = {Jamie Shield and
               Ian J. Hayes and
               David A. Carrington},
  title     = {Using Theory Interpretation to Mechanise the Reals in a Theorem Prover},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {42},
  pages     = {266--281},
  year      = {2001},
  url       = {https://doi.org/10.1016/S1571-0661(04)80890-9},
  doi       = {10.1016/S1571-0661(04)80890-9},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/ShieldHC01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/HemerHS01,
  author    = {David Hemer and
               Ian J. Hayes and
               Paul A. Strooper},
  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},
  pages     = {249--264},
  year      = {2001},
  crossref  = {DBLP:conf/tphol/2001},
  url       = {https://doi.org/10.1007/3-540-44755-5\_18},
  doi       = {10.1007/3-540-44755-5\_18},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tphol/HemerHS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/ColvinHS00,
  author    = {Robert Colvin and
               Ian J. Hayes and
               Paul A. Strooper},
  title     = {Refining Logic Programs Using Types},
  booktitle = {23rd Australasian Computer Science Conference {(ACSC} 2000), 31 January
               - 3 February 2000, Canberra, Australia},
  pages     = {43--50},
  year      = {2000},
  crossref  = {DBLP:conf/acsc/2000},
  url       = {https://doi.org/10.1109/ACSC.2000.824379},
  doi       = {10.1109/ACSC.2000.824379},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acsc/ColvinHS00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Hayes00,
  author    = {Ian J. Hayes},
  title     = {Reasoning about real-time programs using idle-invariant assertions},
  booktitle = {7th Asia-Pacific Software Engineering Conference {(APSEC} 2000), 5-8
               December 2000, Singapore},
  pages     = {16--23},
  year      = {2000},
  crossref  = {DBLP:conf/apsec/2000},
  url       = {https://doi.org/10.1109/APSEC.2000.896678},
  doi       = {10.1109/APSEC.2000.896678},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/Hayes00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Hayes00,
  author    = {Ian J. Hayes},
  title     = {Real-Time Program Refinement Using Auxiliary Variables},
  booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
               Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  pages     = {170--184},
  year      = {2000},
  crossref  = {DBLP:conf/ftrtft/2000},
  url       = {https://doi.org/10.1007/3-540-45352-0\_15},
  doi       = {10.1007/3-540-45352-0\_15},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftrtft/Hayes00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SmithH00,
  author    = {Graeme Smith and
               Ian J. Hayes},
  title     = {Structuring Real-Time Object-Z Specifications},
  booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
               2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
  pages     = {97--115},
  year      = {2000},
  crossref  = {DBLP:conf/ifm/2000},
  url       = {https://doi.org/10.1007/3-540-40911-4\_7},
  doi       = {10.1007/3-540-40911-4\_7},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/SmithH00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ColvinHS00,
  author    = {Robert Colvin and
               Ian J. Hayes and
               Paul A. Strooper},
  title     = {Modular Logic Program Refinement},
  booktitle = {Extended Abstracts of the 10th International Workshop on Logic-based
               Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July
               24-28, 2000.},
  year      = {2000},
  crossref  = {DBLP:conf/lopstr/2000ext},
  url       = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-colvin.ps.Z},
  timestamp = {Tue, 11 Feb 2014 17:45:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/ColvinHS00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ColvinHS00a,
  author    = {Robert Colvin and
               Ian J. Hayes and
               Paul A. Strooper},
  title     = {A Technique for Modular Logic Program Refinement},
  booktitle = {Logic Based Program Synthesis and Transformation, 10th International
               Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers.},
  pages     = {38--56},
  year      = {2000},
  crossref  = {DBLP:conf/lopstr/2000},
  url       = {https://doi.org/10.1007/3-540-45142-0\_3},
  doi       = {10.1007/3-540-45142-0\_3},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/ColvinHS00a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hayes00,
  author    = {Ian J. Hayes},
  title     = {Reasoning about Non-terminating Loops Using Deadline Commands},
  booktitle = {Mathematics of Program Construction, 5th International Conference,
               {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  pages     = {60--79},
  year      = {2000},
  crossref  = {DBLP:conf/mpc/2000},
  url       = {https://doi.org/10.1007/10722010\_5},
  doi       = {10.1007/10722010\_5},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/Hayes00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/FidgeHW99,
  author    = {Colin J. Fidge and
               Ian J. Hayes and
               Geoffrey Watson},
  title     = {The deadline command},
  journal   = {{IEE} Proceedings - Software},
  volume    = {146},
  number    = {2},
  pages     = {104--111},
  year      = {1999},
  url       = {https://doi.org/10.1049/ip-sen:19990407},
  doi       = {10.1049/ip-sen:19990407},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iee/FidgeHW99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SmithH99,
  author    = {Graeme Smith and
               Ian J. Hayes},
  title     = {Towards Real-Time Object-Z},
  booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference
               on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages     = {49--65},
  year      = {1999},
  crossref  = {DBLP:conf/ifm/1999},
  timestamp = {Sat, 09 Mar 2013 16:55:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/SmithH99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CarringtonHNWW98,
  author    = {David A. Carrington and
               Ian J. Hayes and
               Ray Nickson and
               Geoffrey Watson and
               Jim Welsh},
  title     = {A Program Refinement Tool},
  journal   = {Formal Asp. Comput.},
  volume    = {10},
  number    = {2},
  pages     = {97--124},
  year      = {1998},
  url       = {https://doi.org/10.1007/s001650050006},
  doi       = {10.1007/s001650050006},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/CarringtonHNWW98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Hayes98,
  author    = {Ian J. Hayes},
  title     = {Expressive Power of Specification Languages},
  journal   = {Formal Asp. Comput.},
  volume    = {10},
  number    = {2},
  pages     = {187--192},
  year      = {1998},
  url       = {https://doi.org/10.1007/s001650050010},
  doi       = {10.1007/s001650050010},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/Hayes98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FidgeHM98,
  author    = {Colin J. Fidge and
               Ian J. Hayes and
               Brendan P. Mahony},
  title     = {Defining Differentiation and Integration in {Z}},
  booktitle = {Second {IEEE} International Conference on Formal Engineering Methods,
               {ICFEM} 1998, Brisbane, Queensland, Australia, December 9-11, 1998,
               Proceedings},
  pages     = {64--75},
  year      = {1998},
  crossref  = {DBLP:conf/icfem/1998},
  url       = {https://doi.org/10.1109/ICFEM.1998.730571},
  doi       = {10.1109/ICFEM.1998.730571},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/FidgeHM98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/FidgeHMW98,
  author    = {Colin J. Fidge and
               Ian J. Hayes and
               Andrew P. Martin and
               Axel Wabenhorst},
  title     = {A Set-Theoretic Model for Real-Time Specification and Reasoning},
  booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
               15-17, 1998, Proceedings},
  pages     = {188--206},
  year      = {1998},
  crossref  = {DBLP:conf/mpc/1998},
  url       = {https://doi.org/10.1007/BFb0054291},
  doi       = {10.1007/BFb0054291},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/FidgeHMW98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/HayesU98,
  author    = {Ian J. Hayes and
               Mark Utting},
  title     = {Deadlines are termination},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  pages     = {186--204},
  year      = {1998},
  crossref  = {DBLP:conf/procomet/1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/procomet/HayesU98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NicksonH97,
  author    = {Ray Nickson and
               Ian J. Hayes},
  title     = {Supporting Contexts in Program Refinement},
  journal   = {Sci. Comput. Program.},
  volume    = {29},
  number    = {3},
  pages     = {279--302},
  year      = {1997},
  url       = {https://doi.org/10.1016/S0167-6423(97)00002-6},
  doi       = {10.1016/S0167-6423(97)00002-6},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/NicksonH97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Hayes96,
  author    = {Ian J. Hayes},
  title     = {Supporting Module Reuse in Refinement},
  journal   = {Sci. Comput. Program.},
  volume    = {27},
  number    = {2},
  pages     = {175--184},
  year      = {1996},
  url       = {https://doi.org/10.1016/0167-6423(96)00006-8},
  doi       = {10.1016/0167-6423(96)00006-8},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/Hayes96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FidgeUKH96,
  author    = {Colin J. Fidge and
               Mark Utting and
               Peter Kearney and
               Ian J. Hayes},
  title     = {Integrating Real-Time Scheduling Theory and Program Refinement},
  booktitle = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third
               International Symposium of Formal Methods Europe, Co-Sponsored by
               {IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings},
  pages     = {327--346},
  year      = {1996},
  crossref  = {DBLP:conf/fm/1996},
  url       = {https://doi.org/10.1007/3-540-60973-3\_95},
  doi       = {10.1007/3-540-60973-3\_95},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/FidgeUKH96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/HayesNS96,
  author    = {Ian J. Hayes and
               R. G. Nickson and
               Paul A. Strooper},
  title     = {Refining Specifications to Logic Programs},
  booktitle = {Logic Programming Synthesis and Transformation, 6th International
               Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
  pages     = {1--19},
  year      = {1996},
  crossref  = {DBLP:conf/lopstr/1996},
  url       = {https://doi.org/10.1007/3-540-62718-9\_1},
  doi       = {10.1007/3-540-62718-9\_1},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/HayesNS96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HayesM95,
  author    = {Ian J. Hayes and
               Brendan P. Mahony},
  title     = {Using Units of Measurement in Formal Specifications},
  journal   = {Formal Asp. Comput.},
  volume    = {7},
  number    = {3},
  pages     = {329--347},
  year      = {1995},
  url       = {https://doi.org/10.1007/BF01211077},
  doi       = {10.1007/BF01211077},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/HayesM95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HayesS95,
  author    = {Ian J. Hayes and
               Jeff W. Sanders},
  title     = {Specification by Interface Separation},
  journal   = {Formal Asp. Comput.},
  volume    = {7},
  number    = {4},
  pages     = {430--439},
  year      = {1995},
  url       = {https://doi.org/10.1007/BF01211217},
  doi       = {10.1007/BF01211217},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/HayesS95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/HayesADV95,
  author    = {Ian J. Hayes and
               Keijiro Araki and
               David J. Duke and
               Val E. Veraart},
  title     = {Are Formal Methods Relevant?},
  booktitle = {2nd Asia-Pacific Software Engineering Conference {(APSEC} '95), December
               6-9, 1995, Brisbane, Queensland, Australia},
  pages     = {513},
  year      = {1995},
  crossref  = {DBLP:conf/apsec/1995},
  url       = {http://doi.ieeecomputersociety.org/10.1109/APSEC.1995.10011},
  doi       = {10.1109/APSEC.1995.10011},
  timestamp = {Tue, 25 Nov 2014 17:05:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/HayesADV95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BancroftH95,
  author    = {Peter Bancroft and
               Ian J. Hayes},
  title     = {A Formal Semantics for a Language with Type Extension},
  booktitle = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
               Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  pages     = {299--314},
  year      = {1995},
  crossref  = {DBLP:conf/zum/1995},
  url       = {https://doi.org/10.1007/3-540-60271-2\_127},
  doi       = {10.1007/3-540-60271-2\_127},
  timestamp = {Wed, 14 Nov 2018 11:00:02 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/zum/BancroftH95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CarringtonDHW93,
  author    = {David A. Carrington and
               David J. Duke and
               Ian J. Hayes and
               Jim Welsh},
  title     = {Deriving Modular Designs from Formal Specifications},
  booktitle = {{SIGSOFT} '93, Proceedings of the First {ACM} {SIGSOFT} Symposium
               on Foundations of Software Engineering, Los Angeles, California, USA,
               December 7-10, 1993},
  pages     = {89--98},
  year      = {1993},
  crossref  = {DBLP:conf/sigsoft/1993},
  url       = {https://doi.org/10.1145/256428.167066},
  doi       = {10.1145/256428.167066},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/CarringtonDHW93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Hayes92,
  author    = {Ian J. Hayes},
  title     = {Multi-Relations in {Z}},
  journal   = {Acta Inf.},
  volume    = {29},
  number    = {1},
  pages     = {33--62},
  year      = {1992},
  url       = {https://doi.org/10.1007/BF01178565},
  doi       = {10.1007/BF01178565},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/acta/Hayes92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Hayes92,
  author    = {Ian J. Hayes},
  title     = {{VDM} and {Z:} {A} Comparative Case Study},
  journal   = {Formal Asp. Comput.},
  volume    = {4},
  number    = {1},
  pages     = {76--99},
  year      = {1992},
  url       = {https://doi.org/10.1007/BF01214957},
  doi       = {10.1007/BF01214957},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/Hayes92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MahonyH92,
  author    = {Brendan P. Mahony and
               Ian J. Hayes},
  title     = {A Case-Study in Timed Refinement: {A} Mine Pump},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {18},
  number    = {9},
  pages     = {817--826},
  year      = {1992},
  url       = {https://doi.org/10.1109/32.159841},
  doi       = {10.1109/32.159841},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/MahonyH92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/HayesW92,
  author    = {Ian J. Hayes and
               Luke Wildman},
  title     = {Towards Libraries for {Z}},
  booktitle = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  pages     = {37--51},
  year      = {1992},
  crossref  = {DBLP:conf/zum/1992},
  timestamp = {Fri, 21 Feb 2003 15:29:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/zum/HayesW92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Hayes90,
  author    = {Ian J. Hayes},
  title     = {Interpretations of {Z} Schema Operations},
  booktitle = {Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual {Z} User
               Meeting, 17-18 December 1990},
  pages     = {12--26},
  year      = {1990},
  crossref  = {DBLP:conf/zum/1990},
  timestamp = {Tue, 25 Feb 2003 13:22:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/zum/Hayes90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/HayesMR89,
  author    = {Ian J. Hayes and
               M. Mowbray and
               Gordon A. Rose},
  title     = {Signalling System No.7, The Network Layer},
  booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
               the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
               Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
  pages     = {3--14},
  year      = {1989},
  crossref  = {DBLP:conf/pstv/1989},
  timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pstv/HayesMR89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/HoareHJMRSSSS87,
  author    = {C. A. R. Hoare and
               Ian J. Hayes and
               Jifeng He and
               Carroll Morgan and
               A. W. Roscoe and
               Jeff W. Sanders and
               Ib Holm S{\o}rensen and
               J. Michael Spivey and
               Bernard Sufrin},
  title     = {Laws of Programming},
  journal   = {Commun. {ACM}},
  volume    = {30},
  number    = {8},
  pages     = {672--686},
  year      = {1987},
  url       = {https://doi.org/10.1145/27651.27653},
  doi       = {10.1145/27651.27653},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cacm/HoareHJMRSSSS87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Hayes86,
  author    = {Ian J. Hayes},
  title     = {Specification Directed Module Testing},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {12},
  number    = {1},
  pages     = {124--133},
  year      = {1986},
  url       = {https://doi.org/10.1109/TSE.1986.6312926},
  doi       = {10.1109/TSE.1986.6312926},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/Hayes86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Hayes85,
  author    = {Ian J. Hayes},
  title     = {Applying Formal Specification to Software Development in Industry},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {11},
  number    = {2},
  pages     = {169--178},
  year      = {1985},
  url       = {https://doi.org/10.1109/TSE.1985.232191},
  doi       = {10.1109/TSE.1985.232191},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/Hayes85},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2018,
  editor    = {Klaus Havelund and
               Jan Peleska and
               Bill Roscoe and
               Erik P. de Vink},
  title     = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
               Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
               15-17, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10951},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-95582-7},
  doi       = {10.1007/978-3-319-95582-7},
  isbn      = {978-3-319-95581-0},
  timestamp = {Thu, 12 Jul 2018 13:18:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2018,
  editor    = {Jing Sun and
               Meng Sun},
  title     = {Formal Methods and Software Engineering - 20th International Conference
               on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
               November 12-16, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11232},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-02450-5},
  doi       = {10.1007/978-3-030-02450-5},
  isbn      = {978-3-030-02449-9},
  timestamp = {Mon, 05 Nov 2018 11:04:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1810-08739,
  editor    = {John Derrick and
               Brijesh Dongol and
               Steve Reeves},
  title     = {Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK,
               18th July 2018},
  series    = {{EPTCS}},
  volume    = {282},
  year      = {2018},
  url       = {https://doi.org/10.4204/EPTCS.282},
  doi       = {10.4204/EPTCS.282},
  timestamp = {Tue, 04 Dec 2018 16:00:11 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1810-08739},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2017,
  editor    = {Bor{-}Yuh Evan Chang},
  title     = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
               2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10695},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-71237-6},
  doi       = {10.1007/978-3-319-71237-6},
  isbn      = {978-3-319-71236-9},
  timestamp = {Mon, 20 Nov 2017 11:27:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setss/2017,
  editor    = {Jonathan P. Bowen and
               Zhiming Liu and
               Zili Zhang},
  title     = {Engineering Trustworthy Software Systems - Third International School,
               {SETSS} 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {11174},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-02928-9},
  doi       = {10.1007/978-3-030-02928-9},
  isbn      = {978-3-030-02927-2},
  timestamp = {Tue, 13 Nov 2018 09:40:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/setss/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2016,
  editor    = {John S. Fitzgerald and
               Constance L. Heitmeyer and
               Stefania Gnesi and
               Anna Philippou},
  title     = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
               Cyprus, November 9-11, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9995},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-48989-6},
  doi       = {10.1007/978-3-319-48989-6},
  isbn      = {978-3-319-48988-9},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2014,
  editor    = {Cliff B. Jones and
               Pekka Pihlajasaari and
               Jun Sun},
  title     = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
               May 12-16, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8442},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-06410-9},
  doi       = {10.1007/978-3-319-06410-9},
  isbn      = {978-3-319-06409-3},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftscs/2013,
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-05416-2},
  doi       = {10.1007/978-3-319-05416-2},
  isbn      = {978-3-319-05415-5},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftscs/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2013,
  editor    = {Lindsay Groves and
               Jing Sun},
  title     = {Formal Methods and Software Engineering - 15th International Conference
               on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
               October 29 - November 1, 2013, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8144},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-41202-8},
  doi       = {10.1007/978-3-642-41202-8},
  isbn      = {978-3-642-41201-1},
  timestamp = {Sun, 04 Jun 2017 10:07:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vissoft/2013,
  editor    = {Alexandru Telea and
               Andreas Kerren and
               Andrian Marcus},
  title     = {2013 First {IEEE} Working Conference on Software Visualization (VISSOFT),
               Eindhoven, The Netherlands, September 27-28, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6636398},
  isbn      = {978-1-4799-1457-9},
  timestamp = {Wed, 22 Apr 2015 16:41:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vissoft/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2012,
  editor    = {Wolfram Kahl and
               Timothy G. Griffin},
  title     = {Relational and Algebraic Methods in Computer Science - 13th International
               Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7560},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33314-9},
  doi       = {10.1007/978-3-642-33314-9},
  isbn      = {978-3-642-33313-2},
  timestamp = {Fri, 26 May 2017 00:49:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/RelMiCS/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2012,
  editor    = {John Derrick and
               John S. Fitzgerald and
               Stefania Gnesi and
               Sarfraz Khurshid and
               Michael Leuschel and
               Steve Reeves and
               Elvinia Riccobene},
  title     = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International
               Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7316},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30885-7},
  doi       = {10.1007/978-3-642-30885-7},
  isbn      = {978-3-642-30884-0},
  timestamp = {Thu, 01 Jun 2017 18:58:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2012,
  editor    = {John Derrick and
               Stefania Gnesi and
               Diego Latella and
               Helen Treharne},
  title     = {Integrated Formal Methods - 9th International Conference, {IFM} 2012,
               Pisa, Italy, June 18-21, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7321},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30729-4},
  doi       = {10.1007/978-3-642-30729-4},
  isbn      = {978-3-642-30728-7},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2012,
  editor    = {Jeremy Gibbons and
               Pablo Nogueira},
  title     = {Mathematics of Program Construction - 11th International Conference,
               {MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7342},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31113-0},
  doi       = {10.1007/978-3-642-31113-0},
  isbn      = {978-3-642-31112-3},
  timestamp = {Mon, 22 May 2017 17:11:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icwe/2011w,
  editor    = {Andreas Harth and
               Nora Koch},
  title     = {Current Trends in Web Engineering - Workshops, Doctoral Symposium,
               and Tutorials, Held at {ICWE} 2011, Paphos, Cyprus, June 20-21, 2011.
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7059},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-27997-3},
  doi       = {10.1007/978-3-642-27997-3},
  isbn      = {978-3-642-27996-6},
  timestamp = {Wed, 24 May 2017 08:28:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icwe/2011w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2010,
  editor    = {Ana Cavalcanti and
               David D{\'{e}}harbe and
               Marie{-}Claude Gaudel and
               Jim Woodcock},
  title     = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International
               Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6255},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14808-8},
  doi       = {10.1007/978-3-642-14808-8},
  isbn      = {978-3-642-14807-1},
  timestamp = {Thu, 15 Jun 2017 21:43:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2010,
  editor    = {Claude Bolduc and
               Jules Desharnais and
               B{\'{e}}chir Ktari},
  title     = {Mathematics of Program Construction, 10th International Conference,
               {MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6120},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13321-3},
  doi       = {10.1007/978-3-642-13321-3},
  isbn      = {978-3-642-13320-6},
  timestamp = {Mon, 22 May 2017 17:11:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2010,
  editor    = {Jos{\'{e}} Luiz Fiadeiro and
               Stefania Gnesi and
               Andrea Maggiolo{-}Schettini},
  title     = {8th {IEEE} International Conference on Software Engineering and Formal
               Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5635422},
  isbn      = {978-0-7695-4153-2},
  timestamp = {Thu, 28 May 2015 17:23:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aswec/2009,
  title     = {20th Australian Software Engineering Conference {(ASWEC} 2009), 14-17
               April 2009, Gold Cost, Australia},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5076602},
  isbn      = {978-0-7695-3599-9},
  timestamp = {Thu, 16 Oct 2014 11:29:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aswec/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2009,
  editor    = {Michael Leuschel and
               Heike Wehrheim},
  title     = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
               D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5423},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00255-7},
  doi       = {10.1007/978-3-642-00255-7},
  isbn      = {978-3-642-00254-0},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/5454,
  editor    = {Michael J. Butler and
               Cliff B. Jones and
               Alexander B. Romanovsky and
               Elena Troubitsyna},
  title     = {Methods, Models and Tools for Fault Tolerance},
  series    = {Lecture Notes in Computer Science},
  volume    = {5454},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00867-2},
  doi       = {10.1007/978-3-642-00867-2},
  isbn      = {978-3-642-00866-5},
  timestamp = {Thu, 22 Feb 2018 18:20:56 +0100},
  biburl    = {https://dblp.org/rec/bib/series/lncs/5454},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2008,
  editor    = {Philippe Audebaud and
               Christine Paulin{-}Mohring},
  title     = {Mathematics of Program Construction, 9th International Conference,
               {MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5133},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-70594-9},
  doi       = {10.1007/978-3-540-70594-9},
  isbn      = {978-3-540-70593-2},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/serene/2008,
  editor    = {Nicolas Guelfi and
               Henry Muccini and
               Patrizio Pelliccione and
               Alexander B. Romanovsky},
  title     = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
               Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
               17-19, 2008},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-60558-275-7},
  timestamp = {Thu, 22 Feb 2018 18:20:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/serene/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/utp/2008,
  editor    = {Andrew Butterfield},
  title     = {Unifying Theories of Programming, Second International Symposium,
               {UTP} 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5713},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14521-6},
  doi       = {10.1007/978-3-642-14521-6},
  isbn      = {978-3-642-14520-9},
  timestamp = {Mon, 05 Jun 2017 12:41:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/utp/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2007bz,
  editor    = {Cliff B. Jones and
               Zhiming Liu and
               Jim Woodcock},
  title     = {Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines
               Bj{\o}rner and Chaochen Zhou on the Occasion of Their 70th Birthdays,
               Papers presented at a Symposium held in Macao, China, September 24-25,
               2007},
  series    = {Lecture Notes in Computer Science},
  volume    = {4700},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75221-9},
  doi       = {10.1007/978-3-540-75221-9},
  isbn      = {978-3-540-75220-2},
  timestamp = {Sun, 04 Jun 2017 10:04:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2007bz},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2006,
  editor    = {Zhiming Liu and
               Jifeng He},
  title     = {Formal Methods and Software Engineering, 8th International Conference
               on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
               1-3, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4260},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11901433},
  doi       = {10.1007/11901433},
  isbn      = {3-540-47460-9},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2006,
  editor    = {Tarmo Uustalu},
  title     = {Mathematics of Program Construction, 8th International Conference,
               {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4014},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11783596},
  doi       = {10.1007/11783596},
  isbn      = {3-540-35631-2},
  timestamp = {Sun, 04 Jun 2017 10:07:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/utp/2006,
  editor    = {Steve Dunne and
               Bill Stoddart},
  title     = {Unifying Theories of Programming, First International Symposium, {UTP}
               2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4010},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11768173},
  doi       = {10.1007/11768173},
  isbn      = {3-540-34750-X},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/utp/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsc/2005,
  editor    = {Vladimir Estivill{-}Castro},
  title     = {Computer Science 2005, Twenty-Eighth Australasian Computer Science
               Conference (ACSC2005), Newcastle, NSW, Australia, January/February
               2005},
  series    = {{CRPIT}},
  volume    = {38},
  publisher = {Australian Computer Society},
  year      = {2005},
  isbn      = {1-920682-20-1},
  timestamp = {Fri, 22 Apr 2005 12:15:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acsc/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aswec/2004,
  title     = {15th Australian Software Engineering Conference {(ASWEC} 2004), 13-16
               April 2004, Melbourne, Australia},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9061},
  isbn      = {0-7695-2089-8},
  timestamp = {Thu, 16 Oct 2014 11:29:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aswec/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2004,
  title     = {19th {IEEE} International Conference on Automated Software Engineering
               {(ASE} 2004), 20-25 September 2004, Linz, Austria},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9305},
  isbn      = {0-7695-2131-2},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/lopstr/2004lncs,
  editor    = {Maurice Bruynooghe and
               Kung{-}Kiu Lau},
  title     = {Program Development in Computational Logic: {A} Decade of Research
               Advances in Logic-Based Program Development},
  series    = {Lecture Notes in Computer Science},
  volume    = {3049},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b98187},
  doi       = {10.1007/b98187},
  isbn      = {3-540-22152-2},
  timestamp = {Thu, 23 Nov 2017 17:01:34 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/2004lncs},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2003,
  editor    = {Keijiro Araki and
               Stefania Gnesi and
               Dino Mandrioli},
  title     = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
               Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2805},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b13229},
  doi       = {10.1007/b13229},
  isbn      = {3-540-40828-2},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2003,
  editor    = {Jin Song Dong and
               Jim Woodcock},
  title     = {Formal Methods and Software Engineering, 5th International Conference
               on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
               2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2885},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b94115},
  doi       = {10.1007/b94115},
  isbn      = {3-540-20461-X},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ipps/2003,
  title     = {17th International Parallel and Distributed Processing Symposium {(IPDPS}
               2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8608},
  isbn      = {0-7695-1926-1},
  timestamp = {Fri, 01 Aug 2014 14:26:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsc/2002,
  editor    = {Michael J. Oudshoorn},
  title     = {Computer Science 2002, Twenty-Fifth Australasian Computer Science
               Conference (ACSC2002), Monash University, Melbourne, Victoria, Australia,
               January/February 2002},
  series    = {{CRPIT}},
  volume    = {4},
  publisher = {Australian Computer Society},
  year      = {2002},
  isbn      = {0-909-92582-8},
  timestamp = {Thu, 21 Jun 2018 07:14:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acsc/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2002,
  editor    = {Javier Esparza and
               Charles Lakos},
  title     = {Applications and Theory of Petri Nets 2002, 23rd International Conference,
               {ICATPN} 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2360},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-48068-4},
  doi       = {10.1007/3-540-48068-4},
  isbn      = {3-540-43787-8},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apsec/2002,
  title     = {9th Asia-Pacific Software Engineering Conference {(APSEC} 2002), 4-6
               December 2002, Gold Coast, Queensland, Australia},
  publisher = {{IEEE} Computer Society},
  year      = {2002},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8424},
  isbn      = {0-7695-1850-8},
  timestamp = {Tue, 25 Nov 2014 17:05:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2002,
  editor    = {Chris George and
               Huaikou Miao},
  title     = {Formal Methods and Software Engineering, 4th International Conference
               on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October
               21-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2495},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36103-0},
  doi       = {10.1007/3-540-36103-0},
  isbn      = {3-540-00029-1},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2002,
  editor    = {Michael Leuschel},
  title     = {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},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-45013-0},
  doi       = {10.1007/3-540-45013-0},
  isbn      = {3-540-40438-4},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2002,
  editor    = {Eerke A. Boiten and
               Bernhard M{\"{o}}ller},
  title     = {Mathematics of Program Construction, 6th International Conference,
               {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2386},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45442-X},
  doi       = {10.1007/3-540-45442-X},
  isbn      = {3-540-43857-2},
  timestamp = {Thu, 15 Jun 2017 21:38:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/2001,
  editor    = {Richard J. Boulton and
               Paul B. Jackson},
  title     = {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},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44755-5},
  doi       = {10.1007/3-540-44755-5},
  isbn      = {3-540-42525-X},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tphol/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsc/2000,
  title     = {23rd Australasian Computer Science Conference {(ACSC} 2000), 31 January
               - 3 February 2000, Canberra, Australia},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6653},
  isbn      = {0-7695-0518-X},
  timestamp = {Wed, 08 Oct 2014 17:36:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acsc/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apsec/2000,
  title     = {7th Asia-Pacific Software Engineering Conference {(APSEC} 2000), 5-8
               December 2000, Singapore},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7203},
  isbn      = {0-7695-0915-0},
  timestamp = {Tue, 25 Nov 2014 17:05:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/2000,
  editor    = {Mathai Joseph},
  title     = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
               Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1926},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-45352-0},
  doi       = {10.1007/3-540-45352-0},
  isbn      = {3-540-41055-4},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftrtft/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2000,
  editor    = {Wolfgang Grieskamp and
               Thomas Santen and
               Bill Stoddart},
  title     = {Integrated Formal Methods, Second International Conference, {IFM}
               2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1945},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-40911-4},
  doi       = {10.1007/3-540-40911-4},
  isbn      = {3-540-41196-8},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2000ext,
  editor    = {Kung{-}Kiu Lau},
  title     = {Extended Abstracts of the 10th International Workshop on Logic-based
               Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July
               24-28, 2000},
  series    = {Technical Report},
  volume    = {{UMCS-00-6-1}},
  publisher = {Department of Computer Science, University of Manchester},
  year      = {2000},
  url       = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1.html},
  timestamp = {Tue, 11 Feb 2014 17:45:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/2000ext},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2000,
  editor    = {Kung{-}Kiu Lau},
  title     = {Logic Based Program Synthesis and Transformation, 10th International
               Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2042},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45142-0},
  doi       = {10.1007/3-540-45142-0},
  isbn      = {3-540-42127-0},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2000,
  editor    = {Roland Carl Backhouse and
               Jos{\'{e}} Nuno Oliveira},
  title     = {Mathematics of Program Construction, 5th International Conference,
               {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1837},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/10722010},
  doi       = {10.1007/10722010},
  isbn      = {3-540-67727-5},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/1999,
  editor    = {Keijiro Araki and
               Andy Galloway and
               Kenji Taguchi},
  title     = {Integrated Formal Methods, Proceedings of the 1st International Conference
               on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  publisher = {Springer},
  year      = {1999},
  isbn      = {1-85233-107-0},
  timestamp = {Sat, 09 Mar 2013 16:55:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/1998,
  title     = {Second {IEEE} International Conference on Formal Engineering Methods,
               {ICFEM} 1998, Brisbane, Queensland, Australia, December 9-11, 1998,
               Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5913},
  isbn      = {0-8186-9198-0},
  timestamp = {Fri, 27 May 2016 13:18:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/1998,
  editor    = {Johan Jeuring},
  title     = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
               15-17, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1422},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0054279},
  doi       = {10.1007/BFb0054279},
  isbn      = {3-540-64591-8},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/procomet/1998,
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  isbn      = {0-412-83760-9},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/procomet/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/1996,
  editor    = {Marie{-}Claude Gaudel and
               Jim Woodcock},
  title     = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third
               International Symposium of Formal Methods Europe, Co-Sponsored by
               {IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1051},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-60973-3},
  doi       = {10.1007/3-540-60973-3},
  isbn      = {3-540-60973-3},
  timestamp = {Mon, 22 May 2017 16:14:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/1996,
  editor    = {John P. Gallagher},
  title     = {Logic Programming Synthesis and Transformation, 6th International
               Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1207},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-62718-9},
  doi       = {10.1007/3-540-62718-9},
  isbn      = {3-540-62718-9},
  timestamp = {Mon, 22 May 2017 17:11:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apsec/1995,
  title     = {2nd Asia-Pacific Software Engineering Conference {(APSEC} '95), December
               6-9, 1995, Brisbane, Queensland, Australia},
  publisher = {{IEEE} Computer Society},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3579},
  isbn      = {0-8186-7171-8},
  timestamp = {Tue, 25 Nov 2014 17:05:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zum/1995,
  editor    = {Jonathan P. Bowen and
               Michael G. Hinchey},
  title     = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
               Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {967},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/3-540-60271-2},
  doi       = {10.1007/3-540-60271-2},
  isbn      = {3-540-60271-2},
  timestamp = {Wed, 14 Nov 2018 11:00:02 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/zum/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/1993,
  editor    = {David Notkin},
  title     = {{SIGSOFT} '93, Proceedings of the First {ACM} {SIGSOFT} Symposium
               on Foundations of Software Engineering, Los Angeles, California, USA,
               December 7-10, 1993},
  publisher = {{ACM}},
  year      = {1993},
  timestamp = {Mon, 10 Jun 2013 17:49:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zum/1992,
  editor    = {Jonathan P. Bowen and
               J. E. Nicholls},
  title     = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  series    = {Workshops in Computing},
  publisher = {Springer},
  year      = {1992},
  isbn      = {3-540-19818-0},
  timestamp = {Fri, 21 Feb 2003 15:29:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/zum/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zum/1990,
  editor    = {J. E. Nicholls},
  title     = {Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual {Z} User
               Meeting, 17-18 December 1990},
  series    = {Workshops in Computing},
  publisher = {Springer},
  year      = {1991},
  isbn      = {3-540-19672-2},
  timestamp = {Tue, 25 Feb 2003 13:22:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/zum/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pstv/1989,
  editor    = {Ed Brinksma and
               Giuseppe Scollo and
               Chris A. Vissers},
  title     = {Protocol Specification, Testing and Verification IX, Proceedings of
               the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
               Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
  publisher = {North-Holland},
  year      = {1990},
  isbn      = {0-444-88343-6},
  timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pstv/1989},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier