Conference Papers
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),
DOI: 10.1109/HPCS48598.2019.9188054, IEEE Explore version, 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, Public repository 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 repository version.
A. J. H. Simons, A. Rossini, I. Paraskakis 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). Springer Link Version, Public Repository 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). Springer Link Version, Public Repository 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). Springer Link Version, Public Repository 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). Springer Link Version, Public Repository 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 Repository 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, Public Repository 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 Repository 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). Springer Link Version, Public Repository 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). Springer Link Version, Public Repository 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). Springer Link Version, Public Repository 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. ACM Digital Library Version, Public Repository 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. ACM Digital Library Version, 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 Repository 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 Repository 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 Repository 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 Repository 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 Repository 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 Repository 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, ArXiv Preprint 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 Repository 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, Open Access 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).