NombreMüller Cejás, Carlos
DepartamentoLenguajes y Sistemas Informáticos
Área de conocimientoLenguajes y Sistemas Informáticos
Categoría profesionalProfesor Titular de Universidad
Correo electrónicoSolicitar
           
  • Nº publicaciones

    43

  • Nº visitas

    4350

  • Nº descargas

    5531


 

Trabajo Fin de Grado
Icon

Scrum RPG

Arrans Vega, Isabel; Bwye Lera, Matthew; Müller Cejás, Carlos; Parejo Maestre, José Antonio (2024)
Scrum es una serie de buenas prácticas de trabajo cada vez más utilizadas en la ingeniería del software, y fácilmente ...
Ponencia
Icon

Especificación y Análisis Automático de Dependencias Inter-Parámetro en APIs Web

Martín López, Alberto; Segura Rueda, Sergio; Müller Cejás, Carlos; Ruiz Cortés, Antonio (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021)
Los servicios web suelen imponer dependencias entre parámetros (también llamadas dependencias inter-parámetro) que restringen ...
Artículo
IconIcon

Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs

Martín López, Alberto; Segura Rueda, Sergio; Müller Cejás, Carlos; Ruiz Cortés, Antonio (IEEE Computer Society, 2021)
Web services often impose inter-parameter dependencies that restrict the way in which two or more input parameters can be ...
Artículo
Icon

Automated Validation of Compensable SLAs

Müller Cejás, Carlos; Gutiérrez Fernández, Antonio Manuel; Fernández Montes, Pablo; Martín Díaz, Octavio; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (IEEE Computer Society, 2021)
A Service Level Agreement (SLA) regulates the provisioning of a service by defining a set of guarantees. Each guarantee sets ...
Artículo
Icon

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

García Rodríguez, José María; Martín Díaz, Octavio; Fernández Montes, Pablo; Müller Cejás, Carlos; Ruiz Cortés, Antonio (IEEE Computer Society, 2021)
Cloud computing constant evolution requires dynamic adjustments to service pricing and billing terms, considering provider ...
Ponencia
Icon

A Service Level Agreement Driven Framework to Customise Cloud Service Billing

García Rodríguez, José María; Martín Díaz, Octavio; Fernández Montes, Pablo; Müller Cejás, Carlos; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2019)
Cloud service providers offer to their customers a variety of pricing policies, which range from the simple, yet widely ...
Ponencia
Icon

Eagle: A Team Practices Audit Framework for Agile Software Development

Guerrero, Alejandro; Fresno Aranda, Rafael; Ju, An; Fox, Armando; Fernández Montes, Pablo; Müller Cejás, Carlos; Ruiz Cortés, Antonio (ACM Digital Library, 2019)
Agile/XP (Extreme Programming) software teams are expected to follow a number of specific practices in each iteration, ...
Ponencia
Icon

Towards an Automated Management of Well-Being Goals in Nursing Homes

Müller Cejás, Carlos; Fernández Montes, Pablo; Ruiz Cortés, Antonio; Casati, Fabio (Springer, 2019)
Nursing home culture change movement advocates for care that is less hospital-like, and more patient-centered. Despite ...
Ponencia
Icon

Devising an SLA-Aware Methodology to Improve Process Performance

Müller Cejás, Carlos; Cho, Minsu; Fernández Montes, Pablo; Song, Minseok; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2017)
Aiming to be as competitive as possible, organisations are always pursuing to improve their business processes applying ...
Artículo
Icon

Specifying Compensations with WS-Agreement

Müller Cejás, Carlos; Fernández Montes, Pablo; Martín Díaz, Octavio; Gutiérrez, Antonio M.; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (IEEE Computer Society, 2017)
During the last years the use of service level agreements (SLA) is rising uncontrollably to describe the rights and ...
Ponencia
Icon

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

Cho, Minsu; Song, Minseok; Müller Cejás, Carlos; Fernández Montes, Pablo; Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (Springer, 2017)
In a changing and competitive business world, business processes are at the heart of modern organizations. In some cases, ...
Ponencia
Icon

Una Experiencia para mejorar la interacción estudiante-profesor 

Müller Cejás, Carlos; Salmerón, Inmaculada; Jiménez Aguirre, Patricia; Trinidad Martín Arroyo, Pablo (AENUI: Asociación de Enseñantes Universitarios de Informática, 2016)
En asignaturas en las que hay proyectos o entregables evaluables, los estudiantes suelen saturar los buzones de correo de ...
Ponencia
Icon

An Elasticity-aware Governance Platform for Cloud Service Delivery

