Anthony J. H. Simons

According to our database1, Anthony J. H. Simons authored at least 65 papers between 1987 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
A Lightly Supervised Approach to Detect Stuttering in Children's Speech.
Proceedings of the Interspeech 2018, 2018

2017
Automatic recognition of children's read speech for stuttering application.
Proceedings of the WOCCI 2017: 6th International Workshop on Child Computer Interaction, 2017

Detecting Stuttering Events in Transcripts of Children's Speech.
Proceedings of the Statistical Language and Speech Processing, 2017

A Formula-Driven Scalable Benchmark Model for ABM, Applied to FLAME GPU.
Proceedings of the Euro-Par 2017: Parallel Processing Workshops, 2017

2016
Testing Software Services in Cloud Ecosystems.
IJCAC, 2016

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

2014
Advanced service brokerage capabilities as the catalyst for future cloud service ecosystems.
Proceedings of the 2nd International Workshop on CrossCloud Systems, 2014

On the Role of Ontologies in the Design of Service Based Cloud Applications.
Proceedings of the Euro-Par 2014: Parallel Processing Workshops, 2014

Cloud Service Brokerage - 2014: Towards the Multi-cloud Ecosystem.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2014

X-Machine Based Testing for Cloud Services.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2014

Model-Based Testing for Composite Web Services in Cloud Brokerage Scenarios.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2014

A Development Framework Enabling the Design of Service-Based Cloud Applications.
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.
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.
Softw., Pract. Exper., 2013

Cloud Service Brokerage - 2013: Methods and Mechanisms.
Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

Brokerage for Quality Assurance and Optimisation of Cloud Services: An Analysis of Key Requirements.
Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

Model-Based Testing in Cloud Brokerage Scenarios.
Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

Cloud application portability: an initial view.
Proceedings of the Balkan Conference in Informatics, 2013

2011
Z2SAL: a translation-based model checker for Z.
Formal Asp. Comput., 2011

Building a refinement checker for Z
Proceedings of the Proceedings 15th International Refinement Workshop, 2011

SLAs for cross-layer adaptation and monitoring of service-based applications: a case study.
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.
Proceedings of the Testing, 2010

2009
Using formal specifications to support testing.
ACM Comput. Surv., 2009

Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing.
Proceedings of the Semantic Web: Research and Applications, 2009

2008
Using Alloy to model-check visual design notations
CoRR, 2008

Benchmarking Effectiveness for Object-Oriented Unit Testing.
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.
Proceedings of the Second International Symposium on Empirical Software Engineering and Measurement, 2008

Z2SAL - Building a Model Checker for Z.
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.
Autom. Softw. Eng., 2007

2006
A theory of regression testing for behaviourally compatible object types.
Softw. Test., Verif. Reliab., 2006

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

Issues in Implementing a Model Checker for Z.
Proceedings of the Formal Methods and Software Engineering, 2006

2005
The Theory of Classification Part 20: Modular Checking of Classtypes.
Journal of Object Technology, 2005

The Theory of Classification Part 19: The Proliferation of Parameters.
Journal of Object Technology, 2005

The Theory of Classification, Part 18: Polymorphism through the Looking Glass.
Journal of Object Technology, 2005

The Theory of Classification, Part 16: Rules of Extension and the Typing of Inheritance.
Journal of Object Technology, 2005

The Theory of Classification, Part 17: Multiple Inheritance and the Resolution of Inheritance Conflicts.
Journal of Object Technology, 2005

Testing with Guarantees and the Failure of Regression Testing in eXtreme Programming.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

Using Alloy to model-check visual design notations.
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.
Journal of Object Technology, 2004

The Theory of Classification, Part 14: Modification and Objects like Myself.
Journal of Object Technology, 2004

The Theory of Classification, Part 13: Template Classes and Genericity.
Journal of Object Technology, 2004

The Theory of Classification, Part 12: : Building the Class Hierarchy.
Journal of Object Technology, 2004

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

The Theory of Classification, Part 10: Method Combination and Super-Reference.
Journal of Object Technology, 2004

Pattern-Driven Partitioning in Designing Distributed Object Applications.
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.
Journal of Object Technology, 2003

The Theory of Classification, Part 8: Classification and Inheritance.
Journal of Object Technology, 2003

The Theory of Classification, Part 7: A Class is a Type Family.
Journal of Object Technology, 2003

The Theory of Classification, Part 6: The Subtyping Inquisition.
Journal of Object Technology, 2003

The Theory of Classification, Part 5: Axioms, Assertions and Subtyping.
Journal of Object Technology, 2003

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

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

The Theory of Classification, Part 2: The Scratch-Built Typechecker.
Journal of Object Technology, 2002

The Theory of Classification, Part 1: Perspectives on Type Compatibility.
Journal of Object Technology, 2002

2000
The OPEN Software Engineering Process Architecture: From Activities to Techniques.
Journal of Research and Practice in Information Technology, 2000

On the Compositional Properties of UML Statechart Diagrams.
Proceedings of the Rigorous Object-Oriented Methods, 2000

1999
Control-flow semantics of use cases in UML.
Information & Software Technology, 1999

Use Cases Considered Harmful.
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.
Proceedings of the Behavioral Specifications of Businesses and Systems, 1999

1998
Borrow, Copy or Steal? Loans and Larceny in the Orthodox Canonical Form.
Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

1996
A Theory of Class.
OOIS, 1996

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

1988
A Qualitative Model of the Articulators.
ECAI, 1988

1987
A speech recognition strategy based on making acoustic evidence and phonetic knowledge explicit.
Proceedings of the European Conference on Speech Technology, 1987


  Loading...