Anthony J. H. Simons

Mike Stannett

IEEE Trans. Big Data, August, 2023

Kalman Filter Based Prediction and Forecasting of Cloud Server KPIs.

[BibT_eX]

[DOI]

Thomas Weripuo Gyeera

Mike Stannett

IEEE Trans. Serv. Comput., 2023

2020

A verified and optimized Stream X-Machine testing method, with application to cloud service certification.

[BibT_eX]

[DOI]

Raluca Lefticaru

Softw. Test. Verification Reliab., 2020

Sequence labeling to detect stuttering events in read speech.

[BibT_eX]

[DOI]

Comput. Speech Lang., 2020

2019

Data Aware Simulation of Complex Systems on GPUs.

[BibT_eX]

[DOI]

Eidah Alzahrani

Paul Richmond

Proceedings of the 17th International Conference on High Performance Computing & Simulation, 2019

2018

A Lightly Supervised Approach to Detect Stuttering in Children's Speech.

[BibT_eX]

[DOI]

Proceedings of the 19th Annual Conference of the International Speech Communication Association, 2018

2017

Automatic recognition of children's read speech for stuttering application.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Child Computer Interaction, 2017

Detecting Stuttering Events in Transcripts of Children's Speech.

[BibT_eX]

[DOI]

Proceedings of the Statistical Language and Speech Processing, 2017

A Formula-Driven Scalable Benchmark Model for ABM, Applied to FLAME GPU.

[BibT_eX]

[DOI]

Eidah Alzahrani

Paul Richmond

Proceedings of the Euro-Par 2017: Parallel Processing Workshops, 2017

2016

Testing Software Services in Cloud Ecosystems.

[BibT_eX]

[DOI]

Mariam Kiran

Int. J. Cloud Appl. Comput., 2016

2015

Rapid Development of Service-based Cloud Applications: The Case of the Cloud Application Platforms.

[BibT_eX]

[DOI]

Int. J. Syst. Serv. Oriented Eng., 2015

2014

Advanced service brokerage capabilities as the catalyst for future cloud service ecosystems.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on CrossCloud Systems, 2014

On the Role of Ontologies in the Design of Service Based Cloud Applications.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2014: Parallel Processing Workshops, 2014

Cloud Service Brokerage - 2014: Towards the Multi-cloud Ecosystem.

[BibT_eX]

[DOI]

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2014

X-Machine Based Testing for Cloud Services.

[BibT_eX]

[DOI]

Raluca Lefticaru

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2014

Model-Based Testing for Composite Web Services in Cloud Brokerage Scenarios.

[BibT_eX]

[DOI]

Mariam Kiran

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2014

A Development Framework Enabling the Design of Service-Based Cloud Applications.

[BibT_eX]

[DOI]

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2014

Leveraging Platform Basic Services in Cloud Application Platforms for the Development of Cloud Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

2013

Guest editor's introduction to the special section on TAIC-PART 2010 - Testing: Academic and Industrial Conference-Practice and Research Techniques.

[BibT_eX]

[DOI]

Gordon Fraser

Leonardo Bottaci

Softw. Pract. Exp., 2013

Cloud Service Brokerage - 2013: Methods and Mechanisms.

[BibT_eX]

[DOI]

Gregoris Mentzas

Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

Brokerage for Quality Assurance and Optimisation of Cloud Services: An Analysis of Key Requirements.

[BibT_eX]

[DOI]

Dimitrios Kourtesis

Antonia Schwichtenberg

Panagiotis Gouvas

Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

Model-Based Testing in Cloud Brokerage Scenarios.

[BibT_eX]

[DOI]

Mariam Kiran

Andreas Friesen

Wolfgang K. R. Schwach

Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

Cloud application portability: an initial view.

[BibT_eX]

[DOI]

Proceedings of the Balkan Conference in Informatics, 2013

2011

Z2SAL: a translation-based model checker for Z.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2011

Building a refinement checker for Z

[BibT_eX]

[DOI]

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

SLAs for cross-layer adaptation and monitoring of service-based applications: a case study.

[BibT_eX]

[DOI]

Dimitris Dranidis

Proceedings of the International Workshop on Quality Assurance for Service-Based Applications, 2011

2010

Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements.

[BibT_eX]

[DOI]

Dimitris Dranidis

Proceedings of the Testing, 2010

2009

Using formal specifications to support testing.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2009

Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2009

2008

Benchmarking Effectiveness for Object-Oriented Unit Testing.

[BibT_eX]

[DOI]

Christopher David Thomson

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

A pilot study of comparative customer comprehension between extreme x-machine and uml models.

[BibT_eX]

[DOI]

Proceedings of the Second International Symposium on Empirical Software Engineering and Measurement, 2008

Z2SAL - Building a Model Checker for Z.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2007

2006

A theory of regression testing for behaviourally compatible object types.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2006

