Dr Anthony Simons

Journal articles

• Gyeera TW, Simons AJH & Stannett M (2022) Regression Analysis of Predictions and Forecasts of Cloud Data Center KPIs Using the Boosted Decision Tree Algorithm. IEEE Transactions on Big Data, 1-14.
• Alharbi S, Hasan M, Simons AJH, Brumfitt S & Green P (2020) Sequence labeling to detect stuttering events in read speech. Computer Speech & Language, 62. View this article in WRRO
• Simons A & Lefticaru R (2020) A verified and optimized Stream X‐Machine testing method, with application to cloud service certification. Software Testing, Verification and Reliability, 30(3). View this article in WRRO
• Simons A & Fernández-y-Fernández C (2018) An algebra to represent task flow models. Journal of Advance Computational Research, 3(2), 63-74.
• Kiran M & Simons A (2016) Testing Software Services in Cloud Ecosystems. International Journal of Cloud Applications and Computing, 6(1), 42-58.
• Gonidis F, Paraskakis I & Simons AJH (2015) Rapid Development of Service-based Cloud Applications. International Journal of Systems and Service-Oriented Engineering, 5(4), 1-25.
• Fernández-Fernández CA & Simons AJH (2014) An Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method. Journal of Applied Research and Technology, 12(5), 908-918. View this article in WRRO
• Simons AJH, Fraser G & Bottaci L (2013) Guest editor's introduction to the special section on TAIC-PART 2010 - Testing: Academic and Industrial Conference-Practice and Research Techniques. Software - Practice and Experience, 43(9), 1101-1102. View this article in WRRO
• Hierons RM, Bogdanov K, Bowen JP, Cleaveland R, Derrick J, Dick J, Gheorghe M, Harman M, Kapoor K, Krause P , Luttgen G et al (2009) Using Formal Specifications to Support Testing. ACM COMPUT SURV, 41(2). View this article in WRRO
• Derrick J, North S & Simons AJH (2009) Z2SAL: a translation-based model checker for Z. Formal Aspects of Computing, 1-29.
• Simons AJH (2007) JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction. AUTOMAT SOFTW ENG, 14(4), 369-418. View this article in WRRO
• Simons AJH (2006) Verification and Validation for Quality of UML 2.0 Models. By Bhuvan Unhelkar. Published by John Wiley & Sons, Inc., Hoboken, NJ, U.S.A., 2005. ISBN: 0-471-72783-0, 271 pp. Software Testing, Verification and Reliability, 16(1), 62-64.
• Simons AJH (2006) A theory of regression testing for behaviourally compatible object types. SOFTWARE TESTING VERIFICATION & RELIABILITY, 16(3), 133-156. View this article in WRRO
• Simons AJH (2005) The theory of classification part 18: Polymorphism through the looking glass. Journal of Object Technology, 4(4), 7-18. View this article in WRRO
• Simons AJH (2005) Extreme Programming Refactored: The Case Against XP. Matt Stephens and Doug Rosenberg. Apress, Berkeley, CA, U.S.A., 2003. ISBN: 1-59059-096-1, pp. 400.. Software Testing, Verification and Reliability, 15(1), 63-64.
• Simons AJH (2005) The theory of classification part 16: Rules of extension and the typing of inheritance. Journal of Object Technology, 4(1), 13-25. View this article in WRRO
• Simons AJH (2005) The theory of classification part 19: The proliferation of parameters. Journal of Object Technology, 4(5), 37-48. View this article in WRRO
• Simons AJH (2005) The theory of classification part 17: Multiple inheritance and the resolution of inheritance conflicts. Journal of Object Technology, 4(2), 15-26. View this article in WRRO
• Simons AJH (2005) The Theory of Classification part 20: Modular checking of classtypes. Journal of Object Technology, 4(7), 7-18. View this article in WRRO
• Simons AJH (2004) The theory of classification: Part 14: Modification and objects like myself. Journal of Object Technology, 3(8), 15-26. View this article in WRRO
• Simons AJH (2004) The theory of classification - Part 10: Method combination and super-reference. Journal of Object Technology, 3(1), 43-53. View this article in WRRO
• Simons AJH (2004) The theory of classification part 12: Building the class hierarchy. Journal of Object Technology, 3(5), 13-24. View this article in WRRO
• Simons AJH (2004) The Theory of Classification part 11: Adding class types to object implementations. Journal of Object Technology, 3(3), 7-19. View this article in WRRO
• Simons AJH (2004) The theory of classification part 15: Mixins and the superclass interface. Journal of Object Technology, 3(10), 7-18. View this article in WRRO
• Simons AJH (2004) The theory of classification part 13: Template classes and genericity. Journal of Object Technology, 3(7), 15-25. View this article in WRRO
• Simons AJH (2003) The theory of classification part 7: A class is a type family. Journal of Object Technology, 2(3), 13-22. View this article in WRRO
• Simons AJH (2003) The theory of classification part 6: The subtyping inquisition. Journal of Object Technology, 2(2), 17-26. View this article in WRRO
• Simons AJH (2003) The theory of classification part 5: Axioms, assertions and subtyping. Journal of Object Technology, 2(1), 13-21. View this article in WRRO
• Simons AJH (2003) The theory of classification part 9: Inheritance and self-reference. Journal of Object Technology, 2(6), 25-34. View this article in WRRO
• Simons AJH (2003) The theory of classification part 8: Classification and inheritance. Journal of Object Technology, 2(4), 55-64. View this article in WRRO
• Simons AJH (2002) The theory of classification part 2: The scratch-built typechecker. Journal of Object Technology, 1(2), 47-54. View this article in WRRO
• Simons AJH (2002) The theory of classification part 1: Perspectives on type compatibility. Journal of Object Technology, 1(1), 55-61. View this article in WRRO
• Simons AJH (2002) The theory of classification part 4: Object types and subtyping. Journal of Object Technology, 1(5), 27-33. View this article in WRRO
• Simons AJH (2002) The theory of classification part 3: Object encodings and recursion. Journal of Object Technology, 1(4), 49-57. View this article in WRRO
• Henderson-Sellers B & Simons AJH (2000) The OPEN software engineering process architecture: From activities to techniques. J RES PRACT INF TECH, 32(1), 47-68.
• Simons AJH, Snoeck M & Hung KSY (1999) Using design patterns to reveal the competence of object-oriented methods in system-level design. COMPUT SYST SCI ENG, 14(6), 343-352.
• van den Berg KG & Simons AJH (1999) Control-flow semantics of use cases in UML. INFORM SOFTWARE TECH, 41(10), 651-659.
• Henderson-Sellers B, Firesmith DG, Graham I & Simons AJH (1999) Instantiating the process metamodel. JOOP - Journal of Object-Oriented Programming, 12(3), 51-57.
• Henderson-Sellers B & Graham IM (1999) Metalevel relationship cardinalities. JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 12(1), 51-58.
• Simons AJH (1998) Borrow, copy or steal? Loans and larceny in the orthodox canonical form. ACM SIGPLAN NOTICES, 33(10), 65-83.
• Henderson-Sellers B & Graham I (1996) OPEN: toward method convergence?. Computer, 29(4), 86-89.
• Simons AJH, Low Eng Kwang & Ng Yee Mei (1994) An optimizing delivery system for object-oriented software. Object Oriented Systems, 1(1), 21-44.
• Gyeera TW, Simons AJH & Stannett MP () Kalman filter based prediction and forecasting of cloud server KPIs. IEEE Transactions on Services Computing.
• Simons AJH () The Theory of Classification Part 18: The Theory of Classification Part 18: Polymorphism through the Looking Glass .. The Journal of Object Technology, 4(4), 1-1.

