Anthony J. H. Simons

Publication Activity (10 Years)

Years Active: 1987-2023
Publications (10 Years): 11

Top Topics

Spoken Documents

Autistic Children

Quality Assurance

Top Venues

ESOCC Workshops

ICSOC Workshops

Softw. Test. Verification Reliab.

Publications

Thomas Weripuo Gyeera, Anthony J. H. Simons, Mike Stannett
Regression Analysis of Predictions and Forecasts of Cloud Data Center KPIs Using the Boosted Decision Tree Algorithm. IEEE Trans. Big Data 9 (4) (2023)
Thomas Weripuo Gyeera, Anthony J. H. Simons, Mike Stannett
Kalman Filter Based Prediction and Forecasting of Cloud Server KPIs. IEEE Trans. Serv. Comput. 16 (4) (2023)
Sadeen Alharbi, Madina Hasan, Anthony J. H. Simons, Shelagh Brumfitt, Phil D. Green
Sequence labeling to detect stuttering events in read speech. Comput. Speech Lang. 62 (2020)
Anthony J. H. Simons, Raluca Lefticaru
A verified and optimized Stream X-Machine testing method, with application to cloud service certification. Softw. Test. Verification Reliab. 30 (3) (2020)
Eidah Alzahrani, Anthony J. H. Simons, Paul Richmond
Data Aware Simulation of Complex Systems on GPUs. HPCS (2019)
Sadeen Alharbi, Madina Hasan, Anthony J. H. Simons, Shelagh Brumfitt, Phil D. Green
A Lightly Supervised Approach to Detect Stuttering in Children's Speech. INTERSPEECH (2018)
Sadeen Alharbi, Madina Hasan, Anthony J. H. Simons, Shelagh Brumfitt, Phil D. Green
Detecting Stuttering Events in Transcripts of Children's Speech. SLSP (2017)
Eidah Alzahrani, Paul Richmond, Anthony J. H. Simons
A Formula-Driven Scalable Benchmark Model for ABM, Applied to FLAME GPU. Euro-Par Workshops (2017)
Sadeen Alharbi, Anthony J. H. Simons, Shelagh Brumfitt, Phil D. Green
Automatic recognition of children's read speech for stuttering application. WOCCI (2017)
Mariam Kiran, Anthony J. H. Simons
Testing Software Services in Cloud Ecosystems. Int. J. Cloud Appl. Comput. 6 (1) (2016)
Fotis Gonidis, Iraklis Paraskakis, Anthony J. H. Simons
Rapid Development of Service-based Cloud Applications: The Case of the Cloud Application Platforms. Int. J. Syst. Serv. Oriented Eng. 5 (4) (2015)
Fotis Gonidis, Iraklis Paraskakis, Anthony J. H. Simons
A Development Framework Enabling the Design of Service-Based Cloud Applications. ESOCC Workshops (2014)
Anthony J. H. Simons, Konstantinos Bratanis, Dimitrios Kourtesis, Iraklis Paraskakis, Simeon Veloudis, Yiannis Verginadis, Gregoris Mentzas, Simone Braun, Alessandro Rossini
Advanced service brokerage capabilities as the catalyst for future cloud service ecosystems. CCB@Middleware (2014)
Raluca Lefticaru, Anthony J. H. Simons
X-Machine Based Testing for Cloud Services. ESOCC Workshops (2014)
Fotis Gonidis, Iraklis Paraskakis, Anthony J. H. Simons
Leveraging Platform Basic Services in Cloud Application Platforms for the Development of Cloud Applications. CloudCom (2014)
Anthony J. H. Simons, Alessandro Rossini, Iraklis Paraskakis, Jens Jensen
Cloud Service Brokerage - 2014: Towards the Multi-cloud Ecosystem. ESOCC Workshops (2014)
Fotis Gonidis, Iraklis Paraskakis, Anthony J. H. Simons
On the Role of Ontologies in the Design of Service Based Cloud Applications. Euro-Par Workshops (2) (2014)
Mariam Kiran, Anthony J. H. Simons
Model-Based Testing for Composite Web Services in Cloud Brokerage Scenarios. ESOCC Workshops (2014)
Mariam Kiran, Andreas Friesen, Anthony J. H. Simons, Wolfgang K. R. Schwach
Model-Based Testing in Cloud Brokerage Scenarios. ICSOC Workshops (2013)
Anthony J. H. Simons, Gordon Fraser, Leonardo Bottaci
Guest editor's introduction to the special section on TAIC-PART 2010 - Testing: Academic and Industrial Conference-Practice and Research Techniques. Softw. Pract. Exp. 43 (9) (2013)
Dimitrios Kourtesis, Konstantinos Bratanis, Andreas Friesen, Yiannis Verginadis, Anthony J. H. Simons, Alessandro Rossini, Antonia Schwichtenberg, Panagiotis Gouvas
Brokerage for Quality Assurance and Optimisation of Cloud Services: An Analysis of Key Requirements. ICSOC Workshops (2013)
Gregoris Mentzas, Anthony J. H. Simons, Iraklis Paraskakis
Cloud Service Brokerage - 2013: Methods and Mechanisms. ICSOC Workshops (2013)
Fotis Gonidis, Anthony J. H. Simons, Iraklis Paraskakis, Dimitrios Kourtesis
Cloud application portability: an initial view. BCI (2013)
John Derrick, Siobhán North, Anthony J. H. Simons
Building a refinement checker for Z Refine@FM (2011)
Konstantinos Bratanis, Dimitris Dranidis, Anthony J. H. Simons
SLAs for cross-layer adaptation and monitoring of service-based applications: a case study. QASBA (2011)
John Derrick, Siobhán North, Anthony J. H. Simons
Z2SAL: a translation-based model checker for Z. Formal Aspects Comput. 23 (1) (2011)
Konstantinos Bratanis, Dimitris Dranidis, Anthony J. H. Simons
Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements. TAIC PART (2010)
Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul J. Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan
Using formal specifications to support testing. ACM Comput. Surv. 41 (2) (2009)
Ervin Ramollari, Dimitrios Kourtesis, Dimitris Dranidis, Anthony J. H. Simons
Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing. ESWC (2009)
Anthony J. H. Simons, Carlos Alberto Fernández y Fernández
Using Alloy to model-check visual design notations CoRR (2008)
Anthony J. H. Simons, Christopher David Thomson
Benchmarking Effectiveness for Object-Oriented Unit Testing. ICST Workshops (2008)
John Derrick, Siobhán North, Anthony J. H. Simons
Z2SAL - Building a Model Checker for Z. ABZ (2008)
Anthony J. H. Simons
JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction. Autom. Softw. Eng. 14 (4) (2007)
Anthony J. H. Simons
Verification and Validation for Quality of UML 2.0 Models. By Bhuvan Unhelkar. Wiley, 2005, ISBN: 0-471-72783-0, 271 pp. Softw. Test. Verification Reliab. 16 (1) (2006)
Anthony J. H. Simons
A theory of regression testing for behaviourally compatible object types. Softw. Test. Verification Reliab. 16 (3) (2006)
Anthony J. H. Simons
The Theory of Classification Part 19: The Proliferation of Parameters. J. Object Technol. 4 (5) (2005)
Anthony J. H. Simons, Carlos Alberto Fernández y Fernández
Using Alloy to model-check visual design notations. ENC (2005)
Anthony J. H. Simons
The Theory of Classification, Part 16: Rules of Extension and the Typing of Inheritance. J. Object Technol. 4 (1) (2005)
Anthony J. H. Simons
The Theory of Classification, Part 18: Polymorphism through the Looking Glass. J. Object Technol. 4 (4) (2005)
Anthony J. H. Simons
The Theory of Classification, Part 17: Multiple Inheritance and the Resolution of Inheritance Conflicts. J. Object Technol. 4 (2) (2005)
Anthony J. H. Simons
Testing with Guarantees and the Failure of Regression Testing in eXtreme Programming. XP (2005)
Anthony J. H. Simons
The Theory of Classification Part 20: Modular Checking of Classtypes. J. Object Technol. 4 (7) (2005)
Anthony J. H. Simons
The Theory of Classification, Part 14: Modification and Objects like Myself. J. Object Technol. 3 (8) (2004)
Anthony J. H. Simons
The Theory of Classification Part 15: Mixins and the Superclass Interface. J. Object Technol. 3 (10) (2004)
Anthony J. H. Simons
The Theory of Classification, Part 12: : Building the Class Hierarchy. J. Object Technol. 3 (5) (2004)
Anthony J. H. Simons
The Theory of Classification, Part 11: Adding Class Types to Object Implementations. J. Object Technol. 3 (3) (2004)
Anthony J. H. Simons
The Theory of Classification, Part 10: Method Combination and Super-Reference. J. Object Technol. 3 (1) (2004)
Anthony J. H. Simons
The Theory of Classification, Part 13: Template Classes and Genericity. J. Object Technol. 3 (7) (2004)
Widayashanti Pramudita Sardjono, Anthony J. H. Simons
Pattern-Driven Partitioning in Designing Distributed Object Applications. EuroPLoP (2004)
Anthony J. H. Simons
The Theory of Classification, Part 8: Classification and Inheritance. J. Object Technol. 2 (4) (2003)
Anthony J. H. Simons
The Theory of Classification, Part 5: Axioms, Assertions and Subtyping. J. Object Technol. 2 (1) (2003)
Anthony J. H. Simons
The Theory of Classification, Part 7: A Class is a Type Family. J. Object Technol. 2 (3) (2003)
Anthony J. H. Simons
The Theory of Classification, Part 6: The Subtyping Inquisition. J. Object Technol. 2 (2) (2003)
Anthony J. H. Simons
The Theory of Classification, Part 9: Inheritance and Self-Reference. J. Object Technol. 2 (6) (2003)
Anthony J. H. Simons
The Theory of Classification, Part 3: Object Encoding and Recursion. J. Object Technol. 1 (4) (2002)
Anthony J. H. Simons
The Theory of Classification, Part 1: Perspectives on Type Compatibility. J. Object Technol. 1 (1) (2002)
Anthony J. H. Simons
The Theory of Classification, Part 2: The Scratch-Built Typechecker. J. Object Technol. 1 (2) (2002)
Anthony J. H. Simons
The Theory of Classification, Part 4: Object Types and Subtyping. J. Object Technol. 1 (5) (2002)
Anthony J. H. Simons
On the Compositional Properties of UML Statechart Diagrams. Rigorous Object-Oriented Methods (2000)
Brian Henderson-Sellers, Anthony J. H. Simons
The OPEN Software Engineering Process Architecture: From Activities to Techniques. J. Res. Pract. Inf. Technol. 32 (1) (2000)
Anthony J. H. Simons
Use Cases Considered Harmful. TOOLS (29) (1999)
Klaas van den Berg, Anthony J. H. Simons
Control-flow semantics of use cases in UML. Inf. Softw. Technol. 41 (10) (1999)
Anthony J. H. Simons
Borrow, Copy or Steal? Loans and Larceny in the Orthodox Canonical Form. OOPSLA (1998)
Anthony J. H. Simons
A Theory of Class. OOIS (1996)
Anthony J. H. Simons
A Qualitative Model of the Articulators. ECAI (1988)
Phil D. Green, Martin P. Cooke, H. H. Lafferty, Anthony J. H. Simons
A speech recognition strategy based on making acoustic evidence and phonetic knowledge explicit. ECST (1987)