| A verified and optimized Stream X-Machine testing method, with application to cloud service certification. | 0 | 0.34 | 2020 |
| Data Aware Simulation of Complex Systems on GPUs | 0 | 0.34 | 2019 |
| Automatic recognition of children's read speech for stuttering application. | 0 | 0.34 | 2017 |
| Detecting Stuttering Events in Transcripts of Children's Speech. | 0 | 0.34 | 2017 |
| A Formula-Driven Scalable Benchmark Model for ABM, Applied to FLAME GPU. | 0 | 0.34 | 2017 |
| Testing Software Services in Cloud Ecosystems | 3 | 0.39 | 2016 |
| Rapid Development of Service-based Cloud Applications: The Case of the Cloud Application Platforms | 0 | 0.34 | 2015 |
| A Development Framework Enabling the Design of Service-Based Cloud Applications | 3 | 0.48 | 2014 |
| On the Role of Ontologies in the Design of Service Based Cloud Applications. | 1 | 0.37 | 2014 |
| Model-Based Testing for Composite Web Services in Cloud Brokerage Scenarios | 1 | 0.36 | 2014 |
| Leveraging Platform Basic Services in Cloud Application Platforms for the Development of Cloud Applications | 2 | 0.39 | 2014 |
| X-Machine Based Testing for Cloud Services | 1 | 0.35 | 2014 |
| Cloud Service Brokerage - 2014: Towards the Multi-cloud Ecosystem | 0 | 0.34 | 2014 |
| Advanced service brokerage capabilities as the catalyst for future cloud service ecosystems | 4 | 0.40 | 2014 |
| Guest editor's introduction to the special section on TAIC-PART 2010 - Testing: Academic and Industrial Conference-Practice and Research Techniques. | 0 | 0.34 | 2013 |
| Model-Based Testing in Cloud Brokerage Scenarios. | 4 | 0.41 | 2013 |
| Brokerage for Quality Assurance and Optimisation of Cloud Services: An Analysis of Key Requirements. | 6 | 0.47 | 2013 |
| Cloud Service Brokerage - 2013: Methods and Mechanisms. | 0 | 0.34 | 2013 |
| Cloud application portability: an initial view | 10 | 0.52 | 2013 |
| Building A Refinement Checker For Z | 0 | 0.34 | 2011 |
| Z2SAL: a translation-based model checker for Z | 5 | 0.45 | 2011 |
| SLAs for cross-layer adaptation and monitoring of service-based applications: a case study | 5 | 0.42 | 2011 |
| Towards run-time monitoring of web services conformance to business-level agreements | 4 | 0.39 | 2010 |
| Using formal specifications to support testing | 102 | 2.55 | 2009 |
| Benchmarking Effectiveness for Object-Oriented Unit Testing | 1 | 0.37 | 2008 |
| JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction | 9 | 0.67 | 2007 |
| A theory of regression testing for behaviourally compatible object types | 8 | 0.70 | 2006 |
| Verification and Validation for Quality of UML 2.0 Models. By Bhuvan Unhelkar. Wiley, 2005, ISBN: 0-471-72783-0, 271 pp | 0 | 0.34 | 2006 |
| The Theory Of Classification Part 19: The Proliferation Of Parameters | 1 | 0.36 | 2005 |
| The Theory Of Classification Part 16: Rules Of Extension And The Typing Of Inheritance | 3 | 0.45 | 2005 |
| The Theory Of Classification Part 20: Modular Checking Of Classtypes | 0 | 0.34 | 2005 |
| The Theory Of Classification Part 17: Multiple Inheritance And The Resolution Of Inheritance Conflicts | 3 | 0.48 | 2005 |
| The Theory Of Classification Part 18: Polymorphism Through The Looking Glass | 2 | 0.42 | 2005 |
| Testing with guarantees and the failure of regression testing in extreme programming | 1 | 0.35 | 2005 |
| The Theory of Classification Part 15: Mixins and the Superclass Interface | 3 | 0.46 | 2004 |
| Pattern-Driven Partitioning in Designing Distributed Object Applications. | 1 | 0.34 | 2004 |
| The Theory of Classification, Part 11: Adding Class Types to Object Implementations | 5 | 0.58 | 2004 |
| The Theory of Classification, Part 13: Template Classes and Genericity | 6 | 0.62 | 2004 |
| The Theory of Classification, Part 10: Method Combination and Super-Reference | 4 | 0.56 | 2004 |
| The Theory of Classification, Part 12: : Building the Class Hierarchy | 3 | 0.50 | 2004 |
| The Theory of Classification, Part 14: Modification and Objects like Myself | 0 | 0.34 | 2004 |
| The Theory of Classification, Part 5: Axioms, Assertions and Subtyping | 3 | 0.63 | 2003 |
| The Theory of Classification, Part 6: The Subtyping Inquisition | 0 | 0.34 | 2003 |
| The Theory of Classification, Part 9: Inheritance and Self-Reference | 7 | 0.72 | 2003 |
| The Theory of Classification, Part 8: Classification and Inheritance | 13 | 1.04 | 2003 |
| The Theory of Classification, Part 7: A Class is a Type Family | 12 | 1.08 | 2003 |
| The Theory of Classification, Part 4: Object Types and Subtyping | 17 | 1.35 | 2002 |
| The Theory of Classification, Part 2: The Scratch-Built Typechecker | 4 | 0.79 | 2002 |
| The Theory of Classification, Part 1: Perspectives on Type Compatibility | 5 | 0.85 | 2002 |
| The Theory of Classification, Part 3: Object Encoding and Recursion | 11 | 1.31 | 2002 |