Chapters

• Gonidis F, Paraskakis I & Simons AJH (2014) On the Role of Ontologies in the Design of Service Based Cloud Applications, Lecture Notes in Computer Science (pp. 1-12). Springer International Publishing
• Cabot J, Albert P, Dupé G, del Fabro MD & Lee S (2011) MELO 2011 - 1st Workshop on Model-Driven Engineering, Logic and Optimization, Modelling Foundations and Applications (pp. 379-380). Springer Berlin Heidelberg
• Simons AJH & Graham I (1999) 30 Things that Go Wrong in Object Modelling with UML 1.3, Behavioral Specifications of Businesses and Systems (pp. 237-257). Springer US
• Hung K, Simons T & Rose T (1998) “The Truth Is Out There?”: A Survey of Business Objects, OOIS’98 (pp. 183-200). Springer London
• Hung KSY, Simons AJH & Rose A (1998) “Can You Have It All?”: Managing The Time And Budget Against Quality Issue in A Dynamic Business Object Architecture Development, Software Quality Management VI (pp. 121-134). Springer London
• Simons AJH (1997) A Theory of Class, OOIS’96 (pp. 44-56). Springer London

Conference proceedings papers

• Alzahrani E, Simons AJH & Richmond P (2019) Data Aware Simulation of Complex Systems on GPUs. 2019 International Conference on High Performance Computing & Simulation (HPCS), 15 July 2019 - 19 July 2019.
• Alharbi S, Hasan M, Simons AJH, Brumfitt S & Green P (2018) A lightly supervised approach to detect stuttering in children's speech. Proceedings of Interspeech 2018 (pp 3433-3437), 2 September 2018 - 6 September 2018. View this article in WRRO
• Alzahrani E, Richmond P & Simons AJH (2018) A Formula-Driven Scalable Benchmark Model for ABM, Applied to FLAME GPU (pp 703-714) View this article in WRRO
• Alharbi S, Hasan M, Simons AJH, Brumfitt S & Green P (2017) Detecting Stuttering Events in Transcripts of Children’s Speech (pp 217-228) View this article in WRRO
• Gonidis F, Paraskakis I & Simons AJH (2015) A Development Framework Enabling the Design of Service-Based Cloud Applications (pp 139-152) View this article in WRRO
• Lefticaru R & Simons AJH (2015) X-machine based testing for cloud services. ESOCC 2014: Advances in Service-Oriented and Cloud Computing, Vol. 508 (pp 175-189) View this article in WRRO
• Simons AJH, Rossini A, Paraskakis I & Jensen J (2015) Cloud Service Brokerage - 2014: Towards the Multi-cloud Ecosystem (pp 121-123) View this article in WRRO
• Kiran M & Simons AJH (2015) Model-Based Testing for Composite Web Services in Cloud Brokerage Scenarios (pp 190-205) View this article in WRRO
• Gonidis F, Paraskakis I & Simons AJH (2015) Leveraging platform basic services in cloud application platforms for the development of cloud applications. 2014 IEEE 6th International Conference on Cloud Computing Technology and Science (pp 751-754), 15 December 2014 - 18 December 2014. View this article in WRRO
• Simons AJH, Verginadis Y, Mentzas G, Bratanis K, Kourtesis D, Braun S, Paraskakis I, Veloudis S & Rossini A (2014) Advanced service brokerage capabilities as the catalyst for future cloud service ecosystems. Proceedings of the 2nd International Workshop on Cross-Cloud Systems, CrossCloud Brokers 2014 - Held in conjunction with the 15th ACM/IFIP/USENIX International Middleware Conference, Middleware 2014, 8 December 2014 - 12 December 2014. View this article in WRRO
• Siregar MU, Derrick J, North SD & Simons AJH (2014) Experiences using Z2SAL. Proceedings - ICACSIS 2014: 2014 International Conference on Advanced Computer Science and Information Systems (pp 225-231). Jakarta, Indonesia, 18 October 2014 - 19 October 2014. View this article in WRRO
• Kourtesis D, Bratanis K, Friesen A, Verginadis Y, Simons AJH, Rossini A, Schwichtenberg A & Gouvas P (2014) Brokerage for quality assurance and optimisation of cloud services: An analysis of key requirements. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8377 LNCS (pp 150-162) View this article in WRRO
• (2014) Euro-Par 2014: Parallel Processing Workshops
• Mentzas G, Simons AJH & Paraskakis I (2014) Cloud Service Brokerage 2013 - Methods and Mechanisms. Lecture Notes in Computer Science, Vol. 8377 (pp 135-136). Berlin, 2 December 2013 - 2 December 2013. View this article in WRRO
• Kiran M, Friesen A, Simons AJH & Schwach WKR (2014) Model-Based Testing in Cloud Brokerage Scenarios. Lecture Notes in Computer Science, Vol. 8377 (pp 192-208). Berlin, 2 December 2013 - 2 December 2013. View this article in WRRO
• Gonidis F, Paraskakis I, Simons AJH & Kourtesis D (2013) Cloud application portability: An initial view. ACM International Conference Proceeding Series (pp 275-282), 19 September 2013 - 21 September 2013. View this article in WRRO
• Bratanis K, Dranidis D & Simons AJH (2011) SLAs for cross-layer adaptation and monitoring of service-based applications: A case study. ACM International Conference Proceeding Series (pp 28-32) View this article in WRRO
• Bratanis K, Dranidis D & Simons AJH (2010) An extensible architecture for run-time monitoring of conversational Web services. ACM International Conference Proceeding Series (pp 9-16) View this article in WRRO
• Bratanis K, Dranidis D & Simons AJH (2010) Towards run-time monitoring of web services conformance to business-level agreements. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6303 LNCS (pp 203-206) View this article in WRRO
• Simons AJH & Zhao W (2009) Dynamic analysis of algebraic structure to optimize test generation and test case selection. TAIC PART 2009 - Testing: Academic and Industrial Conference - Practice and Research Techniques (pp 33-42) View this article in WRRO
• Ramollari E, Kourtesis D, Dranidis D & Simons AJH (2009) Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing. SEMANTIC WEB: RESEARCH AND APPLICATIONS, Vol. 5554 (pp 593-607) View this article in WRRO
• Thomson CD, Holcombe M & Simons AJH (2009) What makes testing work: Nine case studies of software development teams. TAIC PART 2009 - Testing: Academic and Industrial Conference - Practice and Research Techniques (pp 167-175) View this article in WRRO
• Simons AJH, Griffths N & Thomson C (2008) Feedback-Based Specification, Coding and Testing with JWalk. TACI PART 2008:TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS (pp 69-73) View this article in WRRO
• Thomson C, Holcombe M, Cowling T, Simons T & Michaelides G (2008) A Pilot Study of Comparative Customer Comprehension between Extreme X-Machine and UML Models. ESEM'08: PROCEEDINGS OF THE 2008 ACM-IEEE INTERNATIONAL SYMPOSIUM ON EMPIRICAL SOFTWARE ENGINEERING AND MEASUREMENT (pp 270-272) View this article in WRRO
• Derrick J, North S & Simons AJH (2008) Z2SAL-Building a Model Checker for Z. ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS, Vol. 5238 (pp 280-293) View this article in WRRO
• Simons AJH & Thomson CD (2008) Benchmarking effectiveness for object-oriented unit testing. 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08 (pp 375-379) View this article in WRRO
• Simons AJH & Thomson CD (2007) Lazy systematic unit testing: JWalk versus JUnit. TAIC PART 2007 - Testing: Academic and Industrial Conference - Practice and Research Techniques, Proceedings (pp 138-138)
• Derrick J, North S & Simons T (2006) Issues in Implementing a Model Checker for Z (pp 678-696)
• Simons AJH & Fernandez CAFY (2005) Using Alloy to model-check visual design notations. Sixth Mexican International Conference on Computer Science, Proceedings (pp 121-128) View this article in WRRO
• Simons AJH (2005) Testing with guarantees and the failure of regression testing in eXtreme Programming. EXTREME PROGRAMMING AND AGILE PROCESSES IN SOFTWARE ENGINEERING, PROCEEDINGS, Vol. 3556 (pp 118-126) View this article in WRRO
• Stannett MP, Simons A, Bogdanov K & Holcombe W (2002) Plug and Play Safely: Rules for Behavioural Compatibility. IASTED SEA 2002 (pp 263-268). Cambridge, MA
• Simons AJH (1999) Use cases considered harmful. TOOLS 29: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS, Vol. 29 (pp 194-203)
• Simons AJH (1998) Borrow, copy or steal?: loans and larceny in the orthodox canonical form. OOPSLA '98: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (pp 65-83). Vancouver, British Columbia, Canada, 18 October 1998 - 18 October 1998.
• Simons AJH, Snoeck M & Hung KSY (1998) Design Patterns as litmus paper to test the strength of object-oriented methods. OOIS'98: 1998 INTERNATIONAL CONFERENCE OBJECT ORIENTED INFORMATION SYSTEMS, PROCEEDINGS (pp 129-147)
• Green PD, Cooke MP, Lafferty HH & Simons AJH (1988) A Speech Recognition Strategy Based on Making Acoustic Evidence and Phonetic Knowledge Explicit (pp 123-128)
• Green PD, Cooke MP, Lafferty HH & Simons AJH (1987) A SPEECH RECOGNITION STRATEGY BASED ON MAKING ACOUSTIC EVIDENCE AND PHONETIC KNOWLEDGE EXPLICIT. European Conference on Speech Technology, ECST 1987 (pp 1373-1376)
• Alharbi S, Simons AJH, Brumfitt S & Green P () Automatic recognition of children's read speech for stuttering application. 6th Workshop on Child Computer Interaction (WOCCI 2017) View this article in WRRO
• Stannett MP, Simons A, Bogdanov K & Holcombe W () Method of Object Testing, Integration and Verification. FORTEST Workshop on testing. York, 13 September 2002.
• Simons AJH () On the Compositional Properties of UML Statechart Diagrams. Electronic Workshops in Computing

Preprints

• Simons AJH & Fernandez-y-Fernandez CA (2008) Using Alloy to model-check visual design notations, arXiv.
• Gyeera TW, Simons AJH & Stannett M () Kalman filter based prediction and forecasting of cloud server KPIs, Institute of Electrical and Electronics Engineers (IEEE).
• Gyeera TW, Simons AJH & Stannett M () Regression Analysis of Predictions and Forecasts of Cloud Data centre KPIs using the Boosted Tree Decision Algorithm, Institute of Electrical and Electronics Engineers (IEEE).