Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ian J. Hayes
@article{DBLP:journals/corr/abs-2403-13425,
author = {Larissa A. Meinicke and
Ian J. Hayes},
title = {Reasoning about distributive laws in a concurrent refinement algebra},
journal = {CoRR},
volume = {abs/2403.13425},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.13425},
doi = {10.48550/ARXIV.2403.13425},
eprinttype = {arXiv},
eprint = {2403.13425},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-13425.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/EvangelouOostBH23,
author = {Nasos Evangelou{-}Oost and
Callum Bannister and
Ian J. Hayes},
editor = {Roland Gl{\"{u}}ck and
Luigi Santocanale and
Michael Winter},
title = {Contextuality in Distributed Systems},
booktitle = {Relational and Algebraic Methods in Computer Science - 20th International
Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13896},
pages = {52--68},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-28083-2\_4},
doi = {10.1007/978-3-031-28083-2\_4},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/EvangelouOostBH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HayesJM23,
author = {Ian J. Hayes and
Cliff B. Jones and
Larissa A. Meinicke},
editor = {Jonathan P. Bowen and
Qin Li and
Qiwen Xu},
title = {Specifying and Reasoning About Shared-Variable Concurrency},
booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
He on the Occasion of His 80th Birthday},
series = {Lecture Notes in Computer Science},
volume = {14080},
pages = {110--135},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40436-8\_5},
doi = {10.1007/978-3-031-40436-8\_5},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HayesJM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/WebbHU23,
author = {Brae J. Webb and
Ian J. Hayes and
Mark Utting},
editor = {Robbert Krebbers and
Dmitriy Traytel and
Brigitte Pientka and
Steve Zdancewic},
title = {Verifying Term Graph Optimizations using Isabelle/HOL},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2023, Boston, MA, USA, January
16-17, 2023},
pages = {320--333},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3573105.3575673},
doi = {10.1145/3573105.3575673},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/WebbHU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/HayesUW23,
author = {Ian J. Hayes and
Mark Utting and
Brae J. Webb},
editor = {Yi Li and
Sofi{\`{e}}ne Tahar},
title = {Verifying Compiler Optimisations - (Invited Paper)},
booktitle = {Formal Methods and Software Engineering - 24th International Conference
on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
November 21-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14308},
pages = {3--8},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-7584-6\_1},
doi = {10.1007/978-981-99-7584-6\_1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/HayesUW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/EvangelouOostMBH23,
author = {Nasos Evangelou{-}Oost and
Larissa Meinicke and
Callum Bannister and
Ian J. Hayes},
editor = {Yi Li and
Sofi{\`{e}}ne Tahar},
title = {Trace Models of Concurrent Valuation Algebras},
booktitle = {Formal Methods and Software Engineering - 24th International Conference
on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
November 21-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14308},
pages = {118--136},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-7584-6\_8},
doi = {10.1007/978-981-99-7584-6\_8},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/EvangelouOostMBH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse-formalise/UttingWH23,
author = {Mark Utting and
Brae J. Webb and
Ian J. Hayes},
title = {Differential Testing of a Verification Framework for Compiler Optimizations
(Case Study)},
booktitle = {11th {IEEE/ACM} International Conference on Formal Methods in Software
Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023},
pages = {66--75},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/FormaliSE58978.2023.00015},
doi = {10.1109/FORMALISE58978.2023.00015},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse-formalise/UttingWH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse-formalise/MeinickeH23,
author = {Larissa A. Meinicke and
Ian J. Hayes},
title = {Using scylindric algebra to support local variables in rely/guarantee
concurrency},
booktitle = {11th {IEEE/ACM} International Conference on Formal Methods in Software
Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023},
pages = {108--119},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/FormaliSE58978.2023.00019},
doi = {10.1109/FORMALISE58978.2023.00019},
timestamp = {Mon, 10 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse-formalise/MeinickeH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-18017,
author = {Nasos Evangelou{-}Oost and
Callum Bannister and
Larissa Meinicke and
Ian J. Hayes},
title = {Trace models of concurrent valuation algebras},
journal = {CoRR},
volume = {abs/2305.18017},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.18017},
doi = {10.48550/ARXIV.2305.18017},
eprinttype = {arXiv},
eprint = {2305.18017},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-18017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-09476,
author = {Nasos Evangelou{-}Oost and
Callum Bannister and
Ian J. Hayes},
title = {Contextuality in distributed systems},
journal = {CoRR},
volume = {abs/2210.09476},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.09476},
doi = {10.48550/ARXIV.2210.09476},
eprinttype = {arXiv},
eprint = {2210.09476},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-09476.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-01748,
author = {Mark Utting and
Brae J. Webb and
Ian J. Hayes},
title = {Differential Testing of a Verification Framework for Compiler Optimizations
(Experience Paper)},
journal = {CoRR},
volume = {abs/2212.01748},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.01748},
doi = {10.48550/ARXIV.2212.01748},
eprinttype = {arXiv},
eprint = {2212.01748},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-01748.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-06956,
author = {Brae J. Webb and
Ian J. Hayes and
Mark Utting},
title = {Verifying term graph optimizations using Isabelle/HOL},
journal = {CoRR},
volume = {abs/2212.06956},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.06956},
doi = {10.48550/ARXIV.2212.06956},
eprinttype = {arXiv},
eprint = {2212.06956},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-06956.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DongolHS21,
author = {Brijesh Dongol and
Ian J. Hayes and
Georg Struth},
title = {Convolution Algebras: Relational Convolution, Generalised Modalities
and Incidence Algebras},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {1},
year = {2021},
url = {https://lmcs.episciences.org/7164},
timestamp = {Mon, 08 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/DongolHS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/WebbUH21,
author = {Brae J. Webb and
Mark Utting and
Ian J. Hayes},
editor = {Zhe Hou and
Vijay Ganesh},
title = {A Formal Semantics of the GraalVM Intermediate Representation},
booktitle = {Automated Technology for Verification and Analysis - 19th International
Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12971},
pages = {111--126},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88885-5\_8},
doi = {10.1007/978-3-030-88885-5\_8},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/WebbUH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/Hayes021,
author = {Ian J. Hayes and
Steve King},
editor = {Cliff B. Jones and
Jayadev Misra},
title = {Software Specification},
booktitle = {Theories of Programming: The Life and Works of Tony Hoare},
series = {{ACM} Books},
volume = {39},
pages = {251--270},
publisher = {{ACM} / Morgan {\&} Claypool},
year = {2021},
url = {https://doi.org/10.1145/3477355.3477367},
doi = {10.1145/3477355.3477367},
timestamp = {Fri, 18 Aug 2023 18:15:50 +0200},
biburl = {https://dblp.org/rec/books/mc/21/Hayes021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-15292,
author = {Ian J. Hayes and
Larissa A. Meinicke and
Patrick A. Meiring},
title = {Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee
Style},
journal = {CoRR},
volume = {abs/2103.15292},
year = {2021},
url = {https://arxiv.org/abs/2103.15292},
eprinttype = {arXiv},
eprint = {2103.15292},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-15292.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-01815,
author = {Brae J. Webb and
Mark Utting and
Ian J. Hayes},
title = {A Formal Semantics of the GraalVM Intermediate Representation},
journal = {CoRR},
volume = {abs/2107.01815},
year = {2021},
url = {https://arxiv.org/abs/2107.01815},
eprinttype = {arXiv},
eprint = {2107.01815},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-01815.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BurnsHJ20,
author = {Alan Burns and
Ian J. Hayes and
Cliff B. Jones},
title = {Deriving Specifications of Control Programs for Cyber Physical Systems},
journal = {Comput. J.},
volume = {63},
number = {5},
pages = {774--790},
year = {2020},
url = {https://doi.org/10.1093/comjnl/bxz019},
doi = {10.1093/COMJNL/BXZ019},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/BurnsHJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HayesMWC19,
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 = {Formal Aspects Comput.},
volume = {31},
number = {2},
pages = {133--163},
year = {2019},
url = {https://doi.org/10.1007/s00165-018-0464-4},
doi = {10.1007/S00165-018-0464-4},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HayesMWC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/DongolHMS19,
author = {Brijesh Dongol and
Ian J. Hayes and
Larissa Meinicke and
Georg Struth},
editor = {Graham Hutton},
title = {Cylindric Kleene Lattices for Program Construction},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {197--225},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_8},
doi = {10.1007/978-3-030-33636-3\_8},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/DongolHMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/utp/HayesM19,
author = {Ian J. Hayes and
Larissa A. Meinicke},
editor = {Pedro Ribeiro and
Augusto Sampaio},
title = {Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions
and Challenges},
booktitle = {Unifying Theories of Programming - 7th International Symposium, {UTP}
2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday,
Porto, Portugal, October 8, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11885},
pages = {176--197},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31038-7\_9},
doi = {10.1007/978-3-030-31038-7\_9},
timestamp = {Sat, 12 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/utp/HayesM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-04005,
author = {Larissa A. Meinicke and
Ian J. Hayes},
title = {Handling localisation in rely/guarantee concurrency: An algebraic
approach},
journal = {CoRR},
volume = {abs/1907.04005},
year = {2019},
url = {http://arxiv.org/abs/1907.04005},
eprinttype = {arXiv},
eprint = {1907.04005},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-04005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HayesM18,
author = {Ian J. Hayes and
Larissa A. Meinicke},
editor = {Klaus Havelund and
Jan Peleska and
Bill Roscoe and
Erik P. de Vink},
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},
series = {Lecture Notes in Computer Science},
volume = {10951},
pages = {222--239},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95582-7\_13},
doi = {10.1007/978-3-319-95582-7\_13},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/HayesM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Hayes18,
author = {Ian J. Hayes},
editor = {Jing Sun and
Meng Sun},
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},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {3--18},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_1},
doi = {10.1007/978-3-030-02450-5\_1},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Hayes18.bib},
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},
editor = {Jing Sun and
Meng Sun},
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},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {215--230},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_13},
doi = {10.1007/978-3-030-02450-5\_13},
timestamp = {Wed, 11 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/WuLMHM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-09611,
author = {Ian J. Hayes},
editor = {John Derrick and
Brijesh Dongol and
Steve Reeves},
title = {Some Challenges of Specifying Concurrent Program Components},
booktitle = {Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK,
18th July 2018},
series = {{EPTCS}},
volume = {282},
pages = {10--22},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.282.2},
doi = {10.4204/EPTCS.282.2},
timestamp = {Sun, 25 Jul 2021 11:39:08 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-09611.bib},
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},
eprinttype = {arXiv},
eprint = {1805.01681},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-01681.bib},
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 = {Arch. Formal Proofs},
volume = {2017},
year = {2017},
url = {https://www.isa-afp.org/entries/PSemigroupsConvolution.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/DongolGHS17.bib},
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 Aspects 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 = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ColvinHM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HayesWM17,
author = {Ian J. Hayes and
Xi Wu and
Larissa A. Meinicke},
editor = {Bor{-}Yuh Evan Chang},
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},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {67--84},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_4},
doi = {10.1007/978-3-319-71237-6\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/HayesWM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setss/HayesJ17,
author = {Ian J. Hayes and
Cliff B. Jones},
editor = {Jonathan P. Bowen and
Zhiming Liu and
Zili Zhang},
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},
series = {Lecture Notes in Computer Science},
volume = {11174},
pages = {1--38},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-030-02928-9\_1},
doi = {10.1007/978-3-030-02928-9\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/setss/HayesJ17.bib},
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},
eprinttype = {arXiv},
eprint = {1702.04603},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DongolHS17.bib},
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},
eprinttype = {arXiv},
eprint = {1710.03352},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-03352.bib},
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 = {Arch. Formal Proofs},
volume = {2016},
year = {2016},
url = {https://www.isa-afp.org/entries/Concurrent\_Ref\_Alg.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/FellHV16.bib},
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 Aspects 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 = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Hayes16.bib},
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. Algebraic Methods 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 = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/JonesH16.bib},
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},
year = {2016},
url = {https://doi.org/10.1145/2874773},
doi = {10.1145/2874773},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/DongolHS16.bib},
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},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {An Algebra of Synchronous Atomic Steps},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {352--369},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_22},
doi = {10.1007/978-3-319-48989-6\_22},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/HayesCMWV16.bib},
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},
eprinttype = {arXiv},
eprint = {1601.02132},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JonesH16.bib},
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},
eprinttype = {arXiv},
eprint = {1603.01776},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Hayes16a.bib},
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},
eprinttype = {arXiv},
eprint = {1609.00118},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HayesCMWV16.bib},
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},
eprinttype = {arXiv},
eprint = {1609.00195},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ColvinHM16.bib},
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 Aspects 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, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/JonesHC15.bib},
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 Aspects 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 = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DongolHR14.bib},
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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DongolHD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HayesM14,
author = {Ian J. Hayes and
Larissa Meinicke},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Invariants, Well-Founded Statements and Real-Time Program Algebra},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {318--334},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_23},
doi = {10.1007/978-3-319-06410-9\_23},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/HayesM14.bib},
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},
eprinttype = {arXiv},
eprint = {1410.4235},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DongolHS14.bib},
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 = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/HayesBDJ13.bib},
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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DongolH13.bib},
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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HayesDM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/Hayes13,
author = {Ian J. Hayes},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
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},
series = {Communications in Computer and Information Science},
volume = {419},
pages = {1--2},
publisher = {Springer},
year = {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/conf/ftscs/Hayes13.bib},
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},
editor = {Lindsay Groves and
Jing Sun},
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},
series = {Lecture Notes in Computer Science},
volume = {8144},
pages = {415--430},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41202-8\_27},
doi = {10.1007/978-3-642-41202-8\_27},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/WinterZHKCL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissoft/BradleyH13,
author = {Daniel R. Bradley and
Ian J. Hayes},
editor = {Alexandru C. Telea and
Andreas Kerren and
Andrian Marcus},
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},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/VISSOFT.2013.6650533},
doi = {10.1109/VISSOFT.2013.6650533},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vissoft/BradleyH13.bib},
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 = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {53},
year = {2012},
url = {https://doi.org/10.14279/tuj.eceasst.53.792},
doi = {10.14279/TUJ.ECEASST.53.792},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/DongolDH12.bib},
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},
editor = {Wolfram Kahl and
Timothy G. Griffin},
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},
series = {Lecture Notes in Computer Science},
volume = {7560},
pages = {50--65},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33314-9\_4},
doi = {10.1007/978-3-642-33314-9\_4},
timestamp = {Wed, 15 Dec 2021 11:04:21 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/DongolHMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/HayesC12,
author = {Ian J. Hayes and
Robert Colvin},
editor = {John Derrick and
John S. Fitzgerald and
Stefania Gnesi and
Sarfraz Khurshid and
Michael Leuschel and
Steve Reeves and
Elvinia Riccobene},
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},
series = {Lecture Notes in Computer Science},
volume = {7316},
pages = {21--35},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30885-7\_2},
doi = {10.1007/978-3-642-30885-7\_2},
timestamp = {Sun, 02 Jun 2019 21:23:59 +0200},
biburl = {https://dblp.org/rec/conf/asm/HayesC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DongolH12,
author = {Brijesh Dongol and
Ian J. Hayes},
editor = {John Derrick and
Stefania Gnesi and
Diego Latella and
Helen Treharne},
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},
series = {Lecture Notes in Computer Science},
volume = {7321},
pages = {39--53},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30729-4\_4},
doi = {10.1007/978-3-642-30729-4\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/DongolH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/DongolH12,
author = {Brijesh Dongol and
Ian J. Hayes},
editor = {Jeremy Gibbons and
Pablo Nogueira},
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},
series = {Lecture Notes in Computer Science},
volume = {7342},
pages = {102--131},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0\_7},
doi = {10.1007/978-3-642-31113-0\_7},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/DongolH12.bib},
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 = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {46},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.46.684},
doi = {10.14279/TUJ.ECEASST.46.684},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/DongolH11.bib},
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. Algebraic Methods 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, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ColvinH11.bib},
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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ColvinH11.bib},
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},
editor = {Andreas Harth and
Nora Koch},
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},
series = {Lecture Notes in Computer Science},
volume = {7059},
pages = {223--235},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-27997-3\_23},
doi = {10.1007/978-3-642-27997-3\_23},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/icwe/EscottSKH11.bib},
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 Syst.},
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, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rts/BurnsH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Hayes10,
author = {Ian J. Hayes},
editor = {Ana Cavalcanti and
David D{\'{e}}harbe and
Marie{-}Claude Gaudel and
Jim Woodcock},
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},
series = {Lecture Notes in Computer Science},
volume = {6255},
pages = {1--14},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14808-8\_1},
doi = {10.1007/978-3-642-14808-8\_1},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/Hayes10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/DongolH10,
author = {Brijesh Dongol and
Ian J. Hayes},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
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},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {119--139},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_9},
doi = {10.1007/978-3-642-13321-3\_9},
timestamp = {Sat, 16 Oct 2021 20:00:44 +0200},
biburl = {https://dblp.org/rec/conf/mpc/DongolH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/HayesDM10,
author = {Ian J. Hayes and
Steve Dunne and
Larissa Meinicke},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
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},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {178--194},
publisher = {Springer},
year = {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/conf/mpc/HayesDM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/WinterHC10,
author = {Kirsten Winter and
Ian J. Hayes and
Robert Colvin},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Stefania Gnesi and
Andrea Maggiolo{-}Schettini},
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},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SEFM.2010.13},
doi = {10.1109/SEFM.2010.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/WinterHC10.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASWEC.2009.12},
doi = {10.1109/ASWEC.2009.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/DongolH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ColvinH09,
author = {Robert Colvin and
Ian J. Hayes},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {{CSP} with Hierarchical State},
booktitle = {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},
pages = {118--135},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_9},
doi = {10.1007/978-3-642-00255-7\_9},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/ColvinH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Hayes09,
author = {Ian J. Hayes},
editor = {Michael J. Butler and
Cliff B. Jones and
Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Dynamically Detecting Faults via Integrity Constraints},
booktitle = {Methods, Models and Tools for Fault Tolerance},
series = {Lecture Notes in Computer Science},
volume = {5454},
pages = {85--103},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00867-2\_5},
doi = {10.1007/978-3-642-00867-2\_5},
timestamp = {Sun, 02 Jun 2019 20:42:25 +0200},
biburl = {https://dblp.org/rec/series/lncs/Hayes09.bib},
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 Informatica},
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 = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/MeinickeH08.bib},
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 = {Theory Pract. Log. Program.},
volume = {8},
number = {1},
pages = {1--31},
year = {2008},
url = {https://doi.org/10.1017/S1471068407003043},
doi = {10.1017/S1471068407003043},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/ColvinHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MeinickeH08,
author = {Larissa Meinicke and
Ian J. Hayes},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Probabilistic Choice in Refinement Algebra},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {243--267},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_14},
doi = {10.1007/978-3-540-70594-9\_14},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/MeinickeH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/Hayes08,
author = {Ian J. Hayes},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
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},
publisher = {{ACM}},
year = {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/conf/serene/Hayes08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/utp/DunneHG08,
author = {Steve Dunne and
Ian J. Hayes and
Andy Galloway},
editor = {Andrew Butterfield},
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},
series = {Lecture Notes in Computer Science},
volume = {5713},
pages = {62--81},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-14521-6\_5},
doi = {10.1007/978-3-642-14521-6\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/utp/DunneHG08.bib},
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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Hayes07.bib},
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},
editor = {Cliff B. Jones and
Zhiming Liu and
Jim Woodcock},
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},
series = {Lecture Notes in Computer Science},
volume = {4700},
pages = {364--390},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75221-9\_16},
doi = {10.1007/978-3-540-75221-9\_16},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/JonesHJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/MeinickeH06,
author = {Larissa Meinicke and
Ian J. Hayes},
editor = {Zhiming Liu and
Jifeng He},
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},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {380--399},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_21},
doi = {10.1007/11901433\_21},
timestamp = {Mon, 21 Mar 2022 22:43:10 +0100},
biburl = {https://dblp.org/rec/conf/icfem/MeinickeH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MeinickeH06,
author = {Larissa Meinicke and
Ian J. Hayes},
editor = {Tarmo Uustalu},
title = {Continuous Action System Refinement},
booktitle = {Mathematics of Program Construction, 8th International Conference,
{MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4014},
pages = {316--337},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11783596\_19},
doi = {10.1007/11783596\_19},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/MeinickeH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/utp/Hayes06,
author = {Ian J. Hayes},
editor = {Steve Dunne and
Bill Stoddart},
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},
series = {Lecture Notes in Computer Science},
volume = {4010},
pages = {141--154},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768173\_9},
doi = {10.1007/11768173\_9},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/utp/Hayes06.bib},
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},
eprinttype = {arXiv},
eprint = {cs/0608110},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0608110.bib},
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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LermerFH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/GlynnHM05,
author = {Erica Glynn and
Ian J. Hayes and
Anthony MacDonald},
editor = {Vladimir Estivill{-}Castro},
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},
series = {{CRPIT}},
volume = {38},
pages = {249--258},
publisher = {Australian Computer Society},
year = {2005},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV38Glynn.html},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsc/GlynnHM05.bib},
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 = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/2005.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ASWEC.2004.1290472},
doi = {10.1109/ASWEC.2004.1290472},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/Hayes04.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ASE.2004.10053},
doi = {10.1109/ASE.2004.10053},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SmithWHDLC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/lopstr/ColvinGHHNS04,
author = {Robert Colvin and
Lindsay Groves and
Ian J. Hayes and
David Hemer and
Ray Nickson and
Paul A. Strooper},
editor = {Maurice Bruynooghe and
Kung{-}Kiu Lau},
title = {Developing Logic Programs from Specifications Using Stepwise Refinement},
booktitle = {Program Development in Computational Logic: {A} Decade of Research
Advances in Logic-Based Program Development},
series = {Lecture Notes in Computer Science},
volume = {3049},
pages = {66--89},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25951-0\_3},
doi = {10.1007/978-3-540-25951-0\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/ColvinGHHNS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 Aspects 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 = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LermerFH03.bib},
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},
editor = {Keijiro Araki and
Stefania Gnesi and
Dino Mandrioli},
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},
series = {Lecture Notes in Computer Science},
volume = {2805},
pages = {154--169},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45236-2\_10},
doi = {10.1007/978-3-540-45236-2\_10},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/HayesJJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Hayes03,
author = {Ian J. Hayes},
editor = {Jin Song Dong and
Jim Woodcock},
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},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {1--15},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_1},
doi = {10.1007/978-3-540-39893-6\_1},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Hayes03.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/IPDPS.2003.1213430},
doi = {10.1109/IPDPS.2003.1213430},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/PeukerH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LermerFH03,
author = {Karl Lermer and
Colin J. Fidge and
Ian J. Hayes},
editor = {James Harland},
title = {Formal Semantics for Program Paths},
booktitle = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
SA, Australia, February 4-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {78},
pages = {58--81},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)81006-5},
doi = {10.1016/S1571-0661(04)81006-5},
timestamp = {Fri, 11 Nov 2022 16:09:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LermerFH03.bib},
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 Aspects Comput.},
volume = {13},
number = {2},
pages = {128--141},
year = {2002},
url = {https://doi.org/10.1007/s001650200003},
doi = {10.1007/S001650200003},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SmithH02.bib},
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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Hayes02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HayesCHSN02,
author = {Ian J. Hayes and
Robert Colvin and
David Hemer and
Paul A. Strooper and
Ray Nickson},
title = {A refinement calculus for logic programs},
journal = {Theory Pract. Log. Program.},
volume = {2},
number = {4-5},
pages = {425--460},
year = {2002},
url = {https://doi.org/10.1017/S1471068402001448},
doi = {10.1017/S1471068402001448},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/HayesCHSN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/ColvinHHS02,
author = {Robert Colvin and
Ian J. Hayes and
David Hemer and
Paul A. Strooper},
editor = {Michael J. Oudshoorn},
title = {Translating Refined Logic Programs to Mercury},
booktitle = {Computer Science 2002, Twenty-Fifth Australasian Computer Science
Conference (ACSC2002), Monash University, Melbourne, Victoria, Australia,
January/February 2002},
series = {{CRPIT}},
volume = {4},
pages = {33--40},
publisher = {Australian Computer Society},
year = {2002},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV4Colvin.html},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsc/ColvinHHS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Hayes02,
author = {Ian J. Hayes},
editor = {Javier Esparza and
Charles Lakos},
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},
series = {Lecture Notes in Computer Science},
volume = {2360},
pages = {44--58},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48068-4\_3},
doi = {10.1007/3-540-48068-4\_3},
timestamp = {Fri, 09 Apr 2021 18:41:09 +0200},
biburl = {https://dblp.org/rec/conf/apn/Hayes02.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/APSEC.2002.1182975},
doi = {10.1109/APSEC.2002.1182975},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/ShieldH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/PeukerH02,
author = {Sibylle Peuker and
Ian J. Hayes},
editor = {Chris George and
Huaikou Miao},
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},
series = {Lecture Notes in Computer Science},
volume = {2495},
pages = {335--346},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36103-0\_35},
doi = {10.1007/3-540-36103-0\_35},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/PeukerH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ColvinHHS02,
author = {Robert Colvin and
Ian J. Hayes and
David Hemer and
Paul A. Strooper},
editor = {Michael Leuschel},
title = {Refinement of Higher-Order Logic Programs},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {126--143},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_11},
doi = {10.1007/3-540-45013-0\_11},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/ColvinHHS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hayes02,
author = {Ian J. Hayes},
editor = {Eerke A. Boiten and
Bernhard M{\"{o}}ller},
title = {Reasoning about Timeouts},
booktitle = {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},
pages = {94--116},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45442-X\_7},
doi = {10.1007/3-540-45442-X\_7},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Hayes02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HemerHSC02,
author = {David Hemer and
Ian J. Hayes and
Paul A. Strooper and
Robert Colvin},
editor = {James Harland},
title = {Don't Care Non-determinism in Logic Program Refinement},
booktitle = {Computing: the Australasian Theory Symposium, {CATS} 2002, Melbourne,
Australia},
series = {Electronic Notes in Theoretical Computer Science},
volume = {61},
pages = {101--121},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)00308-1},
doi = {10.1016/S1571-0661(04)00308-1},
timestamp = {Fri, 11 Nov 2022 16:14:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HemerHSC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0202002,
author = {Ian J. Hayes and
Robert Colvin and
David Hemer and
Paul A. Strooper and
Ray Nickson},
title = {A Refinement Calculus for Logic Programs},
journal = {CoRR},
volume = {cs.SE/0202002},
year = {2002},
url = {https://arxiv.org/abs/cs/0202002},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-SE-0202002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HayesU01,
author = {Ian J. Hayes and
Mark Utting},
title = {A sequential real-time refinement calculus},
journal = {Acta Informatica},
volume = {37},
number = {6},
pages = {385--448},
year = {2001},
url = {https://doi.org/10.1007/PL00013311},
doi = {10.1007/PL00013311},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/HayesU01.bib},
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} Proc. Softw.},
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, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/HayesFL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/HemerHS01,
author = {David Hemer and
Ian J. Hayes and
Paul A. Strooper},
editor = {Richard J. Boulton and
Paul B. Jackson},
title = {Refinement Calculus for Logic Programming in Isabelle/HOL},
booktitle = {Theorem Proving in Higher Order Logics, 14th International Conference,
TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2152},
pages = {249--264},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44755-5\_18},
doi = {10.1007/3-540-44755-5\_18},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/HemerHS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/ShieldHC01,
author = {Jamie Shield and
Ian J. Hayes and
David A. Carrington},
editor = {Colin J. Fidge},
title = {Using Theory Interpretation to Mechanise the Reals in a Theorem Prover},
booktitle = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
Australia, January 29-30, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {42},
pages = {266--281},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80890-9},
doi = {10.1016/S1571-0661(04)80890-9},
timestamp = {Fri, 11 Nov 2022 16:01:10 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ShieldHC01.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ACSC.2000.824379},
doi = {10.1109/ACSC.2000.824379},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsc/ColvinHS00.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/APSEC.2000.896678},
doi = {10.1109/APSEC.2000.896678},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/Hayes00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Hayes00,
author = {Ian J. Hayes},
editor = {Mathai Joseph},
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},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {170--184},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_15},
doi = {10.1007/3-540-45352-0\_15},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Hayes00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SmithH00,
author = {Graeme Smith and
Ian J. Hayes},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Structuring Real-Time Object-Z Specifications},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {97--115},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_7},
doi = {10.1007/3-540-40911-4\_7},
timestamp = {Thu, 07 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/SmithH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ColvinHS00,
author = {Robert Colvin and
Ian J. Hayes and
Paul A. Strooper},
editor = {Kung{-}Kiu Lau},
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},
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-colvin.ps.Z},
timestamp = {Tue, 11 Feb 2014 17:45:37 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/ColvinHS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ColvinHS00a,
author = {Robert Colvin and
Ian J. Hayes and
Paul A. Strooper},
editor = {Kung{-}Kiu Lau},
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},
series = {Lecture Notes in Computer Science},
volume = {2042},
pages = {38--56},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45142-0\_3},
doi = {10.1007/3-540-45142-0\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/ColvinHS00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hayes00,
author = {Ian J. Hayes},
editor = {Roland Carl Backhouse and
Jos{\'{e}} Nuno Oliveira},
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},
series = {Lecture Notes in Computer Science},
volume = {1837},
pages = {60--79},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722010\_5},
doi = {10.1007/10722010\_5},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Hayes00.bib},
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} Proc. Softw.},
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 = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/FidgeHW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SmithH99,
author = {Graeme Smith and
Ian J. Hayes},
editor = {Keijiro Araki and
Andy Galloway and
Kenji Taguchi},
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},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0851-1\_4},
doi = {10.1007/978-1-4471-0851-1\_4},
timestamp = {Thu, 07 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/SmithH99.bib},
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 Aspects Comput.},
volume = {10},
number = {2},
pages = {97--124},
year = {1998},
url = {https://doi.org/10.1007/s001650050006},
doi = {10.1007/S001650050006},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CarringtonHNWW98.bib},
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 Aspects Comput.},
volume = {10},
number = {2},
pages = {187--192},
year = {1998},
url = {https://doi.org/10.1007/s001650050010},
doi = {10.1007/S001650050010},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Hayes98.bib},
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},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICFEM.1998.730571},
doi = {10.1109/ICFEM.1998.730571},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/FidgeHM98.bib},
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},
editor = {Johan Jeuring},
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},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {188--206},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054291},
doi = {10.1007/BFB0054291},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/FidgeHMW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/HayesU98,
author = {Ian J. Hayes and
Mark Utting},
editor = {David Gries and
Willem P. de Roever},
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}},
series = {{IFIP} Conference Proceedings},
volume = {125},
pages = {186--204},
publisher = {Chapman {\&} Hall},
year = {1998},
timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
biburl = {https://dblp.org/rec/conf/procomet/HayesU98.bib},
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, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/NicksonH97.bib},
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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Hayes96.bib},
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},
editor = {Marie{-}Claude Gaudel and
Jim Woodcock},
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},
series = {Lecture Notes in Computer Science},
volume = {1051},
pages = {327--346},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60973-3\_95},
doi = {10.1007/3-540-60973-3\_95},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/FidgeUKH96.bib},
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},
editor = {John P. Gallagher},
title = {Refining Specifications to Logic Programs},
booktitle = {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},
pages = {1--19},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_1},
doi = {10.1007/3-540-62718-9\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/HayesNS96.bib},
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 Aspects Comput.},
volume = {7},
number = {3},
pages = {329--347},
year = {1995},
url = {https://doi.org/10.1007/BF01211077},
doi = {10.1007/BF01211077},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HayesM95.bib},
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 Aspects Comput.},
volume = {7},
number = {4},
pages = {430--439},
year = {1995},
url = {https://doi.org/10.1007/BF01211217},
doi = {10.1007/BF01211217},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HayesS95.bib},
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},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.ieeecomputersociety.org/10.1109/APSEC.1995.10011},
doi = {10.1109/APSEC.1995.10011},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/HayesADV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BancroftH95,
author = {Peter Bancroft and
Ian J. Hayes},
editor = {Jonathan P. Bowen and
Michael G. Hinchey},
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},
series = {Lecture Notes in Computer Science},
volume = {967},
pages = {299--314},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60271-2\_127},
doi = {10.1007/3-540-60271-2\_127},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/BancroftH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/HayesJN94,
author = {Ian J. Hayes and
Cliff B. Jones and
John E. Nicholls},
title = {Understanding the differences between {VDM} and {Z}},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {19},
number = {3},
pages = {75--81},
year = {1994},
url = {https://doi.org/10.1145/182824.182843},
doi = {10.1145/182824.182843},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/HayesJN94.bib},
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},
editor = {David Notkin},
title = {Deriving Modular Designs from Formal Specifications},
booktitle = {Proceedings of the First {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering, {SIGSOFT} 1993, Los Angeles, California,
USA, December 7-10, 1993},
pages = {89--98},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/256428.167066},
doi = {10.1145/256428.167066},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/CarringtonDHW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Hayes92,
author = {Ian J. Hayes},
title = {Multi-Relations in {Z}},
journal = {Acta Informatica},
volume = {29},
number = {1},
pages = {33--62},
year = {1992},
url = {https://doi.org/10.1007/BF01178565},
doi = {10.1007/BF01178565},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Hayes92.bib},
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 Aspects Comput.},
volume = {4},
number = {1},
pages = {76--99},
year = {1992},
url = {https://doi.org/10.1007/BF01214957},
doi = {10.1007/BF01214957},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Hayes92.bib},
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/journals/tse/MahonyH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/HayesW92,
author = {Ian J. Hayes and
Luke Wildman},
editor = {Jonathan P. Bowen and
John E. Nicholls},
title = {Towards Libraries for {Z}},
booktitle = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
series = {Workshops in Computing},
pages = {37--51},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3556-2\_3},
doi = {10.1007/978-1-4471-3556-2\_3},
timestamp = {Thu, 14 Oct 2021 10:43:56 +0200},
biburl = {https://dblp.org/rec/conf/zum/HayesW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Hayes90,
author = {Ian J. Hayes},
editor = {John E. Nicholls},
title = {Interpretations of {Z} Schema Operations},
booktitle = {Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual {Z} User
Meeting, 17-18 December 1990},
series = {Workshops in Computing},
pages = {12--26},
publisher = {Springer},
year = {1990},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/zum/Hayes90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/HayesMR89,
author = {Ian J. Hayes and
M. Mowbray and
Gordon A. Rose},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
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},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/HayesMR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Hayes89,
author = {Ian J. Hayes},
editor = {John E. Nicholls},
title = {A Generalisation of Bags in {Z}},
booktitle = {Proceedings of the Fourth Annual {Z} User Meeting, Oxford, UK, December
15, 1989},
series = {Workshops in Computing},
pages = {113--127},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-1-4471-3877-8\_7},
doi = {10.1007/978-1-4471-3877-8\_7},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/Hayes89.bib},
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 = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/HoareHJMRSSSS87.bib},
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/journals/tse/Hayes86.bib},
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/journals/tse/Hayes85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigarch/Hayes78,
author = {Ian J. Hayes},
title = {Some remarks on "Ambiguous Machine Architecture"},
journal = {{SIGARCH} Comput. Archit. News},
volume = {6},
number = {8},
pages = {23--24},
year = {1978},
url = {https://doi.org/10.1145/1216467.1216473},
doi = {10.1145/1216467.1216473},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigarch/Hayes78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-09 20:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
