| Comparative Evaluation of Model Transformation Specification Approaches. | 9 | 0.60 | 2012 |
| Efficient Multi-granularity Service Composition | 9 | 0.53 | 2011 |
| Message from the AQuSerM 2011 Chairs | 0 | 0.34 | 2011 |
| Correct-by-construction model transformations from partially ordered specifications in Coq | 16 | 0.57 | 2010 |
| A constructive approach to testing model transformations | 16 | 0.67 | 2010 |
| Model Driven Approach for Dynamic Service Composition Based on QoS Constraints | 2 | 0.41 | 2010 |
| A mapping from normative requirements to event-b to facilitate verified data-centric business process management | 0 | 0.34 | 2009 |
| Compositional Prediction of Timed Behaviour for Process Control Architecture | 0 | 0.34 | 2009 |
| 09432 Report - Quantitative Software Design. | 0 | 0.34 | 2009 |
| Component-Based Software Engineering, 12th International Symposium, CBSE 2009, East Stroudsburg, PA, USA, June 24-26, 2009, Proceedings | 16 | 1.07 | 2009 |
| Workshop Summary: Advances In Quality Of Service Management (Aquserm) 2009 | 0 | 0.34 | 2009 |
| Business Process Development in Semantically-Enriched Environment | 2 | 0.38 | 2008 |
| Normative Ontologies for Data-Centric Business Process Management | 0 | 0.34 | 2008 |
| Proofs-as-Model-Transformations | 23 | 1.07 | 2008 |
| Model driven QoS management via dynamic programming | 1 | 0.36 | 2008 |
| Prototype Generation from Ontology Charts | 0 | 0.34 | 2008 |
| Synthesis of Data Views for Communicating Processes | 0 | 0.34 | 2007 |
| Model Driven Control | 0 | 0.34 | 2007 |
| Pre-emptive adaptation through classical control theory | 2 | 0.42 | 2007 |
| Verification And Prediction Of Timed Probabilistic Properties Over The Dmtf Cim | 3 | 0.49 | 2006 |
| QoS-aware model driven architecture through the UML and CIM | 14 | 0.87 | 2006 |
| The meta-object facility typed | 13 | 0.73 | 2006 |
| AQuSerM 2006: Advances in Quality of Service Management | 0 | 0.34 | 2006 |
| Runtime prediction of queued behaviour | 6 | 0.56 | 2006 |
| Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model | 6 | 0.63 | 2005 |
| A model-oriented framework for runtime monitoring of nonfunctional properties | 17 | 0.90 | 2005 |
| Consistent metric usage: from design to deployment | 0 | 0.34 | 2005 |
| A type theoretic framework for formal metamodelling | 12 | 1.02 | 2004 |
| Runtime verification of timing and probabilistic properties using WMI and .NET | 7 | 0.77 | 2004 |
| Architectural Configuration with EDOC and .NET Component Services | 2 | 0.46 | 2003 |
| Proofs-as-Imperative-Programs: Application to Synthesis of Contracts | 3 | 0.41 | 2003 |
| Using the TrustME Tool Suite for Automatic Component Protocol Adaptation | 0 | 0.34 | 2002 |
| Architectures of Enterprise Systems: Modelling Transactional Contexts | 4 | 0.87 | 2002 |
| Predictable component architectures using dependent finite state machines | 23 | 1.06 | 2002 |
| Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs | 0 | 0.34 | 2001 |
| Trust-By-Contract: Modelling, Analysing And Predicting Behaviour Of Software Architectures | 12 | 1.15 | 2001 |
| Extraction of Structured Programs from Specification Proofs | 210 | 7.20 | 1999 |
