Items where authors include "Simons, A.J.H."
![[up]](/style/images/multi_up.png)
Up a levelArticle
Gyeera, T.W. orcid.org/0000-0002-2567-4197, Simons, A.J.H. orcid.org/0000-0002-5925-7148 and Stannett, M. orcid.org/0000-0002-2794-8614 (2023) Regression analysis of predictions and forecasts of cloud data center KPIs using the boosted decision tree algorithm. IEEE Transactions on Big Data, 9 (4). pp. 1071-1085. ISSN 2332-7790
Gyeera, T.W., Simons, A.J.H. orcid.org/0000-0002-5925-7148 and Stannett, M.P. orcid.org/0000-0002-2794-8614 (2023) Kalman filter based prediction and forecasting of cloud server KPIs. IEEE Transactions on Services Computing, 16 (4). pp. 2742-2754. ISSN 1939-1374
Alharbi, S., Hasan, M., Simons, A.J.H. orcid.org/0000-0002-5925-7148 et al. (2 more authors) (2020) Sequence labeling to detect stuttering events in read speech. Computer Speech & Language, 62. 101052. ISSN 0885-2308
Fernández-y-Fernández, C.A. and Simons, A.J.H. orcid.org/0000-0002-5925-7148 (2018) An algebra to represent task flow models. Journal of Advance Computational Research, 3 (2). 1. pp. 63-74. ISSN 2277-5781
Gonidis, F., Paraskakis, I. and Simons, A.J.H. orcid.org/0000-0002-5925-7148 (2015) Rapid development of service-based cloud applications. International Journal of Systems and Service-Oriented Engineering, 5 (4). pp. 1-25. ISSN 1947-3052
Fernandez-Fernandez, C.A. and Simons, A.J.H. (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). pp. 908-918. ISSN 1665-6423
Simons, A.J.H., Fraser, G. and 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). pp. 1101-1102. ISSN 0038-0644
Derrick, J., North, S. and Simons, A.J.H. (2011) Z2SAL: a translation-based model checker for Z. Formal Aspects of Computing, 23 (1). pp. 43-71. ISSN 0934-5043
Hierons, R.M., Bogdanov, K., Bowen, J.P. et al. (12 more authors) (2009) Using formal specifications to support testing. ACM Computing Surveys, 41 (2). ISSN 0360-0300
Simons, A.J.H. (2007) JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction. Automated Software Engineering, 14 (4). pp. 369-418. ISSN 1573-7535
Simons, A.J.H. (2006) A theory of regression testing for behaviourally compatible object types. Software Testing, Verification and Reliability, 16 (3). 133 - 156. ISSN 0960-0833
Simons, A.J.H. orcid.org/0000-0002-5925-7148 (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). pp. 62-64. ISSN 0960-0833
Simons, A.J.H. (2005) The theory of classification part 20: modular checking of classtypes. Journal of Object Technology, 4 (7). 7 - 18. ISSN 1660-1769
Simons, A.J.H. (2005) The theory of classification part 19: the proliferation of parameters. Journal of Object Technology, 4 (5). 37 - 48. ISSN 1660-1769
Simons, A.J.H. orcid.org/0000-0002-5925-7148 (2005) The theory of classification part 18: The theory of classification part 18: polymorphism through the looking glass. The Journal of Object Technology, 4 (4). pp. 7-18. ISSN 1660-1769
Simons, A.J.H. (2005) The theory of classification part 18: polymorphism through the looking glass. Journal of Object Technology, 4 (4). 7 - 18. ISSN 1660-1769
Simons, A.J.H. orcid.org/0000-0002-5925-7148 (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). pp. 63-64. ISSN 0960-0833
Simons, A.J.H. (2005) The theory of classification part 17: multiple inheritance and the resolution of inheritance conflicts. Journal of Object Technology, 4 (2). 15 - 26. ISSN 1660-1769
Simons, A.J.H. (2005) The theory of classification part 16: rules of extension and the typing of inheritance. Journal of Object Technology, 4 (1). 13 - 25. ISSN 1660-1769
Simons, A.J.H. (2004) The theory of classification part 15: mixins and the superclass interface. Journal of Object Technology, 3 (10). 7 - 18. ISSN 1660-1769
Simons, A.J.H. (2004) The theory of classification: part 14: modification and objects like myself. Journal of Object Technology, 3 (8). 15 - 26. ISSN 1660-1769
Simons, A.J.H. (2004) The theory of classification part 13: template classes and genericity. Journal of Object Technology, 3 (7). 15 - 25. ISSN 1660-1769
Simons, A.J.H. (2004) The theory of classification part 12: building the class hierarchy. Journal of Object Technology, 3 (5). 13 - 24. ISSN 1660-1769
Simons, A.J.H. (2004) The theory of classification part 11: adding class types to object implementations. Journal of Object Technology, 3 (3). 7 - 19. ISSN 1660-1769
Simons, A.J.H. (2004) The theory of classification - part 10: method combination and super-reference. Journal of Object Technology, 3 (1). 43 - 53. ISSN 1660-1769
Simons, A.J.H. (2003) The theory of classification part 9: inheritance and self-reference. Journal of Object Technology, 2 (6). 25 - 34. ISSN 1660-1769
Simons, A.J.H. (2003) The theory of classification part 8: classification and inheritance. Journal of Object Technology, 2 (4). 55 - 64. ISSN 1660-1769
Simons, A.J.H. (2003) The theory of classification part 7: a class is a type family. Journal of Object Technology, 2 (3). 13 - 22. ISSN 1660-1769
Simons, A.J.H. (2003) The theory of classification part 6: the subtyping inquisition. Journal of Object Technology, 2 (2). 17 - 26. ISSN 1660-1769
Simons, A.J.H. (2003) The theory of classification part 5: axioms, assertions and subtyping. Journal of Object Technology, 2 (1). 13 - 21. ISSN 1660-1769
Simons, A.J.H. (2002) The theory of classification part 4: object types and subtyping. Journal of Object Technology, 1 (5). 27 - 33. ISSN 1660-1769
Simons, A.J.H. (2002) The theory of classification part 3: object encodings and recursion. Journal of Object Technology, 1 (4). 49 - 57. ISSN 1660-1769
Simons, A.J.H. (2002) The theory of classification part 2: the scratch-built typechecker. Journal of Object Technology, 1 (2). 47 - 54. ISSN 1660-1769
Simons, A.J.H. (2002) The theory of classification part 1: perspectives on type compatibility. Journal of Object Technology, 1 (1). 55 - 61. ISSN 1660-1769
Henderson-Sellers, B. and Simons, A.J.H. orcid.org/0000-0002-5925-7148 (2000) The OPEN software engineering process architecture: from activities to techniques. Journal of Research and Practice in Information Technology, 32 (1). pp. 47-66. ISSN 1443-458X
Simons, A.J.H. orcid.org/0000-0002-5925-7148, Snoeck, M. and Hung, K.S.Y. (1999) Using design patterns to reveal the competence of object-oriented methods in system-level design. Computer Systems Science and Engineering, 14 (6). pp. 343-352. ISSN 0267-6192
van den Berg, K.G. and Simons, A.J.H. orcid.org/0000-0002-5925-7148 (1999) Control-flow semantics of use cases in UML. Information and Software Technology, 41 (10). pp. 651-659. ISSN 0950-5849
Simons, A.J.H. orcid.org/0000-0002-5925-7148 (1998) Borrow, copy or steal?: loans and larceny in the orthodox canonical form. ACM SIGPLAN Notices, 33 (10). pp. 65-83. ISSN 0362-1340
Simons, A.J.H. orcid.org/0000-0002-5925-7148, Eng Kwang, L. and Yee Mei, N. (1994) An optimizing delivery system for object-oriented software. Object Oriented Systems, 1 (1). pp. 21-44. ISSN 0969-9767
Book Section
Simons, A.J.H. orcid.org/0000-0002-5925-7148 and Graham, I. (1999) 30 things that go wrong in object modelling with UML 1.3. In: Kilov, H., Rumpe, B. and Simmonds, I., (eds.) Behavioral Specifications of Businesses and Systems. The Springer International Series in Engineering and Computer Science . Springer US , pp. 237-257. ISBN 9780792386292
Hung, K.S.Y., Simons, A.J.H. orcid.org/0000-0002-5925-7148 and Rose, A. (1998) “Can you have it all?”: Managing the time and budget against quality issue in a dynamic business object architecture development. In: Hawkins, C., Ross, M. and Staples, G., (eds.) Software Quality Management VI. Springer London , pp. 121-134. ISBN 9781852330217
Proceedings Paper
Alzahrani, E., Simons, A.J.H. orcid.org/0000-0002-5925-7148 and Richmond, P. orcid.org/0000-0002-4657-5518 (2020) Data aware simulation of complex systems on GPUs. In: 2019 International Conference on High Performance Computing & Simulation (HPCS). 2019 International Conference on High Performance Computing & Simulation (HPCS), 15-19 Jul 2019, Dublin, Ireland. Institute of Electrical and Electronics Engineers (IEEE) , pp. 567-574. ISBN 9781728144856
Alharbi, S., Hasan, M., Simons, A.J.H. orcid.org/0000-0002-5925-7148 et al. (2 more authors) (2018) A lightly supervised approach to detect stuttering in children's speech. In: Proceedings of Interspeech 2018. Interspeech 2018, 02-06 Sep 2018, Hyderabad, India. ISCA , pp. 3433-3437.
Alzahrani, E., Richmond, P. orcid.org/0000-0002-4657-5518 and Simons, A.J.H. orcid.org/0000-0002-5925-7148 (2018) A formula-driven scalable benchmark model for ABM, applied to FLAME GPU. In: Euro-Par 2017: Parallel Processing Workshops. Euro-Par 2017 International Workshops, 28-29 Aug 2017, Santiago de Compostela, Spain. Lecture Notes in Computer Science book series (LNCS) . Springer , pp. 703-714. ISBN 9783319751771
Alharbi, S., Simons, A.J.H. orcid.org/0000-0002-5925-7148, Brumfitt, S. et al. (1 more author) (2017) Automatic recognition of children’s read speech for stuttering application. In: 6th. Workshop on Child Computer Interaction (WOCCI 2017), eds. K. Evanini, M. Najafian, S. Safavi and K. Berkling. 6th International Workshop on Child Computer Interaction, 13 Nov 2017, Glasgow, UK. International Speech Communication Association (ISCA) , Glasgow , pp. 1-6.
Alharbi, S., Hasan, M., Simons, A.J.H. orcid.org/0000-0002-5925-7148 et al. (2 more authors) (2017) Detecting stuttering events in transcripts of children’s speech. In: Camelin, N., Estève, Y. and Martín-Vide, C., (eds.) SLSP 2017: Statistical Language and Speech Processing. International Conference on Statistical Language and Speech Processing 2017, 23-25 Oct 2017, Le Mans, France. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10583 (volume 10583). Springer International Publishing , pp. 217-228. ISBN 9783319684550
Gonidis, F., Paraskakis, I. and Simons, A.J.H. (2015) A Development Framework Enabling the Design of Service-Based Cloud Applications. In: Ortiz, G. and Tran, C., (eds.) Advances in Service-Oriented and Cloud Computing. Workshops of ESOCC 2014, September 2-4, 2014, Manchester, UK. Communications in Computer and Information Science , 508 . Springer , pp. 139-152. ISBN 978-3-319-14885-4
Kiran, M. and Simons, A.J.H. (2015) Model-Based Testing for Composite Web Services in Cloud Brokerage Scenarios. In: Ortiz, G. and Tran, C., (eds.) Advances in Service-Oriented and Cloud Computing. Workshops of ESOCC 2014, September 2-4, 2014, Manchester, UK. Communications in Computer and Information Science , 508 . Springer , pp. 190-205. ISBN 978-3-319-14885-4
Lefticaru, R. and Simons, A.J.H. (2015) X-Machine Based Testing for Cloud Services. In: Ortiz, G. and Tran, C., (eds.) Advances in Service-Oriented and Cloud Computing. Workshops of ESOCC 2014, September 2-4, 2014, Manchester, UK. Lecture Notes in Computer Science, 508 . Springer , pp. 175-189. ISBN 978-3-319-14885-4
Simons, A.J.H., Rossini, A., Paraskakis, I. et al. (1 more author) (2015) Cloud Service Brokerage-2014: Towards the Multi-cloud Ecosystem. In: Ortiz, G. and Tran, C., (eds.) Advances in Service-Oriented and Cloud Computing. Workshops of ESOCC 2014, September 2-4, 2014, Manchester, UK. Communications in Computer and Information Science , 508 . Springer , pp. 121-123. ISBN 978-3-319-14885-4
Gonidis, F., Paraskakis, I. and Simons, A.J.H. (2014) Leveraging Platform Basic Services in Cloud Application Platforms for the Development of Cloud Applications. In: IEEE 6th International Conference on Cloud Computing Technology and Science. IEEE 6th International Conference on Cloud Computing Technology and Science, 15-18 Dec 2014, Singapore. IEEE Computer Society , pp. 751-754. ISBN 978-1-4799-4093-6
Gonidis, F., Paraskakis, I. and Simons, A.J.H. orcid.org/0000-0002-5925-7148 (2014) On the role of ontologies in the design of service based cloud applications. In: Lopes, L., Žilinskas, J., Costan, A., Cascella, R.G., Kecskemeti, G., Jeannot, E., Cannataro, M., Ricci, L., Benkner, S., Petit, S., Scarano, V., Gracia, J., Hunold, S., Scott, S.L., Lankes, S., Lengauer, C., Carretero, J., Breitbart, J. and Alexander, M., (eds.) Euro-Par 2014: Parallel Processing Workshops: Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II. Euro-Par 2014 International Workshops, 25-26 Aug 2014, Porto, Portugal. Lecture Notes in Computer Science, LNTCS 8806 . Springer International Publishing , pp. 1-12. ISBN 9783319143125
Siregar, M.U., Derrick, J., North, S.D. orcid.org/0000-0002-8478-8960 et al. (1 more author) (2014) Experiences using Z2SAL. In: Proceedings - ICACSIS 2014: International Conference on Advanced Computer Science and Information Systems. International Conference on Advanced Computer Science and Information Systems, 18-19 Oct 2014, Jakarta, Indonesia. IEEE , pp. 225-231. ISBN 9781479980758
Simons, A.J.H., Bratanis, K., Kourtesis, D. et al. (6 more authors) (2014) Advanced service brokerage capabilities as the catalyst for future cloud service ecosystems. In: Elkhatib, Y. and Walraven, S., (eds.) Proceedings of the 2nd International Workshop on CrossCloud Systems. 2nd International Workshop on CrossCloud Systems, 08-12 Dec 2014, Bordeaux, France. ACM . ISBN 978-1-4503-3233-0
Kourtesis, D., Bratanis, K., Friesen, A. et al. (5 more authors) (2014) Brokerage for Quality Assurance and Optimisation of Cloud Services: An Analysis of Key Requirements. In: Service-Oriented Computing – ICSOC 2013 Workshops. CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, December 2-5, 2013, Berlin, Germany. Lecture Notes in Computer Science, 8377 . Springer International Publishing , pp. 150-162. ISBN 978-3-319-06858-9
Kiran, M., Friesen, A., Simons, A.J.H. et al. (1 more author) (2014) Model-based Testing in Cloud Brokerage Scenarios. In: Lomuscio, A.R., Nepal, S., Patrizi, F., Benatallah, B. and Brandić, I., (eds.) Service-Oriented Computing – ICSOC 2013 Workshops. Service-Oriented Computing – ICSOC 2013 Workshops, 02 Dec 2013, Berlin. Lecture Notes in Computer Science, 8377 . Springer Verlag , Berlin , pp. 192-208. ISBN 978-3-319-06858-9
Gonidis, F., Simons, A.J.H., Paraskakis, I. et al. (1 more author) (2013) Cloud application portability: an initial view. In: Diamantaras, KI, Evangelidis, G, Manolopoulos, Y, Georgiadis, CK, Kefalas, P and Stamatis, D, (eds.) BCI '13 Proceedings of the 6th Balkan Conference in Informatics. BCI 2013 - 6th Balkan Conference in Informatics, 19-21 Sep 2013, Thessaloniki, Greece. ACM , pp. 275-282. ISBN 978-1-4503-1851-8
Bratanis, K., Dranidis, D. and Simons, A.J.H. (2011) SLAs for cross-layer adaptation and monitoring of service-based applications. In: Bianculli, D., Guinea, S., Metzger , A. and Polini, A., (eds.) QASBA '11 Proceedings of the International Workshop on Quality Assurance for Service-Based Applications. International Workshop on Quality Assurance for Service-Based Applications (QASBA '11), 14/09/2011, Lugano, Switzerland. ICPS: ACM International Conference Proceeding Series . ACM New York, NY, USA , pp. 28-32. ISBN 978-1-4503-0826-7
Bratanis, K., Dranidis, D. and Simons, A.J.H. (2010) An extensible architecture for run-time monitoring of conversational web services. In: MONA '10 Proceedings of the 3rd International Workshop on Monitoring, Adaptation and Beyond. 3rd International Workshop on Monitoring, Adaptation and Beyond (MONA'10), 01/12/2010, Ayia Napa, Cyprus. ICPS: ACM International Conference Proceeding Series . ACM New York, NY, USA , pp. 9-16. ISBN 978-1-4503-0422-1
Thomson, C.D., Holcombe, M. and Simons, A.J.H. (2009) What makes testing work: Nine case studies of software development teams. In: TAIC PART 2009 - Testing: Academic and Industrial Conference - Practice and Research Techniques. Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART '09), 04-06 Sep 2009, Windsor, UK. IEEE , pp. 167-175. ISBN 9780769538204
Simons, A.J.H. and Zhao, W.W. (2009) Dynamic Analysis of Algebraic Structure to Optimize Test Generation and Test Case Selection. In: Testing: Academic and Industrial Conference - Practice and Research Techniques 2009 . TAIC PART '09. TAIC PART 2009, 04-06 Sep 2009, Windsor, UK. IEEE , pp. 33-42. ISBN 978-0-7695-3820-4
Simons, A.J.H. and Thomson, C.D. (2008) Benchmarking effectiveness for object-oriented unit testing. In: 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08. ICSTW '08, 09-11 Apr 2008, Lillehammer, Norway. IEEE , pp. 375-379. ISBN 978-0-7695-3388-9
Simons, A.J.H., Griffths, N. and Thomson, C. (2008) Feedback-Based Specification, Coding and Testing with JWalk. In: Practice and Research Techniques, 2008. TAIC PART '08. Testing: Academic & Industrial Conference. TAIC PART '08, 29-31 Aug 2008, Windsor, UK. IEEE , pp. 69-73. ISBN 978-0-7695-3383-4
Derrick, J., North, S. and Simons, A.J.H. (2008) Z2SAL-building a model checker for Z. In: Borger, E., Butler, M., Bowen, J.P. and Boca, P., (eds.) Abstract State Machines, B and Z, Proceedings of. ABZ 2008, September 16-18, 2008, London, UK. Springer , 280 - 293. ISBN 978-3-540-87602-1
Simons, A.J.H. (2005) Testing with guarantees and the failure of regression testing in eXtreme Programming. In: Baumeister, H., Marchesi, M. and Holcombe, M., (eds.) Extreme Programming and Agile Processes in Software Engineering, Proceedings. 6th International Conference, XP 2005, June 18-23, Sheffield, UK. Springer , 118 - 126. ISBN 978-3-540-26277-0
Simons, A.J.H. and Fernandez, C.A.F.Y. (2005) Using Alloy to model-check visual design notations. In: EstivillCastro, V. and Sanchez, J.A., (eds.) Proceeding ENC '05 Proceedings of the Sixth Mexican International Conference on Computer Science. Sixth Mexican International Conference on Computer Science, Sep 26-30, 2005, Puebla, Mexico. ACM , pp. 121-128. ISBN 0-7695-2454-0
Simons, A.J.H. orcid.org/0000-0002-5925-7148, Stannett, M.P. orcid.org/0000-0002-2794-8614, Bogdanov, K.E. et al. (1 more author) (2002) Plug and play safely: Rules for behavioural compatibility. In: Hamza, M.H., (ed.) Proceedings of the 6th IASTED International Conference on Software Engineering and Applications, SEA 2002. 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), 04-06 Nov 2002, Cambridge, MA, USA. Acta Press , pp. 263-268. ISBN 9780889863231
Simons, A.J.H. orcid.org/0000-0002-5925-7148 (2000) On the compositional properties of UML statechart diagrams. In: Electronic Workshops in Computing. Rigorous Object-Oriented Methods 2000 (ROOM), 17 Jan 2000, York, UK. BCS Learning & Development .
Simons, A.J.H. orcid.org/0000-0002-5925-7148 (1999) Use cases considered harmful. In: Mitchell, R., Wills, A.C., Bosch, J. and Meyer, B., (eds.) Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275). TOOLS Europe '99: Technology of Object Oriented Languages and Systems. 29th International Conference, 07-10 Jun 1999, Nancy, France. Institute of Electrical and Electronics Engineers (IEEE) , pp. 194-203. ISBN 9780769502755
Simons, A.J.H. orcid.org/0000-0002-5925-7148 (1998) Borrow, copy or steal?: loans and larceny in the orthodox canonical form. In: OOPSLA '98: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. OOPSLA98: Conference on Object Oriented Programming Systems Languages and Applications, 18-22 Oct 1998, Vancouver, British Columbia, Canada. ACM , pp. 65-83. ISBN 1581130058
Simons, A.J.H. orcid.org/0000-0002-5925-7148, Snoeck, M. and Hung, K.S.Y. (1998) Design patterns as litmus paper to test the strength of object-oriented methods. In: Rolland, C. and Grosz, G., (eds.) OOIS'98: 1998 International Conference on Object-Oriented Information Systems, 9–11 September 1998, Paris Proceedings. 1998 International Conference on Object-Oriented Information Systems, 09-11 Sep 1998, Paris, France. Springer London , pp. 129-147. ISBN 9781852330460
Simons, A.J.H. orcid.org/0000-0002-5925-7148 (1997) A Theory of Class. In: Patel, D., Sun, Y. and Patel, S., (eds.) OOIS’96: 1996 International Conference on Object Oriented Information Systems 16–18 December 1996, London Proceedings. 1996 International Conference on Object Oriented Information Systems, 16-18 Dec 1996, London, United Kingdom. Springer London , pp. 44-56. ISBN 9783540761327
Green, P.D. orcid.org/0000-0001-9103-7287, Cooke, M.P., Lafferty, H.H. et al. (1 more author) (1987) A speech recognition strategy based on making acoustic evidence and phonetic knowledge explicit. In: Proceedings of European Conference on Speech Technology. European Conference on Speech Technology, ECST 1987, 01-04 Sep 1987, Edinburgh, Scotland, UK. International Speech Communication Association , pp. 1373-1376.
Preprint
Derrick, J., North, S. orcid.org/0000-0002-8478-8960 and Simons, A.J.H. orcid.org/0000-0002-5925-7148 (2011) Building a refinement checker for Z. [Preprint] (Submitted)