Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnthony 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
Books and Theses
- 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
Journal Articles
- 2023
- [j34]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): 1071-1085 (2023) - [j33]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): 2742-2754 (2023) - 2020
- [j32]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: 101052 (2020) - [j31]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) - 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) - 2013
- [j28]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): 1101-1102 (2013) - 2011
- [j27]John Derrick, Siobhán North, Anthony J. H. Simons:
Z2SAL: a translation-based model checker for Z. Formal Aspects Comput. 23(1): 43-71 (2011) - 2009
- [j26]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): 9:1-9:76 (2009) - 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) - 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) - 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) - 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) - 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)
Conference and Workshop Papers
- 2019
- [c33]Eidah Alzahrani, Anthony J. H. Simons, Paul Richmond:
Data Aware Simulation of Complex Systems on GPUs. HPCS 2019: 567-574 - 2018
- [c32]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: 3433-3437 - 2017
- [c31]Eidah Alzahrani, Paul Richmond, Anthony J. H. Simons:
A Formula-Driven Scalable Benchmark Model for ABM, Applied to FLAME GPU. Euro-Par Workshops 2017: 703-714 - [c30]Sadeen Alharbi, Madina Hasan, Anthony J. H. Simons, Shelagh Brumfitt, Phil D. Green:
Detecting Stuttering Events in Transcripts of Children's Speech. SLSP 2017: 217-228 - [c29]Sadeen Alharbi, Anthony J. H. Simons, Shelagh Brumfitt, Phil D. Green:
Automatic recognition of children's read speech for stuttering application. WOCCI 2017: 1-6 - 2014
- [c28]Fotis Gonidis, Iraklis Paraskakis, Anthony J. H. Simons:
Leveraging Platform Basic Services in Cloud Application Platforms for the Development of Cloud Applications. CloudCom 2014: 751-754 - [c27]Anthony J. H. Simons, Alessandro Rossini, Iraklis Paraskakis, Jens Jensen:
Cloud Service Brokerage - 2014: Towards the Multi-cloud Ecosystem. ESOCC Workshops 2014: 121-123 - [c26]Fotis Gonidis, Iraklis Paraskakis, Anthony J. H. Simons:
A Development Framework Enabling the Design of Service-Based Cloud Applications. ESOCC Workshops 2014: 139-152 - [c25]Raluca Lefticaru, Anthony J. H. Simons:
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, 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: 7:1-7:6 - 2013
- [c21]Fotis Gonidis, Anthony J. H. Simons, Iraklis Paraskakis, Dimitrios Kourtesis:
Cloud application portability: an initial view. BCI 2013: 275-282 - [c20]Gregoris Mentzas, Anthony J. H. Simons, Iraklis Paraskakis:
Cloud Service Brokerage - 2013: Methods and Mechanisms. ICSOC Workshops 2013: 135-136 - [c19]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: 150-162 - [c18]Mariam Kiran, Andreas Friesen, Anthony J. H. Simons, Wolfgang K. R. Schwach:
Model-Based Testing in Cloud Brokerage Scenarios. ICSOC Workshops 2013: 192-208 - 2011
- [c17]Konstantinos Bratanis, Dimitris Dranidis, Anthony J. H. Simons:
SLAs for cross-layer adaptation and monitoring of service-based applications: a case study. QASBA 2011: 28-32 - [c16]John Derrick, Siobhán North, Anthony J. H. Simons:
Building a refinement checker for Z. Refine@FM 2011: 37-52 - 2010
- [c15]Konstantinos Bratanis, Dimitris Dranidis, Anthony J. H. Simons:
Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements. TAIC PART 2010: 203-206 - 2009
- [c14]Ervin Ramollari, Dimitrios Kourtesis, Dimitris Dranidis, Anthony J. H. Simons:
Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing. ESWC 2009: 593-607 - 2008
- [c13]John Derrick, Siobhán North, Anthony J. H. Simons:
Z2SAL - Building a Model Checker for Z. ABZ 2008: 280-293 - [c12]Christopher Thomson, Mike Holcombe, Tony Cowling, Tony Simons, George Michaelides:
A pilot study of comparative customer comprehension between extreme x-machine and uml models. ESEM 2008: 270-272 - [c11]Anthony J. H. Simons, Christopher David Thomson:
Benchmarking Effectiveness for Object-Oriented Unit Testing. ICST Workshops 2008: 375-379 - 2006
- [c10]John Derrick, Siobhán North, Tony Simons:
Issues in Implementing a Model Checker for Z. ICFEM 2006: 678-696 - 2005
- [c9]Anthony J. H. Simons, Carlos Alberto Fernández y Fernández:
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
- [c7]Widayashanti Pramudita Sardjono, Anthony J. H. Simons:
Pattern-Driven Partitioning in Designing Distributed Object Applications. EuroPLoP 2004: 583-616 - 2000
- [c6]Anthony J. H. Simons:
On the Compositional Properties of UML Statechart Diagrams. Rigorous Object-Oriented Methods 2000 - 1999
- [c5]Anthony J. H. Simons:
Use Cases Considered Harmful. TOOLS (29) 1999: 194-203 - 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 - 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
Parts in Books or Collections
- 1999
- [p1]Anthony J. H. Simons, Ian Graham:
30 Things that Go Wrong in Object Modelling with UML 1.3. Behavioral Specifications of Businesses and Systems 1999: 237-257
Informal and Other Publications
- 2008
- [i1]Anthony J. H. Simons, Carlos Alberto Fernández y Fernández:
Using Alloy to model-check visual design notations. CoRR abs/0802.2258 (2008)
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-02-06 23:51 CET 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:
