The Triple Schizophrenia of the Software Engineering Researcher. - David Benavides 001; Antonio Ruiz Cortés; Carlos Müller; Pablo Trinidad Martín-Arroyo (CAiSE Workshops (2), 2005)

An Approach to Temporal-Aware Procurement of Web Services. - Octavio Martín-Díaz; Antonio Ruiz Cortés; Amador Durán 001; Carlos Müller (ICSOC, 2005)

Temporal-Awareness in SLAs: Why Should We Be Concerned? - Carlos Müller; Antonio Ruiz Cortés; Pablo Fernandez 001 (ICSOC Workshops, 2007)

Improving Temporal-Awareness of WS-Agreement. - Carlos Müller; Octavio Martín-Díaz; Antonio Ruiz Cortés; Manuel Resinas; Pablo Fernandez 001 (ICSOC, 2007)

An Initial Approach to Explaining SLA Inconsistencies. - Carlos Müller; Antonio Ruiz Cortés; Manuel Resinas (ICSOC, 2008)

Explaining the Non-compliance between Templates and Agreement Offers in WS-Agreement. - Carlos Müller; Manuel Resinas; Antonio Ruiz Cortés (ICSOC/ServiceWave, 2009)

Using Automated Analysis of Temporal-Aware SLAs in Logistics. - Carlos Müller; Manuel Resinas; Antonio Ruiz Cortés (ICSOC/ServiceWave Workshops, 2009)

SALMonADA: A platform for monitoring and explaining violations of WS-agreement-compliant documents. - Carlos Müller; Marc Oriol; Marc Rodríguez 002; Xavier Franch; Jordi Marco; Manuel Resinas; Antonio Ruiz Cortés (PESOS@ICSE, 2012)

iAgree Studio: A Platform to Edit and Validate WS-Agreement Documents. - Carlos Müller; Antonio Manuel Gutiérrez; Manuel Resinas; Pablo Fernandez 001; Antonio Ruiz Cortés (ICSOC, 2013)

Towards Compensable SLAs. - Carlos Müller; Antonio Manuel Gutiérrez; Manuel Resinas; Pablo Fernandez 001; Antonio Ruiz Cortés (ESOCC Workshops, 2014)

Towards a Formal Specification of SLAs with Compensations. - Carlos Müller; Antonio Manuel Gutiérrez; Octavio Martín-Díaz; Manuel Resinas; Pablo Fernandez 001; Antonio Ruiz Cortés (OTM Conferences, 2014)

Comprehensive Explanation of SLA Violations at Runtime. - Carlos Müller; Marc Oriol; Xavier Franch; Jordi Marco; Manuel Resinas; Antonio Ruiz Cortés; Marc Rodríguez 002 (IEEE Trans. Serv. Comput., 2014)

Automated Analysis of Conflicts in WS-Agreement. - Carlos Müller; Manuel Resinas; Antonio Ruiz Cortés (IEEE Trans. Serv. Comput., 2014)

An Elasticity-Aware Governance Platform for Cloud Service Delivery. - Carlos Müller; Hong Linh Truong 001; Pablo Fernandez 001; Georgiana Copil; Antonio Ruiz Cortés; Schahram Dustdar (SCC, 2016)

On the automated analysis of WS-Agreement documents: Applications to the processes of creating and monitoring agreements. - Carlos Müller (AI Commun., 2016)

A New Framework for Defining Realistic SLAs: An Evidence-Based Approach. - Minsu Cho; Minseok Song 001; Carlos Müller; Pablo Fernandez 001; Adela del-Río-Ortega; Manuel Resinas; Antonio Ruiz Cortés (BPM (Forum), 2017)

Eagle: a team practices audit framework for agile software development. - Alejandro Guerrero; Rafael Fresno; An Ju; Armando Fox; Pablo Fernandez 001; Carlos Müller; Antonio Ruiz-Cortés (ESEC/SIGSOFT FSE, 2019)

A Flexible Billing Life Cycle for Cloud Services Using Augmented Customer Agreements. - José María García; Octavio Martín-Díaz; Pablo Fernandez 001; Carlos Müller; Antonio Ruiz-Cortés (IEEE Access, 2021)

Automated Validation of Compensable SLAs. - Carlos Müller; Antonio Manuel Gutiérrez; Pablo Fernandez 001; Octavio Martín-Díaz; Manuel Resinas; Antonio Ruiz-Cortés (IEEE Trans. Serv. Comput., 2021)

Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs. - Alberto Martin-Lopez; Sergio Segura; Carlos Müller; Antonio Ruiz-Cortés (IEEE Trans. Serv. Comput., 2022)

The IDL Tool Suite: Inter-parameter Dependency Management in Web APIs. - Saman A. Barakat; Alberto Martin-Lopez; Carlos Müller; Sergio Segura (ICSOC Workshops, 2023)

Comprehensive assessment of open source software ecosystem health. - Marc Oriol; Carlos Müller; Jordi Marco; Pablo Fernández 001; Xavier Franch; Antonio Ruiz-Cortés (Internet Things, 2023)

SaaS Pricing-Aware Demand and Capacity Management. - Matthew Bwye; Carlos Müller; José Antonio Parejo; Antonio Ruiz-Cortés (ICSOC Workshops (1), 2024)

SaaS Subscription Resource Usage: A Machine Learning Approach. - Matthew Bwye; Carlos Müller; Antonio Ruiz-Cortés (ICSOC Workshops (2), 2024)

The IDL tool suite: Specifying and analyzing inter-parameter dependencies in web APIs. - Saman A. Barakat; Alberto Martin-Lopez; Carlos Müller; Sergio Segura; Antonio Ruiz-Cortés (SoftwareX, 2025)