Verification and Validation for Quality of UML 2.0 Models. By Bhuvan Unhelkar. Wiley, 2005, ISBN: 0-471-72783-0, 271 pp.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2006

Issues in Implementing a Model Checker for Z.

[BibT_eX]

[DOI]

Tony Simons

Proceedings of the Formal Methods and Software Engineering, 2006

2005

The Theory of Classification Part 20: Modular Checking of Classtypes.

[BibT_eX]

[DOI]

J. Object Technol., 2005

The Theory of Classification Part 19: The Proliferation of Parameters.

[BibT_eX]

[DOI]

J. Object Technol., 2005

The Theory of Classification, Part 18: Polymorphism through the Looking Glass.

[BibT_eX]

[DOI]

J. Object Technol., 2005

The Theory of Classification, Part 16: Rules of Extension and the Typing of Inheritance.

[BibT_eX]

[DOI]

J. Object Technol., 2005

The Theory of Classification, Part 17: Multiple Inheritance and the Resolution of Inheritance Conflicts.

[BibT_eX]

[DOI]

J. Object Technol., 2005

Testing with Guarantees and the Failure of Regression Testing in eXtreme Programming.

[BibT_eX]

[DOI]

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

Using Alloy to model-check visual design notations.

[BibT_eX]

[DOI]

Carlos Alberto Fernández y Fernández

Proceedings of the Sixth Mexican International Conference on Computer Science (ENC 2005), 2005

2004

The Theory of Classification Part 15: Mixins and the Superclass Interface.

[BibT_eX]

[DOI]

J. Object Technol., 2004

The Theory of Classification, Part 14: Modification and Objects like Myself.

[BibT_eX]

[DOI]

J. Object Technol., 2004

The Theory of Classification, Part 13: Template Classes and Genericity.

[BibT_eX]

[DOI]

J. Object Technol., 2004

The Theory of Classification, Part 12: : Building the Class Hierarchy.

[BibT_eX]

[DOI]

J. Object Technol., 2004

The Theory of Classification, Part 11: Adding Class Types to Object Implementations.

[BibT_eX]

[DOI]

J. Object Technol., 2004

The Theory of Classification, Part 10: Method Combination and Super-Reference.

[BibT_eX]

[DOI]

Widayashanti Pramudita Sardjono

J. Object Technol., 2004

Pattern-Driven Partitioning in Designing Distributed Object Applications.

[BibT_eX]

[DOI]

Proceedings of the 9th European Conference on Pattern Languages of Programms (EuroPLoP '2004), 2004

2003

The Theory of Classification, Part 9: Inheritance and Self-Reference.

[BibT_eX]

[DOI]

J. Object Technol., 2003

The Theory of Classification, Part 8: Classification and Inheritance.

[BibT_eX]

[DOI]

J. Object Technol., 2003

The Theory of Classification, Part 7: A Class is a Type Family.

[BibT_eX]

[DOI]

J. Object Technol., 2003

The Theory of Classification, Part 6: The Subtyping Inquisition.

[BibT_eX]

[DOI]

J. Object Technol., 2003

The Theory of Classification, Part 5: Axioms, Assertions and Subtyping.

[BibT_eX]

[DOI]

J. Object Technol., 2003

2002

The Theory of Classification, Part 4: Object Types and Subtyping.

[BibT_eX]

[DOI]

J. Object Technol., 2002

The Theory of Classification, Part 3: Object Encoding and Recursion.

[BibT_eX]

[DOI]

J. Object Technol., 2002

The Theory of Classification, Part 2: The Scratch-Built Typechecker.

[BibT_eX]

[DOI]

J. Object Technol., 2002

The Theory of Classification, Part 1: Perspectives on Type Compatibility.

[BibT_eX]

[DOI]

J. Object Technol., 2002

2000

The OPEN Software Engineering Process Architecture: From Activities to Techniques.

[BibT_eX]

Brian Henderson-Sellers

J. Res. Pract. Inf. Technol., 2000

On the Compositional Properties of UML Statechart Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Object-Oriented Methods, 2000

1999

Control-flow semantics of use cases in UML.

[BibT_eX]

[DOI]

Klaas van den Berg

Inf. Softw. Technol., 1999

Use Cases Considered Harmful.

[BibT_eX]

[DOI]

Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999

30 Things that Go Wrong in Object Modelling with UML 1.3.

[BibT_eX]

[DOI]

Ian Graham

Proceedings of the Behavioral Specifications of Businesses and Systems, 1999

1998

Borrow, Copy or Steal? Loans and Larceny in the Orthodox Canonical Form.

[BibT_eX]

[DOI]

Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

1996

A Theory of Class.

[BibT_eX]

[DOI]

Anthony James Howard Simons

Proceedings of the 1996 International Conference on Object Oriented Information Systems, 1996

1995

A language with class : the theory of classification exemplified in an object-oriented language.

[BibT_eX]

[DOI]

PhD thesis, 1995

1988

A Qualitative Model of the Articulators.

[BibT_eX]