Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Anthony J. H. Simons
@article{DBLP:journals/tbd/GyeeraSS23,
author = {Thomas Weripuo Gyeera and
Anthony J. H. Simons and
Mike Stannett},
title = {Regression Analysis of Predictions and Forecasts of Cloud Data Center
KPIs Using the Boosted Decision Tree Algorithm},
journal = {{IEEE} Trans. Big Data},
volume = {9},
number = {4},
pages = {1071--1085},
year = {2023},
url = {https://doi.org/10.1109/TBDATA.2022.3230649},
doi = {10.1109/TBDATA.2022.3230649},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tbd/GyeeraSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/GyeeraSS23,
author = {Thomas Weripuo Gyeera and
Anthony J. H. Simons and
Mike Stannett},
title = {Kalman Filter Based Prediction and Forecasting of Cloud Server KPIs},
journal = {{IEEE} Trans. Serv. Comput.},
volume = {16},
number = {4},
pages = {2742--2754},
year = {2023},
url = {https://doi.org/10.1109/TSC.2022.3217148},
doi = {10.1109/TSC.2022.3217148},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsc/GyeeraSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csl/AlharbiHSBG20,
author = {Sadeen Alharbi and
Madina Hasan and
Anthony J. H. Simons and
Shelagh Brumfitt and
Phil D. Green},
title = {Sequence labeling to detect stuttering events in read speech},
journal = {Comput. Speech Lang.},
volume = {62},
pages = {101052},
year = {2020},
url = {https://doi.org/10.1016/j.csl.2019.101052},
doi = {10.1016/J.CSL.2019.101052},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csl/AlharbiHSBG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/SimonsL20,
author = {Anthony J. H. Simons and
Raluca Lefticaru},
title = {A verified and optimized Stream X-Machine testing method, with application
to cloud service certification},
journal = {Softw. Test. Verification Reliab.},
volume = {30},
number = {3},
year = {2020},
url = {https://doi.org/10.1002/stvr.1729},
doi = {10.1002/STVR.1729},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/SimonsL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeehpcs/AlzahraniSR19,
author = {Eidah Alzahrani and
Anthony J. H. Simons and
Paul Richmond},
title = {Data Aware Simulation of Complex Systems on GPUs},
booktitle = {17th International Conference on High Performance Computing {\&}
Simulation, {HPCS} 2019, Dublin, Ireland, July 15-19, 2019},
pages = {567--574},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/HPCS48598.2019.9188054},
doi = {10.1109/HPCS48598.2019.9188054},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ieeehpcs/AlzahraniSR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interspeech/AlharbiHSBG18,
author = {Sadeen Alharbi and
Madina Hasan and
Anthony J. H. Simons and
Shelagh Brumfitt and
Phil D. Green},
editor = {B. Yegnanarayana},
title = {A Lightly Supervised Approach to Detect Stuttering in Children's Speech},
booktitle = {Interspeech 2018, 19th Annual Conference of the International Speech
Communication Association, Hyderabad, India, 2-6 September 2018},
pages = {3433--3437},
publisher = {{ISCA}},
year = {2018},
url = {https://doi.org/10.21437/Interspeech.2018-2155},
doi = {10.21437/INTERSPEECH.2018-2155},
timestamp = {Fri, 21 May 2021 08:16:43 +0200},
biburl = {https://dblp.org/rec/conf/interspeech/AlharbiHSBG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/AlzahraniRS17,
author = {Eidah Alzahrani and
Paul Richmond and
Anthony J. H. Simons},
editor = {Dora Blanco Heras and
Luc Boug{\'{e}} and
Gabriele Mencagli and
Emmanuel Jeannot and
Rizos Sakellariou and
Rosa M. Badia and
Jorge G. Barbosa and
Laura Ricci and
Stephen L. Scott and
Stefan Lankes and
Josef Weidendorfer},
title = {A Formula-Driven Scalable Benchmark Model for ABM, Applied to {FLAME}
{GPU}},
booktitle = {Euro-Par 2017: Parallel Processing Workshops - Euro-Par 2017 International
Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10659},
pages = {703--714},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-75178-8\_56},
doi = {10.1007/978-3-319-75178-8\_56},
timestamp = {Thu, 14 Oct 2021 10:28:38 +0200},
biburl = {https://dblp.org/rec/conf/europar/AlzahraniRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slsp/AlharbiHSBG17,
author = {Sadeen Alharbi and
Madina Hasan and
Anthony J. H. Simons and
Shelagh Brumfitt and
Phil D. Green},
editor = {Nathalie Camelin and
Yannick Est{\`{e}}ve and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Detecting Stuttering Events in Transcripts of Children's Speech},
booktitle = {Statistical Language and Speech Processing - 5th International Conference,
{SLSP} 2017, Le Mans, France, October 23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10583},
pages = {217--228},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68456-7\_18},
doi = {10.1007/978-3-319-68456-7\_18},
timestamp = {Mon, 05 Feb 2024 20:30:39 +0100},
biburl = {https://dblp.org/rec/conf/slsp/AlharbiHSBG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wocci/AlharbiSBG17,
author = {Sadeen Alharbi and
Anthony J. H. Simons and
Shelagh Brumfitt and
Phil D. Green},
editor = {Keelan Evanini and
Maryam Najafian and
Saeid Safavi and
Kay Berkling},
title = {Automatic recognition of children's read speech for stuttering application},
booktitle = {{WOCCI} 2017: 6th International Workshop on Child Computer Interaction,
13 November 2017, Glasgow, Scotland, {UK}},
pages = {1--6},
publisher = {{ISCA}},
year = {2017},
url = {http://www.isca-speech.org/archive/WOCCI\_2017/abstracts/WOCCI\_2017\_paper\_3.html},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wocci/AlharbiSBG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcac/KiranS16,
author = {Mariam Kiran and
Anthony J. H. Simons},
title = {Testing Software Services in Cloud Ecosystems},
journal = {Int. J. Cloud Appl. Comput.},
volume = {6},
number = {1},
pages = {42--58},
year = {2016},
url = {https://doi.org/10.4018/IJCAC.2016010103},
doi = {10.4018/IJCAC.2016010103},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcac/KiranS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijssoe/GonidisPS15,
author = {Fotis Gonidis and
Iraklis Paraskakis and
Anthony J. H. Simons},
title = {Rapid Development of Service-based Cloud Applications: The Case of
the Cloud Application Platforms},
journal = {Int. J. Syst. Serv. Oriented Eng.},
volume = {5},
number = {4},
pages = {1--25},
year = {2015},
url = {https://doi.org/10.4018/IJSSOE.2015100101},
doi = {10.4018/IJSSOE.2015100101},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijssoe/GonidisPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloudcom/GonidisPS14,
author = {Fotis Gonidis and
Iraklis Paraskakis and
Anthony J. H. Simons},
title = {Leveraging Platform Basic Services in Cloud Application Platforms
for the Development of Cloud Applications},
booktitle = {{IEEE} 6th International Conference on Cloud Computing Technology
and Science, CloudCom 2014, Singapore, December 15-18, 2014},
pages = {751--754},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CloudCom.2014.150},
doi = {10.1109/CLOUDCOM.2014.150},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cloudcom/GonidisPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/SimonsRPJ14,
author = {Anthony J. H. Simons and
Alessandro Rossini and
Iraklis Paraskakis and
Jens Jensen},
editor = {Guadalupe Ortiz and
Cuong Tran},
title = {Cloud Service Brokerage - 2014: Towards the Multi-cloud Ecosystem},
booktitle = {Advances in Service-Oriented and Cloud Computing - Workshops of {ESOCC}
2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {508},
pages = {121--123},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-14886-1\_12},
doi = {10.1007/978-3-319-14886-1\_12},
timestamp = {Fri, 29 Apr 2022 09:10:26 +0200},
biburl = {https://dblp.org/rec/conf/esocc/SimonsRPJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/GonidisPS14,
author = {Fotis Gonidis and
Iraklis Paraskakis and
Anthony J. H. Simons},
editor = {Guadalupe Ortiz and
Cuong Tran},
title = {A Development Framework Enabling the Design of Service-Based Cloud
Applications},
booktitle = {Advances in Service-Oriented and Cloud Computing - Workshops of {ESOCC}
2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {508},
pages = {139--152},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-14886-1\_14},
doi = {10.1007/978-3-319-14886-1\_14},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esocc/GonidisPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/LefticaruS14,
author = {Raluca Lefticaru and
Anthony J. H. Simons},
editor = {Guadalupe Ortiz and
Cuong Tran},
title = {X-Machine Based Testing for Cloud Services},
booktitle = {Advances in Service-Oriented and Cloud Computing - Workshops of {ESOCC}
2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {508},
pages = {175--189},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-14886-1\_17},
doi = {10.1007/978-3-319-14886-1\_17},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esocc/LefticaruS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/KiranS14,
author = {Mariam Kiran and
Anthony J. H. Simons},
editor = {Guadalupe Ortiz and
Cuong Tran},
title = {Model-Based Testing for Composite Web Services in Cloud Brokerage
Scenarios},
booktitle = {Advances in Service-Oriented and Cloud Computing - Workshops of {ESOCC}
2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {508},
pages = {190--205},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-14886-1\_18},
doi = {10.1007/978-3-319-14886-1\_18},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esocc/KiranS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/GonidisPS14,
author = {Fotis Gonidis and
Iraklis Paraskakis and
Anthony J. H. Simons},
editor = {Lu{\'{\i}}s M. B. Lopes and
Julius Zilinskas and
Alexandru Costan and
Roberto G. Cascella and
Gabor Kecskemeti and
Emmanuel Jeannot and
Mario Cannataro and
Laura Ricci and
Siegfried Benkner and
Salvador Petit and
Vittorio Scarano and
Jos{\'{e}} Gracia and
Sascha Hunold and
Stephen L. Scott and
Stefan Lankes and
Christian Lengauer and
Jes{\'{u}}s Carretero and
Jens Breitbart and
Michael Alexander},
title = {On the Role of Ontologies in the Design of Service Based Cloud Applications},
booktitle = {Euro-Par 2014: Parallel Processing Workshops - Euro-Par 2014 International
Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8806},
pages = {1--12},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-14313-2\_1},
doi = {10.1007/978-3-319-14313-2\_1},
timestamp = {Sun, 12 Nov 2023 02:07:45 +0100},
biburl = {https://dblp.org/rec/conf/europar/GonidisPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/SimonsBKPVVMBR14,
author = {Anthony J. H. Simons and
Konstantinos Bratanis and
Dimitrios Kourtesis and
Iraklis Paraskakis and
Simeon Veloudis and
Yiannis Verginadis and
Gregoris Mentzas and
Simone Braun and
Alessandro Rossini},
editor = {Yehia Elkhatib and
Stefan Walraven},
title = {Advanced service brokerage capabilities as the catalyst for future
cloud service ecosystems},
booktitle = {Proceedings of the 2nd International Workshop on CrossCloud Systems,
CCB@Middleware 2014, Bordeaux, France, December 8, 2014},
pages = {7:1--7:6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2676662.2676675},
doi = {10.1145/2676662.2676675},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/middleware/SimonsBKPVVMBR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/SimonsFB13,
author = {Anthony J. H. Simons and
Gordon Fraser and
Leonardo Bottaci},
title = {Guest editor's introduction to the special section on {TAIC-PART}
2010 - Testing: Academic and Industrial Conference-Practice and Research
Techniques},
journal = {Softw. Pract. Exp.},
volume = {43},
number = {9},
pages = {1101--1102},
year = {2013},
url = {https://doi.org/10.1002/spe.2115},
doi = {10.1002/SPE.2115},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/spe/SimonsFB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bci/GonidisSPK13,
author = {Fotis Gonidis and
Anthony J. H. Simons and
Iraklis Paraskakis and
Dimitrios Kourtesis},
editor = {Kostas I. Diamantaras and
Georgios Evangelidis and
Yannis Manolopoulos and
Christos K. Georgiadis and
Petros Kefalas and
Demosthenes Stamatis},
title = {Cloud application portability: an initial view},
booktitle = {Balkan Conference in Informatics, {BCI} '13, Thessaloniki, Greece,
September 19-21, 2013},
pages = {275--282},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2490257.2490290},
doi = {10.1145/2490257.2490290},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/bci/GonidisSPK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/MentzasSP13,
author = {Gregoris Mentzas and
Anthony J. H. Simons and
Iraklis Paraskakis},
editor = {Alessio Lomuscio and
Surya Nepal and
Fabio Patrizi and
Boualem Benatallah and
Ivona Brandic},
title = {Cloud Service Brokerage - 2013: Methods and Mechanisms},
booktitle = {Service-Oriented Computing - {ICSOC} 2013 Workshops - CCSA, CSB, PASCEB,
SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8377},
pages = {135--136},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-06859-6\_12},
doi = {10.1007/978-3-319-06859-6\_12},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoc/MentzasSP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/KourtesisBFVSRSG13,
author = {Dimitrios Kourtesis and
Konstantinos Bratanis and
Andreas Friesen and
Yiannis Verginadis and
Anthony J. H. Simons and
Alessandro Rossini and
Antonia Schwichtenberg and
Panagiotis Gouvas},
editor = {Alessio Lomuscio and
Surya Nepal and
Fabio Patrizi and
Boualem Benatallah and
Ivona Brandic},
title = {Brokerage for Quality Assurance and Optimisation of Cloud Services:
An Analysis of Key Requirements},
booktitle = {Service-Oriented Computing - {ICSOC} 2013 Workshops - CCSA, CSB, PASCEB,
SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8377},
pages = {150--162},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-06859-6\_14},
doi = {10.1007/978-3-319-06859-6\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/KourtesisBFVSRSG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/KiranFSS13,
author = {Mariam Kiran and
Andreas Friesen and
Anthony J. H. Simons and
Wolfgang K. R. Schwach},
editor = {Alessio Lomuscio and
Surya Nepal and
Fabio Patrizi and
Boualem Benatallah and
Ivona Brandic},
title = {Model-Based Testing in Cloud Brokerage Scenarios},
booktitle = {Service-Oriented Computing - {ICSOC} 2013 Workshops - CCSA, CSB, PASCEB,
SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8377},
pages = {192--208},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-06859-6\_17},
doi = {10.1007/978-3-319-06859-6\_17},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/KiranFSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DerrickNS11,
author = {John Derrick and
Siobh{\'{a}}n North and
Anthony J. H. Simons},
title = {{Z2SAL:} a translation-based model checker for {Z}},
journal = {Formal Aspects Comput.},
volume = {23},
number = {1},
pages = {43--71},
year = {2011},
url = {https://doi.org/10.1007/s00165-009-0126-7},
doi = {10.1007/S00165-009-0126-7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DerrickNS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/BratanisDS11,
author = {Konstantinos Bratanis and
Dimitris Dranidis and
Anthony J. H. Simons},
editor = {Domenico Bianculli and
Sam Guinea and
Andreas Metzger and
Andrea Polini},
title = {SLAs for cross-layer adaptation and monitoring of service-based applications:
a case study},
booktitle = {Proceedings of the International Workshop on Quality Assurance for
Service-Based Applications, {QASBA} 2011, Lugano, Switzerland, September
14, 2011},
series = {{ACM} International Conference Proceeding Series},
pages = {28--32},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2031746.2031755},
doi = {10.1145/2031746.2031755},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecows/BratanisDS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-4092,
author = {John Derrick and
Siobh{\'{a}}n North and
Anthony J. H. Simons},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Building a refinement checker for {Z}},
booktitle = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
Limerick, Ireland, 20th June 2011},
series = {{EPTCS}},
volume = {55},
pages = {37--52},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.55.3},
doi = {10.4204/EPTCS.55.3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4092.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/BratanisDS10,
author = {Konstantinos Bratanis and
Dimitris Dranidis and
Anthony J. H. Simons},
editor = {Leonardo Bottaci and
Gordon Fraser},
title = {Towards Run-Time Monitoring of Web Services Conformance to Business-Level
Agreements},
booktitle = {Testing - Practice and Research Techniques, 5th International Academic
and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
3-5, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6303},
pages = {203--206},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15585-7\_22},
doi = {10.1007/978-3-642-15585-7\_22},
timestamp = {Mon, 23 Nov 2020 12:33:09 +0100},
biburl = {https://dblp.org/rec/conf/taicpart/BratanisDS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/HieronsBBCDDGHKKLSVWZ09,
author = {Robert M. Hierons and
Kirill Bogdanov and
Jonathan P. Bowen and
Rance Cleaveland and
John Derrick and
Jeremy Dick and
Marian Gheorghe and
Mark Harman and
Kalpesh Kapoor and
Paul J. Krause and
Gerald L{\"{u}}ttgen and
Anthony J. H. Simons and
Sergiy A. Vilkomir and
Martin R. Woodward and
Hussein Zedan},
title = {Using formal specifications to support testing},
journal = {{ACM} Comput. Surv.},
volume = {41},
number = {2},
pages = {9:1--9:76},
year = {2009},
url = {https://doi.org/10.1145/1459352.1459354},
doi = {10.1145/1459352.1459354},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/HieronsBBCDDGHKKLSVWZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/RamollariKDS09,
author = {Ervin Ramollari and
Dimitrios Kourtesis and
Dimitris Dranidis and
Anthony J. H. Simons},
editor = {Lora Aroyo and
Paolo Traverso and
Fabio Ciravegna and
Philipp Cimiano and
Tom Heath and
Eero Hyv{\"{o}}nen and
Riichiro Mizoguchi and
Eyal Oren and
Marta Sabou and
Elena Simperl},
title = {Leveraging Semantic Web Service Descriptions for Validation by Automated
Functional Testing},
booktitle = {The Semantic Web: Research and Applications, 6th European Semantic
Web Conference, {ESWC} 2009, Heraklion, Crete, Greece, May 31-June
4, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5554},
pages = {593--607},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02121-3\_44},
doi = {10.1007/978-3-642-02121-3\_44},
timestamp = {Fri, 23 Jun 2023 11:56:12 +0200},
biburl = {https://dblp.org/rec/conf/esws/RamollariKDS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/DerrickNS08,
author = {John Derrick and
Siobh{\'{a}}n North and
Anthony J. H. Simons},
editor = {Egon B{\"{o}}rger and
Michael J. Butler and
Jonathan P. Bowen and
Paul Boca},
title = {{Z2SAL} - Building a Model Checker for {Z}},
booktitle = {Abstract State Machines, {B} and Z, First International Conference,
{ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5238},
pages = {280--293},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87603-8\_22},
doi = {10.1007/978-3-540-87603-8\_22},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/DerrickNS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/ThomsonHCSM08,
author = {Christopher Thomson and
Mike Holcombe and
Tony Cowling and
Tony Simons and
George Michaelides},
editor = {H. Dieter Rombach and
Sebastian G. Elbaum and
J{\"{u}}rgen M{\"{u}}nch},
title = {A pilot study of comparative customer comprehension between extreme
x-machine and uml models},
booktitle = {Proceedings of the Second International Symposium on Empirical Software
Engineering and Measurement, {ESEM} 2008, October 9-10, 2008, Kaiserslautern,
Germany},
pages = {270--272},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1414004.1414048},
doi = {10.1145/1414004.1414048},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esem/ThomsonHCSM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SimonsT08,
author = {Anthony J. H. Simons and
Christopher David Thomson},
title = {Benchmarking Effectiveness for Object-Oriented Unit Testing},
booktitle = {First International Conference on Software Testing Verification and
Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008, Workshops
Proceedings},
pages = {375--379},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICSTW.2008.10},
doi = {10.1109/ICSTW.2008.10},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SimonsT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0802-2258,
author = {Anthony J. H. Simons and
Carlos Alberto Fern{\'{a}}ndez y Fern{\'{a}}ndez},
title = {Using Alloy to model-check visual design notations},
journal = {CoRR},
volume = {abs/0802.2258},
year = {2008},
url = {http://arxiv.org/abs/0802.2258},
eprinttype = {arXiv},
eprint = {0802.2258},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0802-2258.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Simons07,
author = {Anthony J. H. Simons},
title = {JWalk: a tool for lazy, systematic testing of java classes by design
introspection and user interaction},
journal = {Autom. Softw. Eng.},
volume = {14},
number = {4},
pages = {369--418},
year = {2007},
url = {https://doi.org/10.1007/s10515-007-0015-3},
doi = {10.1007/S10515-007-0015-3},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/Simons07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Simons06,
author = {Anthony J. H. Simons},
title = {Verification and Validation for Quality of {UML} 2.0 Models. By Bhuvan
Unhelkar. Wiley, 2005, {ISBN:} 0-471-72783-0, 271 pp},
journal = {Softw. Test. Verification Reliab.},
volume = {16},
number = {1},
pages = {62--64},
year = {2006},
url = {https://doi.org/10.1002/stvr.341},
doi = {10.1002/STVR.341},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Simons06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Simons06a,
author = {Anthony J. H. Simons},
title = {A theory of regression testing for behaviourally compatible object
types},
journal = {Softw. Test. Verification Reliab.},
volume = {16},
number = {3},
pages = {133--156},
year = {2006},
url = {https://doi.org/10.1002/stvr.349},
doi = {10.1002/STVR.349},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Simons06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DerrickNS06,
author = {John Derrick and
Siobh{\'{a}}n North and
Tony Simons},
editor = {Zhiming Liu and
Jifeng He},
title = {Issues in Implementing a Model Checker for {Z}},
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 = {678--696},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_37},
doi = {10.1007/11901433\_37},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DerrickNS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Simons05,
author = {Anthony J. H. Simons},
title = {The Theory of Classification, Part 16: Rules of Extension and the
Typing of Inheritance},
journal = {J. Object Technol.},
volume = {4},
number = {1},
pages = {13--26},
year = {2005},
url = {https://doi.org/10.5381/jot.2005.4.1.c2},
doi = {10.5381/JOT.2005.4.1.C2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Simons05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Classification105,
author = {Anthony J. H. Simons},
title = {The Theory of Classification, Part 17: Multiple Inheritance and the
Resolution of Inheritance Conflicts},
journal = {J. Object Technol.},
volume = {4},
number = {2},
pages = {15--26},
year = {2005},
url = {https://doi.org/10.5381/jot.2005.4.2.c2},
doi = {10.5381/JOT.2005.4.2.C2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Classification105.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Simons05a,
author = {Anthony J. H. Simons},
title = {The Theory of Classification, Part 18: Polymorphism through the Looking
Glass},
journal = {J. Object Technol.},
volume = {4},
number = {4},
pages = {7--18},
year = {2005},
url = {http://www.jot.fm/issues/issue\_2005\_05/column1},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jot/Simons05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Simons05b,
author = {Anthony J. H. Simons},
title = {The Theory of Classification Part 19: The Proliferation of Parameters},
journal = {J. Object Technol.},
volume = {4},
number = {5},
pages = {36--48},
year = {2005},
url = {https://doi.org/10.5381/jot.2005.4.5.c4},
doi = {10.5381/JOT.2005.4.5.C4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Simons05b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Simons05c,
author = {Anthony J. H. Simons},
title = {The Theory of Classification Part 20: Modular Checking of Classtypes},
journal = {J. Object Technol.},
volume = {4},
number = {7},
pages = {7--18},
year = {2005},
url = {https://doi.org/10.5381/jot.2005.4.7.c1},
doi = {10.5381/JOT.2005.4.7.C1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Simons05c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enc/SimonsF05,
author = {Anthony J. H. Simons and
Carlos Alberto Fern{\'{a}}ndez y Fern{\'{a}}ndez},
title = {Using Alloy to model-check visual design notations},
booktitle = {Sixth Mexican International Conference on Computer Science {(ENC}
2005), 26-30 September 2005, Puebla, Mexico},
pages = {121--128},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ENC.2005.52},
doi = {10.1109/ENC.2005.52},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enc/SimonsF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xpu/Simons05,
author = {Anthony J. H. Simons},
editor = {Hubert Baumeister and
Michele Marchesi and
Mike Holcombe},
title = {Testing with Guarantees and the Failure of Regression Testing in eXtreme
Programming},
booktitle = {Extreme Programming and Agile Processes in Software Engineering, 6th
International Conference, {XP} 2005, Sheffield, UK, June 18-23, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3556},
pages = {118--126},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499053\_14},
doi = {10.1007/11499053\_14},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/xpu/Simons05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Simons04,
author = {Anthony J. H. Simons},
title = {The Theory of Classification, Part 10: Method Combination and Super-Reference},
journal = {J. Object Technol.},
volume = {3},
number = {1},
pages = {43--53},
year = {2004},
url = {https://doi.org/10.5381/jot.2004.3.1.c4},
doi = {10.5381/JOT.2004.3.1.C4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Simons04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Simons04a,
author = {Anthony J. H. Simons},
title = {The Theory of Classification, Part 11: Adding Class Types to Object
Implementations},
journal = {J. Object Technol.},
volume = {3},
number = {3},
pages = {7--19},
year = {2004},
url = {https://doi.org/10.5381/jot.2004.3.3.c1},
doi = {10.5381/JOT.2004.3.3.C1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Simons04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Simons04b,
author = {Anthony J. H. Simons},
title = {The Theory of Classification, Part 12: : Building the Class Hierarchy},
journal = {J. Object Technol.},
volume = {3},
number = {5},
pages = {13--24},
year = {2004},
url = {https://doi.org/10.5381/jot.2004.3.5.c2},
doi = {10.5381/JOT.2004.3.5.C2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Simons04b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Simons04c,
author = {Anthony J. H. Simons},
title = {The Theory of Classification, Part 13: Template Classes and Genericity},
journal = {J. Object Technol.},
volume = {3},
number = {7},
pages = {15--25},
year = {2004},
url = {https://doi.org/10.5381/jot.2004.3.7.c2},
doi = {10.5381/JOT.2004.3.7.C2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Simons04c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Simons04d,
author = {Anthony J. H. Simons},
title = {The Theory of Classification, Part 14: Modification and Objects like
Myself},
journal = {J. Object Technol.},
volume = {3},
number = {8},
pages = {15--26},
year = {2004},
url = {https://doi.org/10.5381/jot.2004.3.8.c2},
doi = {10.5381/JOT.2004.3.8.C2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Simons04d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Simons04e,
author = {Anthony J. H. Simons},
title = {The Theory of Classification Part 15: Mixins and the Superclass Interface},
journal = {J. Object Technol.},
volume = {3},
number = {10},
pages = {7--18},
year = {2004},
url = {https://doi.org/10.5381/jot.2004.3.10.c1},
doi = {10.5381/JOT.2004.3.10.C1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Simons04e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europlop/SardjonoS04,
author = {Widayashanti Pramudita Sardjono and
Anthony J. H. Simons},
editor = {Klaus Marquardt and
Dietmar Sch{\"{u}}tz},
title = {Pattern-Driven Partitioning in Designing Distributed Object Applications},
booktitle = {Proceedings of the 9th European Conference on Pattern Languages of
Programms (EuroPLoP '2004), Irsee, Germany, July 7-11, 2004},
pages = {583--616},
publisher = {{UVK} - Universitaetsverlag Konstanz},
year = {2004},
url = {http://hillside.net/europlop/HillsideEurope/Papers/EuroPLoP2004/2004\_SardjonoEtAl\_Pattern-drivenPartitioning.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/europlop/SardjonoS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Simons03,
author = {Anthony J. H. Simons},
title = {The Theory of Classification, Part 5: Axioms, Assertions and Subtyping},
journal = {J. Object Technol.},
volume = {2},
number = {1},
pages = {13--22},
year = {2003},
url = {https://doi.org/10.5381/jot.2003.2.1.c2},
doi = {10.5381/JOT.2003.2.1.C2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Simons03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Simons03a,
author = {Anthony J. H. Simons},
title = {The Theory of Classification, Part 6: The Subtyping Inquisition},
journal = {J. Object Technol.},
volume = {2},
number = {2},
pages = {17--26},
year = {2003},
url = {https://doi.org/10.5381/jot.2003.2.2.c2},
doi = {10.5381/JOT.2003.2.2.C2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Simons03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Simons03b,
author = {Anthony J. H. Simons},
title = {The Theory of Classification, Part 7: {A} Class is a Type Family},
journal = {J. Object Technol.},
volume = {2},
number = {3},
pages = {13--22},
year = {2003},
url = {https://doi.org/10.5381/jot.2003.2.3.c2},
doi = {10.5381/JOT.2003.2.3.C2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Simons03b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Simons03c,
author = {Anthony J. H. Simons},
title = {The Theory of Classification, Part 8: Classification and Inheritance},
journal = {J. Object Technol.},
volume = {2},
number = {4},
pages = {55--64},
year = {2003},
url = {https://doi.org/10.5381/jot.2003.2.4.c4},
doi = {10.5381/JOT.2003.2.4.C4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Simons03c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Simons03d,
author = {Anthony J. H. Simons},
title = {The Theory of Classification, Part 9: Inheritance and Self-Reference},
journal = {J. Object Technol.},
volume = {2},
number = {6},
pages = {25--34},
year = {2003},
url = {https://doi.org/10.5381/jot.2003.2.6.c2},
doi = {10.5381/JOT.2003.2.6.C2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Simons03d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Simons02,
author = {Anthony J. H. Simons},
title = {The Theory of Classification, Part 1: Perspectives on Type Compatibility},
journal = {J. Object Technol.},
volume = {1},
number = {1},
pages = {55--61},
year = {2002},
url = {https://doi.org/10.5381/jot.2002.1.1.c5},
doi = {10.5381/JOT.2002.1.1.C5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Simons02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Simons02a,
author = {Anthony J. H. Simons},
title = {The Theory of Classification, Part 2: The Scratch-Built Typechecker},
journal = {J. Object Technol.},
volume = {1},
number = {2},
pages = {47--54},
year = {2002},
url = {https://doi.org/10.5381/jot.2002.1.2.c4},
doi = {10.5381/JOT.2002.1.2.C4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Simons02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Simons02b,
author = {Anthony J. H. Simons},
title = {The Theory of Classification, Part 3: Object Encoding and Recursion},
journal = {J. Object Technol.},
volume = {1},
number = {4},
pages = {49--57},
year = {2002},
url = {https://doi.org/10.5381/jot.2002.1.4.c4},
doi = {10.5381/JOT.2002.1.4.C4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Simons02b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Simons02c,
author = {Anthony J. H. Simons},
title = {The Theory of Classification, Part 4: Object Types and Subtyping},
journal = {J. Object Technol.},
volume = {1},
number = {5},
pages = {27--35},
year = {2002},
url = {https://doi.org/10.5381/jot.2002.1.5.c2},
doi = {10.5381/JOT.2002.1.5.C2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Simons02c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acj/Henderson-SellersS00,
author = {Brian Henderson{-}Sellers and
Anthony J. H. Simons},
title = {The {OPEN} Software Engineering Process Architecture: From Activities
to Techniques},
journal = {J. Res. Pract. Inf. Technol.},
volume = {32},
number = {1},
pages = {47--68},
year = {2000},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acj/Henderson-SellersS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/room/Simons00,
author = {Anthony J. H. Simons},
title = {On the Compositional Properties of {UML} Statechart Diagrams},
booktitle = {Rigorous Object-Oriented Methods, {ROOM} 2000, York, UK, 17 January
2000},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2000},
url = {http://ewic.bcs.org/content/ConWebDoc/4214},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/room/Simons00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/BergS99,
author = {Klaas van den Berg and
Anthony J. H. Simons},
title = {Control-flow semantics of use cases in {UML}},
journal = {Inf. Softw. Technol.},
volume = {41},
number = {10},
pages = {651--659},
year = {1999},
url = {https://doi.org/10.1016/S0950-5849(99)00027-0},
doi = {10.1016/S0950-5849(99)00027-0},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/BergS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Simons99,
author = {Anthony J. H. Simons},
title = {Use Cases Considered Harmful},
booktitle = {{TOOLS} Europe 1999: 29th International Conference on Technology of
Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France},
pages = {194--203},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/TOOLS.1999.779012},
doi = {10.1109/TOOLS.1999.779012},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Simons99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/SimonsG99,
author = {Anthony J. H. Simons and
Ian Graham},
editor = {Haim Kilov and
Bernhard Rumpe and
Ian Simmonds},
title = {30 Things that Go Wrong in Object Modelling with {UML} 1.3},
booktitle = {Behavioral Specifications of Businesses and Systems},
series = {The Kluwer International Series in Engineering and Computer Science},
volume = {523},
pages = {237--257},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4615-5229-1\_17},
doi = {10.1007/978-1-4615-5229-1\_17},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/SimonsG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Simons98,
author = {Anthony J. H. Simons},
editor = {Bj{\o}rn N. Freeman{-}Benson and
Craig Chambers},
title = {Borrow, Copy or Steal? Loans and Larceny in the Orthodox Canonical
Form},
booktitle = {Proceedings of the 1998 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1998,
Vancouver, British Columbia, Canada, October 18-22, 1998},
pages = {65--83},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/286936.286948},
doi = {10.1145/286936.286948},
timestamp = {Wed, 30 Mar 2022 13:58:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Simons98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oois/Simons96,
author = {Anthony J. H. Simons},
editor = {Dilip Patel and
Yuan Sun and
Shushma Patel},
title = {A Theory of Class},
booktitle = {Proceedings of the 1996 International Conference on Object Oriented
Information Systems, {OOIS} 1996, London, UK, December 16-18, 1996},
pages = {44--56},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/978-1-4471-0973-0\_4},
doi = {10.1007/978-1-4471-0973-0\_4},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oois/Simons96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Simons95,
author = {Anthony James Howard Simons},
title = {A language with class : the theory of classification exemplified in
an object-oriented language},
school = {University of Sheffield, {UK}},
year = {1995},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.389555},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Simons95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Simons88,
author = {Anthony J. H. Simons},
editor = {Yves Kodratoff},
title = {A Qualitative Model of the Articulators},
booktitle = {8th European Conference on Artificial Intelligence, {ECAI} 1988, Munich,
Germany, August 1-5, 1988, Proceedings},
pages = {464--466},
publisher = {Pitmann Publishing, London},
year = {1988},
timestamp = {Tue, 30 Jul 2019 13:42:25 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Simons88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interspeech/GreenCLS87,
author = {Phil D. Green and
Martin P. Cooke and
H. H. Lafferty and
Anthony J. H. Simons},
title = {A speech recognition strategy based on making acoustic evidence and
phonetic knowledge explicit},
booktitle = {European Conference on Speech Technology, {ECST} 1987, Edinburgh,
Scotland, UK, September 1987},
pages = {1373--1376},
publisher = {{ISCA}},
year = {1987},
url = {https://www.isca-speech.org/archive/ecst\_1987/green87\_ecst.html},
timestamp = {Sun, 02 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interspeech/GreenCLS87.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-02-07 03:56 CET 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:
