Carlos Müller Cejás

Profesor Contratado Doctor
cmuller@us.es
Área de conocimiento: Lenguajes y Sistemas Informáticos
Departamento: Lenguajes y Sistemas Informáticos
Grupo: INGENIERÍA DEL SOFTWARE APLICADA (TIC-205)
Instituto de Inv.: I3US
Prog. doctorado: Programa de Doctorado en Ingeniería Informática (RD. 99/2011)
Tipo Año Título Fuente
Artículo2021 A flexible billing life cycle for cloud services using augmented customer agreements IEEE ACCESS
Artículo2021 Automated validation of compensable SLAs IEEE TRANSACTIONS ON SERVICES COMPUTING
Artículo2021 Specification and automated analysis of inter-parameter dependencies in Web APIs IEEE TRANSACTIONS ON SERVICES COMPUTING
Ponencia2020 Towards an automated management of well-being goals in nursing homes Communications in Computer and Information Science
Ponencia2019 Eagle: A Team Practices Audit Framework for Agile Software Development ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING
Ponencia2017 A new framework for defining realistic SLAs: An evidence-based approach BUSINESS PROCESS MANAGEMENT FORUM
Artículo2017 Specifying Compensations with WS-Agreement IEEE LATIN AMERICA TRANSACTIONS
Ponencia2016 An Elasticity-aware Governance Platform for Cloud Service Delivery PROCEEDINGS 2016 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC 2016)
Artículo2016 On the automated analysis of WS-Agreement documents: Applications to the processes of creating and monitoring agreements AI COMMUNICATIONS
Ponencia2015 Towards Compensable SLAs ADVANCES IN SERVICE-ORIENTED AND CLOUD COMPUTING
Artículo2014 Automated Analysis of Conflicts in WS-Agreement IEEE TRANSACTIONS ON SERVICES COMPUTING
Artículo2014 Comprehensive Explanation of SLA Violations at Runtime IEEE TRANSACTIONS ON SERVICES COMPUTING
Ponencia2014 Towards a Formal Specification of SLAs with Compensations ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2014 CONFERENCES
Ponencia2014 Towards a formal specification of SLAs with compensations* Lecture Notes in Computer Science
Ponencia2013 iAgree studio: A platform to edit and validate WS-agreement documents SERVICE-ORIENTED COMPUTING, ICSOC 2013
Ponencia2012 SALMonADA: A platform for monitoring and explaining violations of WS-agreement-compliant documents ICSE Workshop on Principles of Engineering Service Oriented Systems
Ponencia2011 Aprendiendo a diseñar software usando juegos de mesa de licencia libre como enunciado de prácticas JENUI 2011: XVII Jornadas de Enseñanza Universitaria de la Informática (2011)
Ponencia2010 Using automated analysis of temporal-aware SLAs in logistics SERVICE-ORIENTED COMPUTING: ICSOC/SERVICE WAVE 2009 WORKSHOPS
Ponencia2009 Explaining the non-compliance between templates and agreement offers in ws-agreement SERVICE-ORIENTED COMPUTING - ICSOC 2009, PROCEEDINGS
Ponencia2009 Temporal-awareness in SLAs: Why should we be concerned? SERVICE-ORIENTED COMPUTING - ICSOC 2007, WORKSHOPS
Capítulo2008 A first approach to model SLAs for composite services, using WS-agreement Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA: JSEWEB 2008 : Sevilla 29 y 30 de octubre de 2008
Ponencia2008 An Initial Approach to Explaining SLA Inconsistencies SERVICE-ORIENTED COMPUTING - ICSOC 2008, PROCEEDINGS
Ponencia2007 A ES-Agreement Extension for Specifying Temporal Properties in SLAs Actas de las III Jornadas Científico-Técnicas en Servicios Web y SOA
Ponencia2007 Improving temporal-awareness of WS-agreement SERVICE-ORIENTED COMPUTING - ICSOC 2007, PROCEEDINGS
Artículo2005 An approach to temporal-aware procurement of Web services SERVICE-ORIENTED COMPUTING - ICSOC 2005, PROCEEDINGS

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/01/2019 30/09/2022 Investigador/a Tecnologías para Mejorar la Fiabilidad, Personalización y Costes de Operación de Aplicaciones Basadas en Servicios Software y Servicios Basados en Conocimiento (RTI2018-101204-B-C21) Ministerio de Ciencia, Innovación y Universidades (Nacional)
31/01/2008 31/12/2012 Investigador/a Isabel: Ingeniería de Sistemas Abiertos Basada en Líneas de Productos (P07-TIC-02533) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
30/01/2014 16/02/2019 Investigador/a Copas: Ecosystems for Optimized Process As a Service (P12-TIC-1867) Consejería de Economía, Innovación y Ciencia (Autonómico)
01/01/2013 31/12/2015 Investigador/a Tecnologías Avanzadas para Procesos como Servicios (TIN2012-32273) Ministerio de Economía y Competitividad (Nacional)
01/01/2016 31/12/2019 Investigador/a Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por Ans (TIN2015-70560-R) Ministerio de Economía y Competitividad (Nacional)
01/01/2020 31/12/2022 Investigador/a EKIPMENT PLUS: Mejora del rendimiento de procesos basados en conocimiento: Un enfoque empírico multidisciplinar basado en personas, equipos, software y datos (P18-FR-2895) Junta de Andalucía (Consejería de Economía y Conocimiento) (Autonómico)
01/10/2006 30/09/2009 Investigador/a Fábricas de software para sistemas con arquitectura orientada a servicios Web (TIN2006-00472) Ministerio de Educación y Ciencia (Nacional)
15/03/2011 30/04/2016 Investigador/a Tecnologías Habilitadoras para Ecosistemas Software (Theos) (P10-TIC-5906) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
01/02/2020 30/04/2022 Investigador/a Tecnologías para Sistemas Orientados a Servicios Altamente Fiables y Regulados por Contratos de Usuario (US-1264651) Junta de Andalucía (Consejería de Economía y Conocimiento) (Autonómico)
15/11/2003 30/05/2007 Investigador/a Desarrollo de aplicaciones basadas en servicios web (TIC2003-02737-C02-01) Ministerio de Ciencia y Tecnología (Nacional)
01/01/2010 30/06/2013 Investigador/a reSearching on intElligent Tools for the internet of services (TIN2009-07366) Ministerio de Ciencia e Innovación (Nacional)
01/05/2015 30/04/2019 Investigador/a Propelling Business Process Management by Research and Innovation Staff Exchante (RISE_BPM) (H2020-645751) Comisión Europea (Europeo)

Ayudas

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/03/2020 30/09/2021 Investigador/a ANA: Automatización del gobierno confiable de infraestructuras reguladas por Acuerdos de nivel de servicio (CEI-21) Consejería de Economía, Conocimiento, Empresas y Universidad (Autonómico)
06/03/2006 06/08/2006 Investigador/a Colaboración con el Constrain Computation Centre de Cork (Irlanda). Colaboración con la NASA Goddard Space Flight Center (USA). Elaboración de propuestas CENIT conjuntas con empresas TIC. (OTRI/05-PC01) Universidad de Sevilla(Oficina de Transferencia de Resultados de Investigación) (Local)
El investigador no tiene ningún resultado de investigación asociado