Müller Cejás, Carlos; Truong, Hong-Linh; Fernández Montes, Pablo; Copil, Georgiana; Ruiz Cortés, Antonio; Dustdar, Schahram (IEEE Computer Society, 2016)
In cloud service provisioning scenarios with a changing demand from consumers, it is appealing for cloud providers to ...
Ponencia
Icon

Supporting Compensations with WS-greement

Müller Cejás, Carlos; Fernández Montes, Pablo; Martín Díaz, Octavio; Gutiérrez, Antonio M.; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (Universidad de Salamanca, 2016)
During the last years the use of service level agreements (SLA) is rising uncontrollably to describe the rights and ...
Artículo
Icon

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

Müller Cejás, Carlos (IOS Press, 2016)
The need for Service Level Agreements (SLAs) to supervise the consumption of services is increasing in business applications ...
Ponencia
Icon

Towards Assessing Open Source Communities' Health using SOC Concepts

Franco Bedoya, Óscar; Oriol, Marc; Müller Cejás, Carlos; Marco, Jordi; Fernández Montes, Pablo; Resinas Arias de Reyna, Manuel; Franch, Xavier; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2015)
Quality of an open source software ecosystem (OSS ecosystem) is key for different ecosystem actors such as contributors ...
Ponencia
Icon

Towards Compensable SLAs

Müller Cejás, Carlos; Gutiérrez, Antonio M.; Resinas Arias de Reyna, Manuel; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2014)
In Cooperative Information Systems, service level agreements (SLA) can be used to describe the rights and obligations of ...
Ponencia
Icon

Towards a Formal Specification of SLAs with Compensations

Müller Cejás, Carlos; Gutiérrez, Antonio M.; Martín Díaz, Octavio; Resinas Arias de Reyna, Manuel; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2014)
In Cooperative Information Systems, service level agreements (SLA) can be used to describe the rights and obligations of ...
Ponencia
Icon

iAgree Studio: A Platform to Edit and Validate WS-Agreement Documents (Poster)

Müller Cejás, Carlos; Gutiérrez, A. M.; Resinas Arias de Reyna, Manuel; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2013)
Artículo
Icon

Automated Analysis of Conflicts in WS-Agreement Documents

Müller Cejás, Carlos; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (IEEE, 2013)
WS–Agreement is one of the most widely used SLA specifications. An advantage of WS–Agreement over other agreement metamodels ...
Artículo
Icon

Comprehensive Explanation of SLA Violations at Runtime

Müller Cejás, Carlos; Oriol, Marc; Franch, Xavier; Marco, Jordi; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio; Rodríguez, Marc (IEEE, 2013)
Service Level Agreements (SLAs) establish the Quality of Service (QoS) agreed between service-based systems consumers and ...
Ponencia
Icon

!Agree Studio: a Platform to Edit and Validate Ws-Agreement Documents

Müller Cejás, Carlos; Gutiérrez, Antonio M.; Resinas Arias de Reyna, Manuel; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2013)
The widespread use of SLA-regulated Cloud services, in which the violation of SLA terms may imply a penalty for the parties, ...
Tesis Doctoral
Icon

On the Automated Analysis of WS-Agreement Documents Applications to the Processes of Creating and Monitoring Agreements

Müller Cejás, Carlos; Ruiz Cortés, Antonio (2013)
A medida que los SLAs empiezan a ser necesarios en servicios y aplicaciones usadas por el gran público y en ambientes XaaS ...
Informe
Icon

A test suite for an Agreement Document Analyser (v 1.0) : Technical Report ISA–12–TR–03

Müller Cejás, Carlos; Segura Rueda, Sergio; Ruiz Cortés, Antonio (2012)
The automated analysis operations of WS–Agreement documents proposed in recent works [1, 2, 3, 4] uses complex techniques ...
Ponencia
Icon

SALMonADA: a Platform for Monitoring and Explaining Violations of Ws-Agreement-Compliant Documents

Müller Cejás, Carlos; Oriol, Marc; Rodríguez, Marc; Franch, Xavier; Marco, Jordi; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2012)
Quality assurance techniques have been developed to supervise the service quality (QoS) agreed between servicebased systems ...
Ponencia
Icon

SALMonADA: a Platform for Monitoring and Explaining Violations of Ws-Agreement-Compliant Documents

Müller Cejás, Carlos; Oriol, Marc; Rodríguez, Marc; Franch, Xavier; Marco, Jordi; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2012)
Quality assurance techniques have been developed to supervise the service quality (QoS) agreed between service-based systems ...
Ponencia
Icon

Aprendiendo a diseñar software usando juegos de mesa de licencia libre como enunciado de prácticas

