Carlos Müller

According to our database, Carlos Müller authored at least 22 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Comprehensive assessment of open source software ecosystem health.

Marc Oriol, Carlos Müller, Jordi Marco, Pablo Fernández, Xavier Franch, Antonio Ruiz-Cortés

Internet Things, July, 2023

The IDL Tool Suite: Inter-parameter Dependency Management in Web APIs.

Saman A. Barakat, Alberto Martin-Lopez, Carlos Müller, Sergio Segura

Proceedings of the Service-Oriented Computing - ICSOC 2023 Workshops - AI-PA, ASOCA, SAPD, SQS, SSCOPE, WESOACS and Satellite Events, Rome, Italy, November 28, 2023

2022

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

2021

Automated Validation of Compensable SLAs.

Carlos Müller, Antonio Manuel Gutiérrez, Pablo Fernandez, Octavio Martín-Díaz, Manuel Resinas, Antonio Ruiz-Cortés

IEEE Trans. Serv. Comput., 2021

A Flexible Billing Life Cycle for Cloud Services Using Augmented Customer Agreements.

José María García, Octavio Martín-Díaz, Pablo Fernandez, Carlos Müller, Antonio Ruiz-Cortés

IEEE Access, 2021

2019

Eagle: a team practices audit framework for agile software development.

Alejandro Guerrero, Rafael Fresno, An Ju, Armando Fox, Pablo Fernandez, Carlos Müller, Antonio Ruiz-Cortés

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2017

A New Framework for Defining Realistic SLAs: An Evidence-Based Approach.

Minsu Cho, Minseok Song, Carlos Müller, Pablo Fernandez, Adela del-Río-Ortega, Manuel Resinas, Antonio Ruiz Cortés

Proceedings of the Business Process Management Forum, 2017

2016

On the automated analysis of WS-Agreement documents: Applications to the processes of creating and monitoring agreements.

Carlos Müller

AI Commun., 2016

An Elasticity-Aware Governance Platform for Cloud Service Delivery.

Carlos Müller, Hong Linh Truong, Pablo Fernandez, Georgiana Copil, Antonio Ruiz Cortés, Schahram Dustdar

Proceedings of the IEEE International Conference on Services Computing, 2016

2014

Automated Analysis of Conflicts in WS-Agreement.

Carlos Müller, Manuel Resinas, Antonio Ruiz Cortés

IEEE Trans. Serv. Comput., 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

IEEE Trans. Serv. Comput., 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, Antonio Ruiz Cortés

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

Towards Compensable SLAs.

Carlos Müller, Antonio Manuel Gutiérrez, Manuel Resinas, Pablo Fernandez, Antonio Ruiz Cortés

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2014

2013

iAgree Studio: A Platform to Edit and Validate WS-Agreement Documents.

Carlos Müller, Antonio Manuel Gutiérrez, Manuel Resinas, Pablo Fernandez, Antonio Ruiz Cortés

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

2012

SALMonADA: A platform for monitoring and explaining violations of WS-agreement-compliant documents.

Carlos Müller, Marc Oriol, Marc Rodríguez, Xavier Franch, Jordi Marco, Manuel Resinas, Antonio Ruiz Cortés

Proceedings of the 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2012

2009

Using Automated Analysis of Temporal-Aware SLAs in Logistics.

Carlos Müller, Manuel Resinas, Antonio Ruiz Cortés

Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

Explaining the Non-compliance between Templates and Agreement Offers in WS-Agreement.

Carlos Müller, Manuel Resinas, Antonio Ruiz Cortés

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

2008

An Initial Approach to Explaining SLA Inconsistencies.

Carlos Müller, Antonio Ruiz Cortés, Manuel Resinas

Proceedings of the Service-Oriented Computing, 2008

2007

Improving Temporal-Awareness of WS-Agreement.

Carlos Müller, Octavio Martín-Díaz, Antonio Ruiz Cortés, Manuel Resinas, Pablo Fernandez

Proceedings of the Service-Oriented Computing, 2007

Temporal-Awareness in SLAs: Why Should We Be Concerned?

Carlos Müller, Antonio Ruiz Cortés, Pablo Fernandez

Proceedings of the Service-Oriented Computing, 2007

2005

An Approach to Temporal-Aware Procurement of Web Services.

Octavio Martín-Díaz, Antonio Ruiz Cortés, Amador Durán, Carlos Müller

Proceedings of the Service-Oriented Computing, 2005

The Triple Schizophrenia of the Software Engineering Researcher.

David Benavides, Antonio Ruiz Cortés, Carlos Müller, Pablo Trinidad Martín-Arroyo

Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005