BibTeX records: Ian Bayley

download as .bib file

@article{DBLP:journals/jss/ZhuB22,
  author       = {Hong Zhu and
                  Ian Bayley},
  title        = {Discovering boundary values of feature-based machine learning classifiers
                  through exploratory datamorphic testing},
  journal      = {J. Syst. Softw.},
  volume       = {187},
  pages        = {111231},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.jss.2022.111231},
  doi          = {10.1016/J.JSS.2022.111231},
  timestamp    = {Tue, 15 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/ZhuB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aitest/ZhuBG22,
  author       = {Hong Zhu and
                  Ian Bayley and
                  Mark Green},
  title        = {Metrics for Measuring Error Extents of Machine Learning Classifiers},
  booktitle    = {{IEEE} International Conference On Artificial Intelligence Testing,
                  AITest 2022, Newark, CA, USA, August 15-18, 2022},
  pages        = {48--55},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/AITest55621.2022.00016},
  doi          = {10.1109/AITEST55621.2022.00016},
  timestamp    = {Thu, 06 Oct 2022 22:35:08 +0200},
  biburl       = {https://dblp.org/rec/conf/aitest/ZhuBG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2110-00330,
  author       = {Hong Zhu and
                  Ian Bayley},
  title        = {Discovering Boundary Values of Feature-based Machine Learning Classifiers
                  through Exploratory Datamorphic Testing},
  journal      = {CoRR},
  volume       = {abs/2110.00330},
  year         = {2021},
  url          = {https://arxiv.org/abs/2110.00330},
  eprinttype    = {arXiv},
  eprint       = {2110.00330},
  timestamp    = {Fri, 08 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-00330.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sqj/BayleyCM20,
  author       = {Ian Bayley and
                  Yan Cai and
                  Patr{\'{\i}}cia D. L. Machado},
  title        = {Special section on testing and repair for software engineering technologies
                  and applications},
  journal      = {Softw. Qual. J.},
  volume       = {28},
  number       = {2},
  pages        = {821--822},
  year         = {2020},
  url          = {https://doi.org/10.1007/s11219-020-09500-7},
  doi          = {10.1007/S11219-020-09500-7},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sqj/BayleyCM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aitest/0002BLZ20,
  author       = {Hong Zhu and
                  Ian Bayley and
                  Dongmei Liu and
                  Xiaoyu Zheng},
  title        = {Automation of Datamorphic Testing},
  booktitle    = {{IEEE} International Conference On Artificial Intelligence Testing,
                  AITest 2020, Oxford, UK, August 3-6, 2020},
  pages        = {64--72},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/AITEST49225.2020.00017},
  doi          = {10.1109/AITEST49225.2020.00017},
  timestamp    = {Wed, 16 Sep 2020 17:27:27 +0200},
  biburl       = {https://dblp.org/rec/conf/aitest/0002BLZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/0002B20,
  author       = {Hong Zhu and
                  Ian Bayley},
  title        = {Exploratory Datamorphic Testing of Classification Applications},
  booktitle    = {AST@ICSE 2020: {IEEE/ACM} 1st International Conference on Automation
                  of Software Test, Seoul, Republic of Korea, 15-16 July, 2020},
  pages        = {51--60},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3387903.3389312},
  doi          = {10.1145/3387903.3389312},
  timestamp    = {Thu, 27 Jul 2023 16:07:53 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/0002B20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ispa/0002BW20,
  author       = {Hong Zhu and
                  Ian Bayley and
                  Hongbo Wang},
  editor       = {Jia Hu and
                  Geyong Min and
                  Nektarios Georgalas and
                  Zhiwei Zhao and
                  Fei Hao and
                  Wang Miao},
  title        = {Continuous Debugging of Microservices},
  booktitle    = {{IEEE} International Conference on Parallel {\&} Distributed Processing
                  with Applications, Big Data {\&} Cloud Computing, Sustainable
                  Computing {\&} Communications, Social Computing {\&} Networking,
                  ISPA/BDCloud/SocialCom/SustainCom 2020, Exeter, United Kingdom, December
                  17-19, 2020},
  pages        = {736--745},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ISPA-BDCloud-SocialCom-SustainCom51426.2020.00118},
  doi          = {10.1109/ISPA-BDCLOUD-SOCIALCOM-SUSTAINCOM51426.2020.00118},
  timestamp    = {Tue, 15 Mar 2022 15:49:18 +0100},
  biburl       = {https://dblp.org/rec/conf/ispa/0002BW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sose/ZhengL0B20,
  author       = {Xiaoyu Zheng and
                  Dongmei Liu and
                  Hong Zhu and
                  Ian Bayley},
  title        = {Pattern-Based Approach to Modelling and Verifying System Security},
  booktitle    = {14th {IEEE} International Conference on Service Oriented Systems Engineering,
                  {SOSE} 2020, Oxford, UK, August 3-6, 2020},
  pages        = {92--102},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/SOSE49046.2020.00018},
  doi          = {10.1109/SOSE49046.2020.00018},
  timestamp    = {Mon, 21 Sep 2020 13:25:46 +0200},
  biburl       = {https://dblp.org/rec/conf/sose/ZhengL0B20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aitest/ZhuLBHC19,
  author       = {Hong Zhu and
                  Dongmei Liu and
                  Ian Bayley and
                  Rachel Harrison and
                  Fabio Cuzzolin},
  title        = {Datamorphic Testing: {A} Method for Testing Intelligent Applications},
  booktitle    = {{IEEE} International Conference On Artificial Intelligence Testing,
                  AITest 2019, Newark, CA, USA, April 4-9, 2019},
  pages        = {149--156},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/AITest.2019.00018},
  doi          = {10.1109/AITEST.2019.00018},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aitest/ZhuLBHC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1912-04900,
  author       = {Hong Zhu and
                  Dongmei Liu and
                  Ian Bayley and
                  Rachel Harrison and
                  Fabio Cuzzolin},
  title        = {Datamorphic Testing: {A} Methodology for Testing {AI} Applications},
  journal      = {CoRR},
  volume       = {abs/1912.04900},
  year         = {2019},
  url          = {http://arxiv.org/abs/1912.04900},
  eprinttype    = {arXiv},
  eprint       = {1912.04900},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1912-04900.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1912-09881,
  author       = {Hong Zhu and
                  Ian Bayley and
                  Dongmei Liu and
                  Xiaoyu Zheng},
  title        = {Morphy: {A} Datamorphic Software Test Automation Tool},
  journal      = {CoRR},
  volume       = {abs/1912.09881},
  year         = {2019},
  url          = {http://arxiv.org/abs/1912.09881},
  eprinttype    = {arXiv},
  eprint       = {1912.09881},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1912-09881.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/artmed/BrownAHMB18,
  author       = {Daniel Brown and
                  Arantza Aldea and
                  Rachel Harrison and
                  Clare E. Martin and
                  Ian Bayley},
  title        = {Temporal case-based reasoning for type 1 diabetes mellitus bolus insulin
                  decision support},
  journal      = {Artif. Intell. Medicine},
  volume       = {85},
  pages        = {28--42},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.artmed.2017.09.007},
  doi          = {10.1016/J.ARTMED.2017.09.007},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/artmed/BrownAHMB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/IEEEcloud/ZhuWB18,
  author       = {Hong Zhu and
                  Hongbo Wang and
                  Ian Bayley},
  title        = {Formal Analysis of Load Balancing in Microservices with Scenario Calculus},
  booktitle    = {11th {IEEE} International Conference on Cloud Computing, {CLOUD} 2018,
                  San Francisco, CA, USA, July 2-7, 2018},
  pages        = {908--911},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/CLOUD.2018.00133},
  doi          = {10.1109/CLOUD.2018.00133},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEcloud/ZhuWB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sose/ZhuB18,
  author       = {Hong Zhu and
                  Ian Bayley},
  title        = {If Docker is the Answer, What is the Question?},
  booktitle    = {{IEEE} Symposium on Service-Oriented System Engineering, {SOSE} 2018,
                  Bamberg, Germany, March 26-29, 2018},
  pages        = {152--163},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/SOSE.2018.00027},
  doi          = {10.1109/SOSE.2018.00027},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sose/ZhuB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/compsac/ZhuB17,
  author       = {Hong Zhu and
                  Ian Bayley},
  editor       = {Sorel Reisman and
                  Sheikh Iqbal Ahamed and
                  Claudio Demartini and
                  Thomas M. Conte and
                  Ling Liu and
                  William R. Claycomb and
                  Motonori Nakamura and
                  Edmundo Tovar and
                  Stelvio Cimato and
                  Chung{-}Horng Lung and
                  Hiroki Takakura and
                  Ji{-}Jiang Yang and
                  Toyokazu Akiyama and
                  Zhiyong Zhang and
                  Kamrul Hasan},
  title        = {On the Composibility of Design Patterns: Extended Abstract},
  booktitle    = {41st {IEEE} Annual Computer Software and Applications Conference,
                  {COMPSAC} 2017, Turin, Italy, July 4-8, 2017. Volume 1},
  pages        = {369--370},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/COMPSAC.2017.177},
  doi          = {10.1109/COMPSAC.2017.177},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ZhuB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/IEEEscc/LiuZXBLGM16,
  author       = {Desheng Liu and
                  Hong Zhu and
                  ChengZhi Xu and
                  Ian Bayley and
                  David E. Lightfoot and
                  Mark Green and
                  Peter Marshall},
  editor       = {Jia Zhang and
                  John A. Miller and
                  Xiaofei Xu},
  title        = {{CIDE:} An Integrated Development Environment for Microservices},
  booktitle    = {{IEEE} International Conference on Services Computing, {SCC} 2016,
                  San Francisco, CA, USA, June 27 - July 2, 2016},
  pages        = {808--812},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SCC.2016.112},
  doi          = {10.1109/SCC.2016.112},
  timestamp    = {Thu, 11 Apr 2024 20:25:44 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/LiuZXBLGM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sose/LiuWZZB16,
  author       = {Dongmei Liu and
                  Xian Wu and
                  Xin Zhang and
                  Hong Zhu and
                  Ian Bayley},
  title        = {Monic Testing of Web Services Based on Algebraic Specifications},
  booktitle    = {2016 {IEEE} Symposium on Service-Oriented System Engineering, {SOSE}
                  2016, Oxford, United Kingdom, March 29 - April 2, 2016},
  pages        = {24--33},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SOSE.2016.45},
  doi          = {10.1109/SOSE.2016.45},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sose/LiuWZZB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sose/XuZBLGM16,
  author       = {ChengZhi Xu and
                  Hong Zhu and
                  Ian Bayley and
                  David E. Lightfoot and
                  Mark Green and
                  Peter Marshall},
  title        = {{CAOPLE:} {A} Programming Language for Microservices SaaS},
  booktitle    = {2016 {IEEE} Symposium on Service-Oriented System Engineering, {SOSE}
                  2016, Oxford, United Kingdom, March 29 - April 2, 2016},
  pages        = {34--43},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SOSE.2016.46},
  doi          = {10.1109/SOSE.2016.46},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sose/XuZBLGM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sose/LiuYCZBA16,
  author       = {Dongmei Liu and
                  Yunfei Yang and
                  Ying Chen and
                  Hong Zhu and
                  Ian Bayley and
                  Arantza Aldea},
  title        = {Evaluating the Ontological Semantic Description of Web Services Generated
                  from Algebraic Specifications},
  booktitle    = {2016 {IEEE} Symposium on Service-Oriented System Engineering, {SOSE}
                  2016, Oxford, United Kingdom, March 29 - April 2, 2016},
  pages        = {211--220},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SOSE.2016.44},
  doi          = {10.1109/SOSE.2016.44},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sose/LiuYCZBA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tse/ZhuB15,
  author       = {Hong Zhu and
                  Ian Bayley},
  title        = {On the Composability of Design Patterns},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {41},
  number       = {11},
  pages        = {1138--1152},
  year         = {2015},
  url          = {https://doi.org/10.1109/TSE.2015.2445341},
  doi          = {10.1109/TSE.2015.2445341},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/ZhuB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/IEEEcloud/ZhuBYLYL15,
  author       = {Hong Zhu and
                  Ian Bayley and
                  Muhammad Younas and
                  David E. Lightfoot and
                  Basel Yousef and
                  Dongmei Liu},
  editor       = {Calton Pu and
                  Ajay Mohindra},
  title        = {Big SaaS: The Next Step beyond Big Data},
  booktitle    = {8th {IEEE} International Conference on Cloud Computing, {CLOUD} 2015,
                  New York City, NY, USA, June 27 - July 2, 2015},
  pages        = {1131--1140},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/CLOUD.2015.167},
  doi          = {10.1109/CLOUD.2015.167},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEcloud/ZhuBYLYL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/bigdata/ZhuBYLYL15,
  author       = {Hong Zhu and
                  Ian Bayley and
                  Muhammad Younas and
                  David E. Lightfoot and
                  Basel Yousef and
                  Dongmei Liu},
  editor       = {Barbara Carminati and
                  Latifur Khan},
  title        = {Big SaaS: The Next Step Beyond Big Data},
  booktitle    = {2015 {IEEE} International Congress on Big Data, New York City, NY,
                  USA, June 27 - July 2, 2015},
  pages        = {775--784},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/BigDataCongress.2015.131},
  doi          = {10.1109/BIGDATACONGRESS.2015.131},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bigdata/ZhuBYLYL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sose/LiuLZZB15,
  author       = {Dongmei Liu and
                  Yuxin Liu and
                  Xin Zhang and
                  Hong Zhu and
                  Ian Bayley},
  title        = {Automated Testing of Web Services Based on Algebraic Specifications},
  booktitle    = {2015 {IEEE} Symposium on Service-Oriented System Engineering, {SOSE}
                  2015, San Francisco Bay, CA, USA, March 30 - April 3, 2015},
  pages        = {143--152},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/SOSE.2015.33},
  doi          = {10.1109/SOSE.2015.33},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sose/LiuLZZB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sose/LiuZB14,
  author       = {Dongmei Liu and
                  Hong Zhu and
                  Ian Bayley},
  title        = {{SOFIA:} An Algebraic Specification Language for Developing Services},
  booktitle    = {8th {IEEE} International Symposium on Service Oriented System Engineering,
                  {SOSE} 2014, Oxford, United Kingdom, April 7-11, 2014},
  pages        = {70--75},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/SOSE.2014.14},
  doi          = {10.1109/SOSE.2014.14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sose/LiuZB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Bayley14,
  author       = {Ian Bayley},
  editor       = {Clive Blackwell and
                  Hong Zhu},
  title        = {Challenges for a Formal Framework for Patterns},
  booktitle    = {Cyberpatterns, Unifying Design Patterns with Security and Attack Patterns},
  pages        = {47--55},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-04447-7\_4},
  doi          = {10.1007/978-3-319-04447-7\_4},
  timestamp    = {Thu, 30 Apr 2020 12:10:32 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Bayley14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tosem/ZhuB13,
  author       = {Hong Zhu and
                  Ian Bayley},
  title        = {An algebra of design patterns},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {22},
  number       = {3},
  pages        = {23:1--23:35},
  year         = {2013},
  url          = {https://doi.org/10.1145/2491509.2491517},
  doi          = {10.1145/2491509.2491517},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tosem/ZhuB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/healthcom/BrownBHM13,
  author       = {Daniel Brown and
                  Ian Bayley and
                  Rachel Harrison and
                  Clare E. Martin},
  title        = {Developing a mobile case-based reasoning application to assist type
                  1 diabetes management},
  booktitle    = {{IEEE} 15th International Conference on e-Health Networking, Applications
                  and Services, Healthcom 2013, Lisbon, Portugal, October 9-12, 2013},
  pages        = {1--3},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/HealthCom.2013.6720782},
  doi          = {10.1109/HEALTHCOM.2013.6720782},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/healthcom/BrownBHM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icws/LiuZB13,
  author       = {Dongmei Liu and
                  Hong Zhu and
                  Ian Bayley},
  title        = {From Algebraic Specification to Ontological Description of Service
                  Semantics},
  booktitle    = {2013 {IEEE} 20th International Conference on Web Services, Santa Clara,
                  CA, USA, June 28 - July 3, 2013},
  pages        = {579--586},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICWS.2013.93},
  doi          = {10.1109/ICWS.2013.93},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/LiuZB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdp/LiuZB13,
  author       = {Dongmei Liu and
                  Hong Zhu and
                  Ian Bayley},
  title        = {A Case Study on Algebraic Specification of Cloud Computing},
  booktitle    = {21st Euromicro International Conference on Parallel, Distributed,
                  and Network-Based Processing, {PDP} 2013, Belfast, United Kingdom,
                  February 27 - March 1, 2013},
  pages        = {269--273},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/PDP.2013.46},
  doi          = {10.1109/PDP.2013.46},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pdp/LiuZB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jss/BayleyZ10,
  author       = {Ian Bayley and
                  Hong Zhu},
  title        = {Formal specification of the variants and behavioural features of design
                  patterns},
  journal      = {J. Syst. Softw.},
  volume       = {83},
  number       = {2},
  pages        = {209--221},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.jss.2009.09.039},
  doi          = {10.1016/J.JSS.2009.09.039},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jss/BayleyZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/ZhuB10,
  author       = {Hong Zhu and
                  Ian Bayley},
  editor       = {Jin Song Dong and
                  Huibiao Zhu},
  title        = {Laws of Pattern Composition},
  booktitle    = {Formal Methods and Software Engineering - 12th International Conference
                  on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
                  17-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6447},
  pages        = {630--645},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16901-4\_41},
  doi          = {10.1007/978-3-642-16901-4\_41},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/ZhuB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/compsac/ZhuBSA09,
  author       = {Hong Zhu and
                  Ian Bayley and
                  Lijun Shan and
                  Richard Amphlett},
  editor       = {Sheikh Iqbal Ahamed and
                  Elisa Bertino and
                  Carl K. Chang and
                  Vladimir Getov and
                  Lin Liu and
                  Ming Hua and
                  Rajesh Subramanyan},
  title        = {Tool Support for Design Pattern Recognition at Model Level},
  booktitle    = {Proceedings of the 33rd Annual {IEEE} International Computer Software
                  and Applications Conference, {COMPSAC} 2009, Seattle, Washington,
                  USA, July 20-24, 2009. Volume 1},
  pages        = {228--233},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/COMPSAC.2009.37},
  doi          = {10.1109/COMPSAC.2009.37},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ZhuBSA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/wi/09/ZhuSBA09,
  author       = {Hong Zhu and
                  Lijun Shan and
                  Ian Bayley and
                  Richard Amphlett},
  editor       = {Kevin Lano},
  title        = {Formal Descriptive Semantics of {UML} and Its Applications},
  booktitle    = {{UML} 2 Semantics and Applications},
  pages        = {95--123},
  publisher    = {Wiley},
  year         = {2009},
  url          = {https://doi.org/10.1002/9780470522622.ch5},
  doi          = {10.1002/9780470522622.CH5},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/wi/09/ZhuSBA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/compsac/BayleyZ08,
  author       = {Ian Bayley and
                  Hong Zhu},
  title        = {Specifying Behavioural Features of Design Patterns in First Order
                  Logic},
  booktitle    = {Proceedings of the 32nd Annual {IEEE} International Computer Software
                  and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
                  Turku, Finland},
  pages        = {203--210},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/COMPSAC.2008.67},
  doi          = {10.1109/COMPSAC.2008.67},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/BayleyZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qsic/BayleyZ08,
  author       = {Ian Bayley and
                  Hong Zhu},
  editor       = {Hong Zhu},
  title        = {On the Composition of Design Patterns},
  booktitle    = {Proceedings of the Eighth International Conference on Quality Software,
                  {QSIC} 2008, 12-13 August 2008, Oxford, {UK}},
  pages        = {27--36},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/QSIC.2008.32},
  doi          = {10.1109/QSIC.2008.32},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qsic/BayleyZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Bayley07,
  author       = {Ian Bayley},
  title        = {Formalising Design Patterns in Predicate Logic},
  booktitle    = {Fifth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
                  {UK}},
  pages        = {25--36},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/SEFM.2007.22},
  doi          = {10.1109/SEFM.2007.22},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/Bayley07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ShielB05,
  author       = {Sam Shiel and
                  Ian Bayley},
  editor       = {Fausto Spoto},
  title        = {A Translation-Facilitated Comparison Between the Common Language Runtime
                  and the Java Virtual Machine},
  booktitle    = {Proceedings of the First Workshop on Bytecode Semantics, Verification,
                  Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April
                  9, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {141},
  number       = {1},
  pages        = {35--52},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.02.039},
  doi          = {10.1016/J.ENTCS.2005.02.039},
  timestamp    = {Tue, 13 Dec 2022 11:21:43 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ShielB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BayleyS05,
  author       = {Ian Bayley and
                  Sam Shiel},
  editor       = {Fausto Spoto},
  title        = {{JVM} Bytecode Verification Without Dataflow Analysis},
  booktitle    = {Proceedings of the First Workshop on Bytecode Semantics, Verification,
                  Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April
                  9, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {141},
  number       = {1},
  pages        = {203--220},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.02.029},
  doi          = {10.1016/J.ENTCS.2005.02.029},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BayleyS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/MartinGB04,
  author       = {Clare E. Martin and
                  Jeremy Gibbons and
                  Ian Bayley},
  title        = {Disciplined, efficient, generalised folds for nested datatypes},
  journal      = {Formal Aspects Comput.},
  volume       = {16},
  number       = {1},
  pages        = {19--35},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00165-003-0013-6},
  doi          = {10.1007/S00165-003-0013-6},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/MartinGB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.