Anthony J. H. Simons

68 papers A 3B 2C 3Misc 1Journal 35Unranked 23

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