default search action
Anthony J. H. Simons
Person information
- affiliation: University of Sheffield, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j34]Thomas Weripuo Gyeera
, Anthony J. H. Simons
Regression Analysis of Predictions and Forecasts of Cloud Data Center KPIs Using the Boosted Decision Tree Algorithm. IEEE Trans. Big Data 9(4): 1071-1085 (2023) - [j33]Thomas Weripuo Gyeera
Kalman Filter Based Prediction and Forecasting of Cloud Server KPIs. IEEE Trans. Serv. Comput. 16(4): 2742-2754 (2023) - 2020
- [j32]Sadeen Alharbi
Sequence labeling to detect stuttering events in read speech. Comput. Speech Lang. 62: 101052 (2020) - [j31]Anthony J. H. Simons
A verified and optimized Stream X-Machine testing method, with application to cloud service certification. Softw. Test. Verification Reliab. 30(3) (2020)
2010 – 2019
- 2019
- [c33]Eidah Alzahrani, Anthony J. H. Simons
Data Aware Simulation of Complex Systems on GPUs. HPCS 2019: 567-574 - 2018
- [c32]Sadeen Alharbi
A Lightly Supervised Approach to Detect Stuttering in Children's Speech. INTERSPEECH 2018: 3433-3437 - 2017
- [c31]Eidah Alzahrani
A Formula-Driven Scalable Benchmark Model for ABM, Applied to FLAME GPU. Euro-Par Workshops 2017: 703-714 - [c30]Sadeen Alharbi
Detecting Stuttering Events in Transcripts of Children's Speech. SLSP 2017: 217-228 - [c29]Sadeen Alharbi
Automatic recognition of children's read speech for stuttering application. WOCCI 2017: 1-6 - 2016
- [j30]Mariam Kiran, Anthony J. H. Simons
Testing Software Services in Cloud Ecosystems. Int. J. Cloud Appl. Comput. 6(1): 42-58 (2016) - 2015
- [j29]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): 1-25 (2015) - 2014
- [c28]Fotis Gonidis, Iraklis Paraskakis
Leveraging Platform Basic Services in Cloud Application Platforms for the Development of Cloud Applications. CloudCom 2014: 751-754 - [c27]Anthony J. H. Simons
Cloud Service Brokerage - 2014: Towards the Multi-cloud Ecosystem. ESOCC Workshops 2014: 121-123 - [c26]Fotis Gonidis, Iraklis Paraskakis
A Development Framework Enabling the Design of Service-Based Cloud Applications. ESOCC Workshops 2014: 139-152 - [c25]Raluca Lefticaru
X-Machine Based Testing for Cloud Services. ESOCC Workshops 2014: 175-189 - [c24]Mariam Kiran, Anthony J. H. Simons
Model-Based Testing for Composite Web Services in Cloud Brokerage Scenarios. ESOCC Workshops 2014: 190-205 - [c23]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: 1-12 - [c22]Anthony J. H. Simons
Advanced service brokerage capabilities as the catalyst for future cloud service ecosystems. CCB@Middleware 2014: 7:1-7:6 - 2013
- [j28]Anthony J. H. Simons
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): 1101-1102 (2013) - [c21]Fotis Gonidis, Anthony J. H. Simons
Cloud application portability: an initial view. BCI 2013: 275-282 - [c20]Gregoris Mentzas
Cloud Service Brokerage - 2013: Methods and Mechanisms. ICSOC Workshops 2013: 135-136 - [c19]Dimitrios Kourtesis, Konstantinos Bratanis, Andreas Friesen, Yiannis Verginadis
Brokerage for Quality Assurance and Optimisation of Cloud Services: An Analysis of Key Requirements. ICSOC Workshops 2013: 150-162 - [c18]Mariam Kiran, Andreas Friesen, Anthony J. H. Simons
Model-Based Testing in Cloud Brokerage Scenarios. ICSOC Workshops 2013: 192-208 - 2011
- [j27]John Derrick
Z2SAL: a translation-based model checker for Z. Formal Aspects Comput. 23(1): 43-71 (2011) - [c17]Konstantinos Bratanis, Dimitris Dranidis
SLAs for cross-layer adaptation and monitoring of service-based applications: a case study. QASBA 2011: 28-32 - [c16]John Derrick
Building a refinement checker for Z. Refine@FM 2011: 37-52 - 2010
- [c15]Konstantinos Bratanis, Dimitris Dranidis
Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements. TAIC PART 2010: 203-206
2000 – 2009
- 2009
- [j26]Robert M. Hierons
Using formal specifications to support testing. ACM Comput. Surv. 41(2): 9:1-9:76 (2009) - [c14]Ervin Ramollari
Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing. ESWC 2009: 593-607 - 2008
- [c13]John Derrick
Z2SAL - Building a Model Checker for Z. ABZ 2008: 280-293 - [c12]Christopher Thomson, Mike Holcombe, Tony Cowling, Tony Simons
A pilot study of comparative customer comprehension between extreme x-machine and uml models. ESEM 2008: 270-272 - [c11]Anthony J. H. Simons
Benchmarking Effectiveness for Object-Oriented Unit Testing. ICST Workshops 2008: 375-379 - [i1]Anthony J. H. Simons
Using Alloy to model-check visual design notations. CoRR abs/0802.2258 (2008) - 2007
- [j25]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): 369-418 (2007) - 2006
- [j24]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): 62-64 (2006) - [j23]Anthony J. H. Simons
A theory of regression testing for behaviourally compatible object types. Softw. Test. Verification Reliab. 16(3): 133-156 (2006) - [c10]John Derrick, Siobhán North
Issues in Implementing a Model Checker for Z. ICFEM 2006: 678-696 - 2005
- [j22]Anthony J. H. Simons
The Theory of Classification, Part 16: Rules of Extension and the Typing of Inheritance. J. Object Technol. 4(1): 13-26 (2005) - [j21]Anthony J. H. Simons
The Theory of Classification, Part 17: Multiple Inheritance and the Resolution of Inheritance Conflicts. J. Object Technol. 4(2): 15-26 (2005) - [j20]Anthony J. H. Simons:
The Theory of Classification, Part 18: Polymorphism through the Looking Glass. J. Object Technol. 4(4): 7-18 (2005) - [j19]Anthony J. H. Simons
The Theory of Classification Part 19: The Proliferation of Parameters. J. Object Technol. 4(5): 36-48 (2005) - [j18]Anthony J. H. Simons
The Theory of Classification Part 20: Modular Checking of Classtypes. J. Object Technol. 4(7): 7-18 (2005) - [c9]Anthony J. H. Simons
Using Alloy to model-check visual design notations. ENC 2005: 121-128 - [c8]Anthony J. H. Simons
Testing with Guarantees and the Failure of Regression Testing in eXtreme Programming. XP 2005: 118-126 - 2004
- [j17]Anthony J. H. Simons
The Theory of Classification, Part 10: Method Combination and Super-Reference. J. Object Technol. 3(1): 43-53 (2004) - [j16]Anthony J. H. Simons
The Theory of Classification, Part 11: Adding Class Types to Object Implementations. J. Object Technol. 3(3): 7-19 (2004) - [j15]Anthony J. H. Simons
The Theory of Classification, Part 12: : Building the Class Hierarchy. J. Object Technol. 3(5): 13-24 (2004) - [j14]Anthony J. H. Simons
The Theory of Classification, Part 13: Template Classes and Genericity. J. Object Technol. 3(7): 15-25 (2004) - [j13]Anthony J. H. Simons
The Theory of Classification, Part 14: Modification and Objects like Myself. J. Object Technol. 3(8): 15-26 (2004) - [j12]Anthony J. H. Simons
The Theory of Classification Part 15: Mixins and the Superclass Interface. J. Object Technol. 3(10): 7-18 (2004) - [c7]Widayashanti Pramudita Sardjono, Anthony J. H. Simons:
Pattern-Driven Partitioning in Designing Distributed Object Applications. EuroPLoP 2004: 583-616 - 2003
- [j11]Anthony J. H. Simons
The Theory of Classification, Part 5: Axioms, Assertions and Subtyping. J. Object Technol. 2(1): 13-22 (2003) - [j10]Anthony J. H. Simons
The Theory of Classification, Part 6: The Subtyping Inquisition. J. Object Technol. 2(2): 17-26 (2003) - [j9]Anthony J. H. Simons
The Theory of Classification, Part 7: A Class is a Type Family. J. Object Technol. 2(3): 13-22 (2003) - [j8]Anthony J. H. Simons
The Theory of Classification, Part 8: Classification and Inheritance. J. Object Technol. 2(4): 55-64 (2003) - [j7]Anthony J. H. Simons
The Theory of Classification, Part 9: Inheritance and Self-Reference. J. Object Technol. 2(6): 25-34 (2003) - 2002
- [j6]Anthony J. H. Simons
The Theory of Classification, Part 1: Perspectives on Type Compatibility. J. Object Technol. 1(1): 55-61 (2002) - [j5]Anthony J. H. Simons
The Theory of Classification, Part 2: The Scratch-Built Typechecker. J. Object Technol. 1(2): 47-54 (2002) - [j4]Anthony J. H. Simons
The Theory of Classification, Part 3: Object Encoding and Recursion. J. Object Technol. 1(4): 49-57 (2002) - [j3]Anthony J. H. Simons
The Theory of Classification, Part 4: Object Types and Subtyping. J. Object Technol. 1(5): 27-35 (2002) - 2000
- [j2]Brian Henderson-Sellers, Anthony J. H. Simons:
The OPEN Software Engineering Process Architecture: From Activities to Techniques. J. Res. Pract. Inf. Technol. 32(1): 47-68 (2000) - [c6]Anthony J. H. Simons:
On the Compositional Properties of UML Statechart Diagrams. Rigorous Object-Oriented Methods 2000
1990 – 1999
- 1999
- [j1]Klaas van den Berg, Anthony J. H. Simons
Control-flow semantics of use cases in UML. Inf. Softw. Technol. 41(10): 651-659 (1999) - [c5]Anthony J. H. Simons
Use Cases Considered Harmful. TOOLS (29) 1999: 194-203 - [p1]Anthony J. H. Simons
30 Things that Go Wrong in Object Modelling with UML 1.3. Behavioral Specifications of Businesses and Systems 1999: 237-257 - 1998
- [c4]Anthony J. H. Simons
Borrow, Copy or Steal? Loans and Larceny in the Orthodox Canonical Form. OOPSLA 1998: 65-83 - 1996
- [c3]Anthony J. H. Simons
A Theory of Class. OOIS 1996: 44-56 - 1995
- [b1]Anthony James Howard Simons:
A language with class : the theory of classification exemplified in an object-oriented language. University of Sheffield, UK, 1995
1980 – 1989
- 1988
- [c2]Anthony J. H. Simons:
A Qualitative Model of the Articulators. ECAI 1988: 464-466 - 1987
- [c1]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: 1373-1376
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: