| Ode to the PST. | 0 | 0.34 | 2015 |
| Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks. | 6 | 0.50 | 2014 |
| Towards automated cross-language refactorings between Java and DSLs used by Java frameworks. | 2 | 0.37 | 2013 |
| Developing Physiological Computing Systems: Challenges and Solutions. | 3 | 0.39 | 2012 |
| Cross-Language Code Analysis and Refactoring | 13 | 0.76 | 2012 |
| A contract-based approach to adaptivity | 3 | 0.37 | 2011 |
| A component-based approach to adaptive user-centric pervasive applications | 0 | 0.34 | 2010 |
| On weak modal compatibility, refinement, and the MIO workbench | 43 | 1.47 | 2010 |
| A Strict-Observational Interface Theory for Analysing Service Orchestrations | 0 | 0.34 | 2010 |
| Modeling And Analyzing Adaptive User-Centric Systems In Real-Time Maude | 3 | 0.36 | 2010 |
| A Service-Oriented UML Profile with Formal Support | 4 | 0.41 | 2009 |
| A Component-Based Approach for Realizing User-Centric Adaptive Systems | 3 | 0.45 | 2009 |
| Verifying Interaction Protocol Compliance of Service Orchestrations | 1 | 0.40 | 2008 |
| MDD4SOA: Model-Driven Service Orchestration | 34 | 1.41 | 2008 |
| Service Specification and Matchmaking Using Description Logic | 2 | 0.36 | 2008 |
| SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity | 0 | 0.34 | 2008 |
| A Model-Driven Approach to Service Orchestration | 25 | 1.18 | 2008 |
| Semantic-Based development of service-oriented systems | 126 | 4.58 | 2006 |
