University of Sheffield

Anthony J H Simons, MA PhD

Senior Lecturer in Computer Science
University Computer Science Testing Group Space Tech Europe Industry

Research Publications: Conference

Find: Journal Articles Conference Papers Books/Reports Other Articles Citations
Refereed Conference Papers
E. Alzahrani, A. J. H. Simons and P. Richmond, Data aware simulation of complex systems on GPUs. Proc. 17th. International Conference on High Performance Computing and Simulation (HPCS 2019), 15-19 July, Dublin, Ireland (2019). In: HPCS 2019, 17th International Conference on High Performance Computing and Simulation, eds. W. W. Smari, K. Zine-Dine (Piscataway NJ: IEEE, 2019), 567-574.
ISBN: 978-1-7281-4483-2 (print), 987-1-7281-4482-5 (cd), 978-1-7281-4484-9/19 (paper) Public Draft Version.
S. Alharbi, M. Hasan, A. J. H. Simons, S. Brumfitt and P. D. Green, A lightly supervised approach to detect stuttering in children's speech. Proc. 19th. Annual Conference of the International Speech Communication Association (Interspeech 2018), 2-6 September, Hyderabad, India (2018). Paper 2155 in: Interspeech 2018, 19th Annual Conference of the International Speech Communication Association, ed. B. Yegnanarayana (Hyderabad: ISCA, 2018), 3433-3437.
DOI: 10.21437/Interspeech.2018-2155. ISSN: 1990-9772. Open Access Version.
S. Alharbi, M. Hasan, A. J. H. Simons, S. Brumfitt and P. D. Green, Detecting stuttering events in transcripts of children's speech. Proc. 5th. Int. Conf. on Statistical Language and Speech Processing (SLSP 2017), 23-25 October, Le Mans, France (2017). In: Statistical Language and Speech Processing, Fifth International Conference, SLSP 2017, Lecture Notes in Artificial Intelligence, 10583, eds. N. Camelin, Y. Estève and C. Martin-Vide (Cham: Springer International Publishing AG, 2017), 1-12.
DOI: 10.1007/978-3-319-68456-7_18. ISBN: 978-3-319-68455-0 (print), 978-3-319-68456-7 (online). Springer Link Version, Public Draft Version.
I. Paraskakis, A. J. H. Simons, A. Rossini and J. Jensen, Cloud Service Brokerage - 2014: Towards the Multi-Cloud Ecosystem. Proc. 2nd. Int. Workshop on Cloud Service Brokerage. ESOCC 2014 Workshops, 2 September, Manchester (2014). In: Advances in Service-Oriented and Cloud Computing, Communications in Computer and Information Science, 508, eds. G. Ortiz, C. Tran (Berlin: Springer Verlag, 2015), 121-123.
DOI: 10.1007/978-3-319-14886-1_12. ISBN: 978-3-319-14885-4 (print), 978-3-319-14886-1 (online). Public Draft Version.
F. Gonidis, I. Paraskakis and A. J. H. Simons, A development framework enabling the design of service-based cloud applications. Proc. 2nd. Int. Workshop on Cloud Service Brokerage. ESOCC 2014 Workshops, 2 September, Manchester (2014). In: Advances in Service-Oriented and Cloud Computing, Communications in Computer and Information Science, 508, eds. G. Ortiz, C. Tran (Berlin: Springer Verlag, 2015), 139-152.
DOI: 10.1007/978-3-319-14886-1_14. ISBN: 978-3-319-14885-4 (print), 978-3-319-14886-1 (online). Public Draft Version.
R. Lefticaru and A. J. H. Simons, X-machine based testing for cloud services. Proc. 2nd. Int. Workshop on Cloud Service Brokerage. ESOCC 2014 Workshops, 2 September, Manchester (2014). In: Advances in Service-Oriented and Cloud Computing, Communications in Computer and Information Science, 508, eds. G. Ortiz, C. Tran (Berlin: Springer Verlag, 2015), 175-189.
DOI: 10.1007/978-3-319-14886-1_17. ISBN: 978-3-319-14885-4 (print), 978-3-319-14886-1 (online). Public Draft Version.
M. Kiran and A. J. H. Simons, Model-based testing for composite web services in cloud brokerage scenarios. Proc. 2nd. Int. Workshop on Cloud Service Brokerage. ESOCC 2014 Workshops, 2 September, Manchester (2014). In: Advances in Service-Oriented and Cloud Computing, Communications in Computer and Information Science, 508, eds. G. Ortiz, C. Tran (Berlin: Springer Verlag, 2015), 190-205.
DOI: 10.1007/978-3-319-14886-1_18. ISBN: 978-3-319-14885-4 (print), 978-3-319-14886-1 (online). Public Draft Version.
A. J. H. Simons, K. Bratanis, D. Kourtesis, I. Paraskakis, S. Veloudis, Y. Verginadis, G. Mentzas, S. Braun and A. Rossini, Advanced service brokerage capabilities as the catalyst for future cloud service ecosystems. CrossCloud Brokers '14, Bordeaux, 2 December (2014). In: Proc. 2nd. Int. Workshop on CrossCloud Systems (Middleware 2014 Workshops), eds. Y. Elkhatib, S. Walraven (New York: ACM, 2014), Article 7, 6pp.
DOI: https://dx.doi.org/10.1145/2676662.2676675. ISBN: 978-1-4503-3233-0. Public Draft Version.
F. Gonidis, I. Paraskakis and A. J. H. Simons, Leveraging platform basic services in cloud application platforms for the development of cloud applications. Proc. 6th. IEEE Int. Conf. on Cloud Computing Technology and Science, eds. S. Pearson, B. He and X. Tang, 15-18 December, Nanyang, Singapore (IEEE Computer Society Press, 2014), 751-754.
DOI: 10.1109/CloudCom.2014.150. IEEE Xplore Digital Library Version.
F. Gonidis, I. Paraskakis and A. J. H. Simons, On the role of ontologies in the design of service based cloud applications. Proc. 2nd. Int. Workshop on Dependability and Interoperability in Heterogeneous Clouds. Euro-Par 2014 Workshops, 25-6 August, Porto, Portugal (2014). In: Euro-Par 2014: Parallel Processing Workshops, Part II, Lecture Notes in Computer Science, 8806, eds. L. Lopes, J. Žilinskas, A. Costain, R. G. Cascella, G. Kecskemeti, E. Jeannot, M. Cannataro, L. Ricci, L. Bnekner, S. Petit, V. Scarano, J. Gracia, S. Hunold, S. L. Scott, S. Lankes, C. Lengauer, J. Carretero, J. Breitbart and M. Alexander (Berlin: Springer Verlag, 2014), 1-12.
DOI: 10.1007/978-3-319-14313-2_1. ISBN: 978-3-319-14312-5 (print), 978-3-319-14313-2 (online). Springer Link Version.
M. U. Siregar, J. Derrick, S. D. North and A. J. H. Simons, Experiences using Z2SAL. Proc. 4th. IEEE Int. Conf. on Advanced Computer Science and Information Systems, 18-19 October, Jakarta, Indonesia (2014). (Jakarta: IEEE, 2014), 225-231.
DOI: 10.1109/ICACSIS.2014.7065856. IEEE Xplore Digital Library Version, Public Draft Version.
G. Mentzas, A. J. H. Simons and I. Paraskakis, Cloud Service Brokerage - 2013: Methods and Mechanisms. Proc. 1st. Int. Workshop on Cloud Service Brokerage. ICSOC 2013 Workshops, 2 December, Berlin, Germany (2013). In: Service-Oriented Computing - ICSOC 2013 Workshops, Lecture Notes in Computer Science, 8377, eds. A. R. Lomuscio, S. Nepal, F. Patrizi, B. Benatallah, I. Brandić, (Berlin: Springer Verlag, 2014), 135-136.
DOI: 10.1007/978-3-319-06859-6_12. ISBN: 978-3-319-06858-9 (print), 978-3-319-06859-6 (online). Public Draft Version.
D. Kourtesis, K. Bratanis, A. Friesen, Y. Verginadis, A. J. H. Simons, A. Rossini, A. Schwichtenberg and P. Gouvas, Brokerage for quality assurance and optimisation of cloud services: an analysis of key requirements. Proc. 1st. Int. Workshop on Cloud Service Brokerage. ICSOC 2013 Workshops, 2 December, Berlin, Germany (2013). In: Service-Oriented Computing - ICSOC 2013 Workshops, Lecture Notes in Computer Science, 8377, eds. A. R. Lomuscio, S. Nepal, F. Patrizi, B. Benatallah, I. Brandić, (Berlin: Springer Verlag, 2014), 150-162.
DOI: 10.1007/978-3-319-06859-6_14. ISBN: 978-3-319-06858-9 (print), 978-3-319-06859-6 (online). Public Draft Version.
M. Kiran, A. Friesen, A. J. H. Simons and W. K. R. Schwach, Model-based testing in cloud brokerage scenarios. Proc. 1st. Int. Workshop on Cloud Service Brokerage. ICSOC 2013 Workshops, 2 December, Berlin, Germany (2013). In: Service-Oriented Computing - ICSOC 2013 Workshops, Lecture Notes in Computer Science, 8377, eds. A. R. Lomuscio, S. Nepal, F. Patrizi, B. Benatallah, I. Brandić, (Berlin: Springer Verlag, 2014), 192-208.
DOI: 10.1007/978-3-319-06859-6_17. ISBN: 978-3-319-06858-9 (print), 978-3-319-06859-6 (online). Public Draft Version.
K. Bratanis, D. Kourtesis, I. Paraskakis, Y. Verginadis, G. Mentzas, A. J. H. Simons, A. Friesen and S. Braun, A research roadmap for bringing continuous quality assurance and optimization to cloud service brokers. Proc. 23rd. eChallenges Conference (e.2013), 9-11 October, Malahide, Dublin, Ireland (2013). In: eChallenges e-2013 Conference Proceedings, eds. P. Cunningham, M. Cunningham, International Information Management Corporation Ltd. (Dublin: IIMC Ltd., 2013), paper 73.
DOI: ?. ISBN: 978-1-905824-40-3. Public Draft Version.
F. Gonidis, I. Paraskakis and A. J. H. Simons, Existing approaches for cross-platform development and deployment of cloud applications. Proc. 8th. South-East European Doctoral Student Conference, 16-17 September, Thessaloniki, Greece (2013), eds. F. Gonidis, P. Gkasis, L. Lazouras, I. Stamatopoulou (Thessaloniki: SEERC, 2013), 270-274.
DOI: ?. ISBN: 978-960-9416-06-1. ISSN: 1791-3578. Open Access Proceedings.
F. Gonidis, A. J. H. Simons, I. Paraskakis and D. Kourtesis, Cloud application portability - an initial view. Proc. 6th. Balkan Conference in Informatics, ACM International Conference Proceedings Series, 19-21 September, Thessaloniki, eds. C. Georgiadis, P. Kefalas, D. Stamatis (New York: ACM, 2013), 275-282.
DOI: 10.1145/2490257.2490290. ISBN: 978-1-4503-1851-8. Public Draft Version.
K. Bratanis, D. Dranidis and A. J. H. Simons. SLAs for cross-layer adaptation and monitoring of service-based applications: a case study. Proc. Int. Workshop on Quality Assurance for Service-based Applications (QASBA '11), 14 September, Lugano, Switzerland (2011), eds. D. Bianculli, S. Guinea, A. Metzger, A. Polini (New York: ACM, 2011), 28-32.
DOI: 10.1145/2031746.2031755. ISBN: 978-1-4503-0826-7. Public Draft Version.
J. Derrick, S. North and A. J. H. Simons, Building a refinement checker for Z. Proc. 15th Int. Refinement Workshop, 20 June, Limerick, Ireland (2011), Electronic Proceedings in Theoretical Computer Science, 55, eds. J. Derrick, E. Boiten, S. Reeves (Saarbrücken: ETAPS, 2011), 37-52.
DOI: 10.4204/EPTCS.55.3. ISBN: 978-1-4503-0826-7. Open Access Version, Public Draft Version.
S. Foster, G. Struth, O. Rypáček and A. J. H. Simons, Model transformation by refinement and constructive logic. Proc. 1st Workshop on Model-Driven Engineering, Logic and Optimization: Friends or Foes? (MELO '11), 6 June, Birmingham, UK (2011), eds. J. Cabot, P. Albert, G. Dupé, M. Didonet del Fabro, S. Lee. Abstract in: Proc. 7th European Conf. Modelling Foundations and Applications, Lecture Notes in Computer Science, 6698, (Berlin: Springer Verlag, 2011), 379-380.
DOI: 10.1007/978-3-642-21470-7_27. ISBN: 978-3-642-21469-1 (print), 978-3-642-21470-7 (online). Workshop Summary, Public Draft Version.
K. Bratanis, D. Dranidis and A. J. H. Simons. An extensible architecture for the run-time monitoring of conversational web services. Proc 3rd. Int. Workshop on Monitoring, Adaptation and Beyond (MONA+ '10), 1 December, Ayia Napa, Cyprus (2010), eds. D. Karastoyanova, R. Kazhamiakin, A. Metzger (New York: ACM, 2010), 9-16.
DOI: 10.1145/1929566.1929568. ISBN: 978-1-4503-0422-1. Public Draft Version.
K. Bratanis, D. Dranidis and A. J. H. Simons, Towards run-time monitoring of business-level agreements for web services, Proc 5th. South-East European Doctoral Student Conference, 13-14 September, Thessaloniki, Greece (2010), eds. A. G. Psychogios, F. Proedru, E. Kalyva, G. Eleftherakis (Thessaloniki: SEERC, 2010), 370-379.
DOI: ?. ISBN: 978-960-9416-03-0. ISSN: 1791-3578. Open Access Proceedings, Public Draft Version.
K. Bratanis, D. Dranidis and A. J. H. Simons, Towards run-time monitoring of web services' conformance to business-level agreements. Proc 5th. Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART '10), 3-5 September, Windsor, UK (2010). In: Testing - Practice and Research Techniques, Lecture Notes in Computer Science, 6303, eds. L. Bottaci and G. Fraser (Berlin: Springer Verlag, 2010), 203-206.
DOI: 10.1007/978-3-642-15585-7_22. ISBN: 978-3-642-15584-0 (print), 978-3-642-15585-7 (online). Springer Link Version, Public Draft Version, Longer Draft Version.
A. J. H. Simons and W. Zhao, Dynamic analysis of algebraic structure to optimize test generation and test case selection. Proc 4th. Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART '09), 4-6 September, Windsor, UK (2009). In: Testing - Academic and Industrial Conference: Practice and Research Techniques, 2009. TAIC PART '09, eds. N. Walkinshaw, G. M. Kapfhammer, L. Bottaci (New York: IEEE, 2009), 33-42.
DOI: 10.1109/TAICPART.2009.28. ISBN: 978-0-7695-3820-4 (print). IEEE Xplore Digital Library Version, Public Draft Version.
C. D. Thomson, W. M. L. Holcombe and A. J. H. Simons, What makes testing work: Nine case studies of software developer teams. Proc 4th. Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART '09), 4-6 September, Windsor, UK (2009). In: Testing - Academic and Industrial Conference: Practice and Research Techniques, 2009. TAIC PART '09, eds. N. Walkinshaw, G. M. Kapfhammer, L. Bottaci (New York: IEEE, 2009), 167-175.
DOI: 10.1109/TAICPART.2009.12. ISBN: 978-0-7695-3820-4 (print). IEEE Xplore Digital Library Version, Public Draft Version.
D. Kourtesis, I. Paraskakis and A. J. H. Simons, Semantic web technologies in support of Service Oriented Architecture governance. Proc. 4th South East European Doctoral Student Conference (DSC 2009), 6-7 July, Thessaloniki, Greece (2009). In: Proc. 4th South East European Doctoral Student Conference: Infusing Research and Knowledge in South-East Europe, eds. G. Eleftherakis, S. Hannam, E. Kalyva, A. Psychogios (Thessaloniki: SEERC 2009), 418-425.
ISBN: 978-960-9416-00-9 (print). Public Repository Version.
E. Ramollari, D. Kourtesis, D. Dranidis and A. J. H. Simons, Leveraging semantic web service descriptions for validation by automated functional testing. Proc. 6th European Semantic Web Conf., 31 May - 4 June, Heraklion, Greece (2009). In: The Semantic Web: Research and Applications, Lecture Notes in Computer Science, 5554, eds. L. Aroyo, P. Traverso, F. Ciravegna, P. Cimiano, T. Heath, E. Hyvönen, R. Mizoguchi, E. Oren, M. Sabou, E. Simperl (Berlin: Springer Verlag, 2009), 593-607.
DOI: 10.1007/978-3-642-02121-3_44. ISBN: 978-3-642-02120-6 (print), 978-3-642-02121-3 (online). Springer Link Version, Public Draft Version.
J. Derrick, S. North and A. Simons, Z2SAL - building a model checker for Z. Proc. 1st Int. Conf. on Abstract State Machines, B and Z (ABZ 2008), 16-18 September, South Bank University, London (2008). In: Abstract State Machines, B and Z, Lecture Notes in Computer Science, 5238, eds. E Börger, M. Butler, J. P Bowen, P. Boca (Berlin: Springer Verlag, 2008), 280-293.
DOI: 10.1007/978-3-540-87603-8_22. ISBN: 978-3-540-87602-1 (print), 978-3-540-87603-8 (online). Springer Link Version, Public Repository Version.
A. J. H. Simons, N. Griffiths and C. D. Thomson, Feedback-based specification, coding and testing with JWalk. Proc 3rd. Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART '08), 29-31 August, Windsor, UK (2008). In: Testing - Academic and Industrial Conference: Practice and Research Techniques, 2008. TAIC PART '08, eds. M. Roper, G. M. Kapfhammer, L. Bottaci (New York: IEEE, 2008), 69-73.
DOI: 10.1109/TAIC-PART.2008.20. ISBN: 978-0-7695-3383-4 (print). IEEE Xplore Digial Library Version, Public Draft Version.
C. Thomson, M. Holcombe, A. Cowling, A. Simons and G. Michaelides, A pilot study of comparative customer comprehension between Extreme X-Machine and UML models. Proc 2nd. Int. ACM-IEEE Symp. Empirical Software Engineering and Measurement (ESEM 2008), October 9-10, Kaiserslautern, Germany (2008). eds. J. Kontio, J. Münch, S. Elbaum, (New York: ACM, 2008), 270-272.
DOI: 10.1145/1414004.1414048. ISBN: 978-1-59593-971-5 (print), 978-3-540-87603-8 (online). ACM Digital Library Version, Public Draft Version.
E. Ramollari, D. Dranidis and A. J. H. Simons, Reliable web service publication and discovery through model-based testing and verification. Proc. 3rd Annual South-East European Doctoral Student Conference, Vol 2, 26-27 June, Thessaloniki, Greece (2008), eds. I. Paraskakis, A. Luneski (Thessaloniki: SEERC, 2008), 302-314.
DOI: ?. ISBN: 978-960-89629-7-2. ISSN: 1791-3578. Open Access Proceedings, Public Draft Version.
E. Ramollari, D. Kourtesis, D. Dranidis and A. J. H. Simons, Towards reliable web service discovery through behavioural verification and validation. Proc. 3rd Young Researchers' Workshop on Service Oriented Computing, 12-13 June, Imperial College, London (2008), eds. M. Solanki, B. Norton, S. Reiff-Marganiec, (London: Imperial College, 2008), 1-11.
Open Access Proceedings, Public Draft Version.
A. J. H. Simons and C. D. Thomson, Benchmarking effectiveness for object-oriented unit testing. Proc IEEE 1st. Int. Conf. Software Testing, Verification and Validation Workshops (ICSTW '08), 9-11 April, Lillehammer, Norway (2008). Workshop on a Benchmark for Software Testing, eds. M. Roper, W. M. L. Holcombe, (New York: IEEE, 2008), 375-379.
DOI: 10.1109/ICSTW.2008.10. ISBN 978-0-7695-3388-9 (print). IEEE Xplore Digital Library Version, Public Draft Version.
A. J. H. Simons and C. D. Thomson, Lazy systematic unit testing: JWalk versus JUnit. Proc 2nd. Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART '07), 10-14 September, Windsor, UK (2007). In: Testing - Academic and Industrial Conference: Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION '07, eds. P. McMinn, M. Harman (New York: IEEE, 2007), 138.
DOI: 10.1109/TAIC.PART.2007.14. ISBN: 978-0-7695-2984-4 (print). IEEE Xplore Digial Library Version, Public Draft Version, A1-size Poster.
E. Ramollari, D. Dranidis and A. J. H. Simons, A survey of service-oriented development methodologies. Proc. 2nd Young Researchers' Workshop on Service Oriented Computing, 11-12 June, Leicester, UK (2007), eds. S. Gorton, M. Solanki, S. Reiff-Marganiec (Leicester: University of Leicester, 2007), 75-80.
DOI: ?. ISBN: ?. Open Access Proceedings, Public Draft Version.
J. Derrick, S. North and A. Simons, Issues in implementing a model checker for Z. Proc. 8th Int. Conf. on Formal Engineering Methods (ICFEM 2006), 1-3 November, Macao, China (2006). In: Formal Methods and Software Engineering, Lecture Notes in Computer Science, 4260, eds. Z. Liu, J. He (Berlin: Springer Verlag, 2006), 678-696.
DOI: 10.1007/11901433_37. ISBN: 978-3-540-47460-9 (print), 978-3-540-47462-3 (online). Springer Link Version, Public Draft Version.
A. J. H. Simons and C. A. Fernández-y-Fernández, Using Alloy to model-check visual design notations. Proc. 6th Mexican Int. Conf. on Computer Science (ENC 2005), 26-30 September, Puebla, Mexico (2005), eds. V. Estivill-Castro, J. A. Sanchez, (New York: IEEE, 2005), 121-128.
DOI: 10.1109/ENC.2005.52. ISBN: 0-7695-2454-0 (print). ISSN: 1550-4069. IEEE Xplore Digital Library Version, Public Repository Version.
A. J. H. Simons, A theory of regression testing for behaviourally compatible object types. Proc. 3rd UK Software Testing Research Workshop (UK-Test 2005), 5-6 September, Sheffield, UK (2005), eds. P. McMinn, M. Holcombe, R. Hierons (Sheffield: University of Sheffield, 2005), 103-121.
DOI 10.1002/stvr.349. ISSN 1099-1689 (online). Revised Journal Article, Public Draft Version.
W. P. Sardjono and A. J. H. Simons, A Pattern-driven partitioning in designing distributed object applications. Proc. 9th European Conf. on Pattern Languages of Programming (EuroPLoP 2004), 7-11 July, Kloster Irsee, Bavaria, Germany (2004), eds. K. Marquardt, D. Schütz (Konstanz: UVK Universitätsverlag Konstanz GmBH, 2005), 583-615.
ISBN 3-87940-796-7 (print). Public Draft Version.
A. J. H. Simons, Testing with guarantees and the failure of regression testing in eXtreme Programming. Proc. 6th Int. Conf. on eXtreme Programming and Agile Processes in Software Engineering (XP 2005), 18-23 June, Sheffield, UK (2005). In: Extreme Programming and Agile Processes in Software Engineering, Lecture Notes in Computer Science, 3556, eds. H. Baumeister, M. Marchesi, M. Holcombe (Berlin: Springer Verlag, 2005), 118-126.
DOI: 10.1007/11499053_14. ISBN: 978-3-540-26277-0 (print), 978-3-540-31487-5 (online). Springer Link Version, Public Draft Version.
A. J. H. Simons, M. P. Stannett, K. E. Bogdanov and W. M. L. Holcombe, Plug and play safely: Rules for behavioural compatibility. Proc. 6th IASTED Int. Conf. on Software Engineering and Applications (SEA 2002), 4-6 November, Cambridge Massachusetts (2002). In: Software Engineering and Applications, 374, ed. M. H. Hamza (Calgary: Acta Press, 2002), 263-268.
ISBN: 0-88986-323-7 (print). Acta Press Version, Public Draft Version.
A. J. H. Simons, On the compositional properties of UML statechart diagrams. Proc. 3rd. Conf. Rigorous Object-Oriented Methods (ROOM 2000), 17 January, York, UK (2000). In: Electronic Workshops in Computing (eWiC), Rigorous Object-Oriented Methods 2000, eds. A. N. Clark, A. Evans, K. Lano (London: British Computer Society, 2000), 4.1-4.19.
ISSN 1477-9358 (online). eWiC Version, Public Draft Version.
A. J. H. Simons, Use cases considered harmful. Proc. 29th Conf. Technology of Object-Oriented Languages and Systems (TOOLS-29 Europe), 7-10 June, Nancy, France (1999). In: Technology of Object-Oriented Languages and Systems, 29, eds. R. Mitchell, A. C. Wills, J. Bosch, B. Meyer (Los Alamitos: IEEE Computer Society, 1999), 194-203.
ISBN 0-7695-0275-X (print). TOOLS Index, Public Draft Version.
A. J. H. Simons and I. Graham 37 Things that don't work in object modelling with UML. Proc. 2nd. ECOOP Workshop on Precise Behavioural Semantics, 12th European Conference on Object-Oriented Programming, Workshop 6, 24 July, Brussels, Belgium (1998). In: Technische Universität München, Technical Report TUM-19813, eds. H. Kilov, B. Rumpe (München: Institut für Informatik der TUM, 1998), 209-232.
Serial TUM-INFO-06-I9813-300/1.-FI (print). TUM Index, Public Draft Version.
A. J. H. Simons, M. Snoeck and K. S. Y. Hung, Design patterns as litmus paper to test the strength of object-oriented methods. Proc. 5th Int. Conf. Object-Oriented Information Systems (OOIS 1998), 9-11 September, Paris, France (1998). In: OOIS '98: 1998 Int. Conf. on Object-Oriented Information Systems, eds. C. Rolland, G. Grosz (London: Springer Verlag London, 1998), 129-147.
DOI: 10.1007/978-1-4471-0895-5_10. ISBN: 978-1-85233-046-0 (print), 978-1-4471-0895-5 (online). Springer Link Version, Public Draft Version.
A. J. H. Simons, K. S. Y. Hung and A. Rose, "The truth is out there?": A survey of business objects. Proc. 5th Int. Conf. Object-Oriented Information Systems (OOIS 1998), 9-11 September, Paris, France (1998). In: OOIS '98: 1998 Int. Conf. on Object-Oriented Information Systems, eds. C. Rolland, G. Grosz (London: Springer Verlag London, 1998), 183-200.
DOI: 10.1007/978-1-4471-0895-5_13. ISBN: 978-1-85233-046-0 (print), 978-1-4471-0895-5 (online). Springer Link Version, Public Draft Version.
A. J. H. Simons and M. Snoeck, Rigorous object-oriented system design. Proc. 2nd. Conf. Rigorous Object-Oriented Methods (ROOM 1998), 29 May, Bradford, UK (1998). In: Rigorous Object-Oriented Methods, eds. A. N. Clark, A. Evans, K. Lano (Bradford: University of Bradford, 1998), 2.1-2.24.
ROOM Index, Public Draft Version.
K. S. Y. Hung, A. J. H. Simons and A. Rose, Can you have it all? Managing the time-and-budget-against-quality issue in a dynamic business object architecture development. Proc. BCS Quality SIG 6th Ann. Int. Conf. on Software Quality Management (SQM 1998), 6-8 April, Amsterdam, Netherlands (1998). In: Software Quality Management VI: Quality Improvement Issues, eds. C. Hawkins, M. Ross, G. Staples (London: Springer-Verlag London, 1998), 121-134.
DOI: 10.1007/978-1-4471-1303-4_11. ISBN: 978-1-85233-021-7 (print), 978-1-4471-1303-4 (online). Springer Link Version, Public Draft Version.
A. J. H. Simons, A theory of class. Proc. 3rd Int. Conf. Object-Oriented Information Systems (OOIS 1996), 16-18 December, London (1996). In: OOIS '96: 1996 Int. Conf. on Object-Oriented Information Systems, eds. D. Patel, Y. Sun, S. Patel (London: Springer-Verlag London, 1996), 44-56.
DOI: 10.1007/978-1-4471-0973-0_4, ISBN: 978-3-540-76132-7 (print), 978-1-4471-0973-0 (online). Springer Link Version, Public Draft Version.
A. J. H. Simons, Rationalising Eiffel's type system. Proc. 18th Conf. Technology of Object-Oriented Languages and Systems (TOOLS-18 Pacific), November, Melbourne, Australia (1995). In: Technology of Object-Oriented Languages and Systems, 18, eds. C. Mingins, R. Duke, B. Meyer (Sydney: Prentice Hall, 1995), 365-377.
ISBN: 0-13-477200-8 (print). ISE Index, Public Draft Version.
A. J. H. Simons, Using and teaching object-oriented languages - the future of software engineering. Proc. 2nd Nat. Conf. on Software Engineering in Higher Education (SEHE '92), 22 September, Southampton, UK (1992). In: Software Engineering in Higher Education: Proceedings of SEHE '92, ed. G. A. King (Southampton: Southampton Institute of Higher Education, 1992), 23-34.
ISBN-10: 1-874011-10-9, ISBN-13: 978-1874011-10-1. Amazon Version.
P. J. Roach, D. Miller, P. D. Green and A. J. H. Simons, The SYLK project: syllable structures as a basis for evidential reasoning with phonetic knowledge. Proc. 12th Int. Congress of Phonetic Sciences (ICPhS 1991), 19-24 August, Aix-en-Provence, France (1991). In: Proc. 12th Int. Congress of Phonetic Sciences, Vol. 4, ed. P. Romeas (Aix: International Phonetic Association, 1991), 482-485.
ISSN: 241-0669. IPA Index.
A. J. H. Simons, An object-oriented environment for phonetic processing. Proc. 7th Fed. Acoust. Soc. Europe Symposium on Speech (SPEECH '88), 22-26 August, Edinburgh, UK (1988). In: SPEECH '88: Proc. 7th FASE Symposium, eds. W. A. Ainsworth, J. N. Holmes, R. Lawrence. (Edinburgh: Institute of Acoustics, 1988), Vol. 1, 361-368.
ISBN: 0-946731-77-2 (4 vols), 0-946731-73-X (vol 1). ISBN Index.
P. D. Green, M. P. Cooke, M. D. Crawford and A. J. H. Simons, Acoustic-phonetic reasoning using the Speech Sketch: a progress report. Proc. 7th Fed. Acoust. Soc. Europe Symposium on Speech (SPEECH '88), 22-26 August, Edinburgh, UK (1988). In: SPEECH '88: Proc. 7th FASE Symposium, eds. W. A. Ainsworth, J. N. Holmes, R. Lawrence. (Edinburgh: Institute of Acoustics, 1988), Vol. 1, 353-360.
ISBN: 0-946731-77-2 (4 vols), 0-946731-73-X (vol 1). ISBN Index, IOA Index.
P. D. Green, M. P. Cooke, H. H. Lafferty and A. J. H. Simons, A speech recognition strategy based on making acoustic evidence and phonetic knowledege explicit. Proc. European Conf. on Speech Technology (ECST '87), September, Edinburgh, Scotland, UK (1987). In: European Conference on Speech Technology, Edinburgh - September 1987, eds. J. Laver, M. A. Jack (Edinburgh: CEP Consultants, Ltd., 1987), Vol. 1, 373-376 (or: 1373-1376).
ISBN: ISCA Archive Abstract, ISCA Archive Version.

Invited Conference Tutorials
OOPSLA Logo

My early work in Object-Oriented Type Theory, and later work in Object-Oriented Software Engineering, was presented in tutorials at leading international conferences, in particular, the ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (now renamed as SPLASH) and the AITO/ACM European Conference on Object-Oriented Programming.

A. J. H. Simons, Object Discovery: a Process for Developing Medium-Sized Applications. Tutorial 14, ECOOP 1998 Tutorials (Brussels: AITO/ACM, 1998), 109pp. Presented at: 8th European Conference on Object-Oriented Programming, 20-24 July, Brussels, Belgium (1998). Public Draft Version.
A. J. H. Simons, Object Discovery: a Process for Developing Applications. Workshop 6, BCS OT'98 (Oxford: BCS, 1998), 116pp. Presented at: British Computer Society Conference on Object Technology 6-8 April, Oxford, UK (1998). Public Draft Version.
A. J. H. Simons and P. Swatman, Engineering the Object-Oriented Software Process: OPEN and MeNTOR. Tutorial 15, ECOOP 1997 Tutorials (Jyväskylä: AITO/ACM Press, 1997), 96pp. Presented at: 7th European Conference on Object-Oriented Programming, 9-13 June, Jyväskylä, Finland (1997). Public Draft Version.
A. J. H. Simons, Exploring Object-Oriented Type Systems. Tutorial 28, OOPSLA 1994 Tutorials (Portland: ACM Press, 1994), 81pp. Presented at: 9th Conference on Object-Oriented Programming Systems, Languages, and Applications, 23-27 October, Portland, Oregon, USA (1994). Public Draft Version.
A. J. H. Simons, Introduction to Object-Oriented Type Theory. Tutorial 23, OOPSLA 1993 Tutorials (Washington DC: ACM Press, 1993), 62pp. Presented at: 8th Conference on Object-Oriented Programming Systems, Languages, and Applications, 26 September - 1 October, Washington, DC, USA (1994). Public Draft Version.
A. J. H. Simons, Introduction to Object-Oriented Type Theory. Tutorial 10, ECOOP 1993 Tutorials (Kaiserslautern: AITO/ACM Press, 1993), 62pp. Presented at: 3rd European Conference on Object-Oriented Programming, 26-30 July, Kaiserslautern, Germany (1993). Public Draft Version.
A. J. H. Simons, Object-Oriented Programming. AISB 1989 Tutorials (Falmer: SSAISB, 1989), 76pp. Presented at: 7th Annual Convention of the Society for the Study of Artificial Intelligence and Simulation of Behaviour, 18-21 April, Falmer, Sussex, UK (1989).

Workshops and Posters
S. Alharbi, M. Hasan, A. J. H. Simons, S. Brumfitt and P. D. Green, Automatic recognition of children's read speech for stuttering application. Proc. 6th. Workshop on Child Computer Interaction (WOCCI 2017), 13 November, Glasgow, UK (2017), in: 6th. Workshop on Child Computer Interaction (WOCCI 2017), eds. K. Evanini, M. Najafian, S. Safavi and K. Berkling (ISCA, 2017), 1-6.
DOI: 10.21437/WOCCI.2017-1. Open Source Proceedings, Public Draft Version.
E. Alzahrani, P. Richmond and A. J. H. Simons, A formula-driven scalable benchmark model for ABM, applied to FLAME GPU. Proc. 12th. Int. Workshop on Advanced Parallel Processing Technology for Artificial Intelligence (APPT 2017), 29 August, Santiago de Compostela, Spain (2017), in: 12th Int. Symp. on Advanced Parallel Processing Technologies (APPT 2017), eds. G. Sun and Y. Chen (Berlin: Springer Verlag, 2017), seq 56.
ISBN: 978-3-319-75177-1 (print), 978-3-319-75178-8 (online). DOI: 10.1007/978-3-319-75178-8_56. Springer Professional Proceedings, Public Draft Version.
D. Kourtesis, I. Paraskakis and A. J. H. Simons, Policy-driven governance in cloud application platforms: an ontolgy-based approach. Proc. 4th. Int. Workshop on Ontology-Driven Information Systems Engineering (ODISE '12), 24 July, Graz, Austria (2012), eds. S. de Cesare, F. Gailly, G. Holland, M. Lycett, C. Partridge (unpublished proceedings).
Public Draft Version.
D. Kourtesis, I. Paraskakis and A. J. H. Simons, Ontology-based framework for policy-driven governance in cloud application platforms. Poster presented at: Proc. 7th. Int. Conf. on Formal Ontology in Information Systems (FOIS '12), 24-27 July, Graz, Austria (2012), In: Frontiers in Artificial Intelligence and Applications, 239, eds. M. Donnelly, G. Guizzardi (Amsterdam: IOS Press, 2012), (unpublished poster).
ISBN: 978-1-61499-083-3 (print), 978-1-61499-084-0 (online). Public Draft Version.
A. F. Subahi and A. J. H. Simons, A multi-level transformation from conceptual data models to database scripts using Java agents. Proc. 2nd. Int. Workshop on Composition and Evolution of Model Transformations, 30 September, Kings College, London, UK (CEMT '11), eds. K. Lano, S. Zschaler (unpublished proceedings).
Public Draft Version.
A. J. H. Simons, Refinement and regeneration: or the failure of regression testing. FORTEST Workshop on Testing, 10 March, Cumberland Lodge, Windsor Great Park, UK (Uxbridge: FORTEST, 2005), ed. M. Hierons. (unpublished proceedings).
Zipped Presentation.
A. J. H. Simons, M. P. Stannett, K. E. Bogdanov and W. M. L. Holcombe, MOTIVE: Method for Object Testing, Integration and Verification. FORTEST Workshop on Testing, 13 September, University of York, UK (York: FORTEST, 2002), ed. R. Hierons. (unpublished proceedings).
Zipped Presentation.
A. J. H. Simons and P. Jackson, SCOPE: the system and some applications. Proc. 14th BCS SIG on Object-Oriented Programming Systems, London, UK (London: British Computer Society, 1987), 4.1-4.4 (unpublished proceedings).
A. J. H. Simons, SCOPE: the system and some applications. Proc. 14th BCS SIG on Object-Oriented Programming Systems, July, London, UK (London: British Computer Society, 1987), 4.1-4.4 (unpublished proceedings).
A. J. H. Simons, A user's guide to programming styles in LOOPS. Dandelion Users' Group, July, Watford, UK (Watford: Artificial Intelligence, Ltd., 1986), 3.1-3.6 (unpublished proceedings).