Trinidad Martín Arroyo, Pablo; Resinas Arias de Reyna, Manuel; Müller Cejás, Carlos; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Jiménez Rodríguez, María José; Romero Ternero, María del Carmen (AENUI: Asociación de Enseñantes Universitarios de Informática, 2011)
Ponencia
Icon

ADA: Agreement Documents Analyser

Müller Cejás, Carlos; García-Galán, Jesús; Resinas Arias de Reyna, Manuel (2010)
Ponencia
Icon

A Framework to Analyse WS-Agreement Documents

Müller Cejás, Carlos; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2010)
Informe
Icon

Experiences from building a WS–Agreement document analyzer tool (Including use cases in WS–Agreement and WSAg4People) v1.0 : Technical Report ISA-10-TR-03

Müller Cejás, Carlos; Durán Toro, Amador; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio; Martín Díaz, Octavio (2010)
The WS–Agreement specification has gained a wide acceptance in the web services community as a means for establishing ...
Ponencia
Icon

Building Industry-Ready Tools: FAMA Framework & ADA

Trinidad Martín Arroyo, Pablo; Müller Cejás, Carlos; García-Galán, Jesús; Ruiz Cortés, Antonio (2010)
Developing good academic tools has become an art that forces researchers to achieve tasks they are not supposed to do. ...
Ponencia
Icon

Explaining the Non-Compliance between Templates and Agreement Offers in WS-Agreement

Müller Cejás, Carlos; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2009)
A common approach to the process of reaching agreements is the publication of templates that guide parties to create ...
Ponencia
Icon

An Initial Approach to Explaining SLA Inconsistencies

Müller Cejás, Carlos; Ruiz Cortés, Antonio; Resinas Arias de Reyna, Manuel (2009)
An SLA signed by all interested parties must be created carefully, avoiding contradictions between terms, because their ...
Ponencia
Icon

Using Automated Analysis of Temporal-Aware SLAS in Logistics

Müller Cejás, Carlos; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2009)
Service level agreements (SLAs) establish the terms in which a logistics service may be provided or consumed. During the ...
Ponencia
Icon

An Initial Approach to Explaining SLA Inconsistencies

Müller Cejás, Carlos; Ruiz Cortés, Antonio; Resinas Arias de Reyna, Manuel (2008)
An SLA signed by all interested parties must be created carefully, avoiding contradictions between terms, because their ...
Ponencia
Icon

A First Approach to Model SLAS for Composite Services, Using WS-Agreement

Müller Cejás, Carlos; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (2008)
Ponencia
Icon

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

Müller Cejás, Carlos; Ruiz Cortés, Antonio; Fernández Montes, Pablo (Springer, 2007)
Traditionally, Service Level Agreements have been decomposed in two sets of properties: functionals (what) and non-functionals ...
Ponencia
Icon

Temporal-Awareness in SLAS. Why Should We Be Concerned?

Müller Cejás, Carlos; Fernández Montes, Pablo (2007)
Traditionally, Service Level Agreements have been decomposed in two sets of properties: functionals (what) and non-functionals ...
Ponencia
Icon

A WS-Agreement Extension for Specifying Temporal Properties in SLAS

Müller Cejás, Carlos; Martín Díaz, Octavio; Resinas Arias de Reyna, Manuel; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2007)
Service level agreements (SLA) in service oriented architectures allow to regulate the service trading from providers to ...
Ponencia
Icon

Improving Temporal-Awareness of WS-Agreement

Müller Cejás, Carlos; Martín Díaz, Octavio; Ruiz Cortés, Antonio; Resinas Arias de Reyna, Manuel; Fernández Montes, Pablo (2007)
WS-Agreement (WS-Ag) is a proposed recommendation of the Open Grid Forum that provides a schema to describe SLAs and a ...
Ponencia
Icon

Comprobacion de Consistencia y Conformidad en Documentos con Consciencia Temporal

Müller Cejás, Carlos; Martín Díaz, Octavio; Ruiz Cortés, Antonio; García Rodríguez, José María (2006)
Ponencia
Icon

The Triple Schizophrenia of the Software Engineering Researcher

Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Müller Cejás, Carlos (2005)
In this paper we question the problem of a software engineering researcher, who in his daily work, has to deal with ...
Artículo
Icon

An Approach to Temporal-Aware Procurement of Web Services

Martín Díaz, Octavio; Ruiz Cortés, Antonio; Durán Toro, Amador; Müller Cejás, Carlos (Springer Verlag, 2005)
In the context of web service procurement (WSP), temporal–awareness refers to managing service demands and offers which ...