Ficha personal - Carlos Müller Cejás


Carlos Müller Cejás
Email: Solicitar correo
Perfil en ORCID: 0000-0001-8157-9146
Perfil en WOS: G-2141-2015
Perfil en Scopus: 55728096900
Perfil en Dialnet: 3462193

Grupo de Investigación: Ingeniería del Software Aplicada
Departamento/Unidad: Lenguajes y Sistemas Informáticos
Situación profesional: Profesor Titular de Universidad

Responsable de los siguientes proyectos/ayudas en la US:

  • Ayuda a la investigación:
    • Estancia. Department of Information Engineering and Computer Science. Treto (Italia) (PP2010-05-098)

Participa en los siguientes proyectos/ayudas en la US:

  • Proyecto de investigación:
    • Mejorando el desarrollo, fiabilidad y gobierno de servicios digitales por medio de la colaboración bot-humano (PID2021-126227NB-C22 - Equipo de Investigación)
    • IRIS: Impulsando la Transformación Digital en la Administración Pública mediante Contratos Inteligentes (TED2021-131023B-C21 - Equipo de Investigación)
    • 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 - Equipo de Investigación)
    • 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 - Equipo de Investigación)
    • Tecnologías para Sistemas Orientados a Servicios Altamente Fiables y Regulados por Contratos de Usuario (US-1264651 - Equipo de Investigación)
    • Propelling Business Process Management by Research and Innovation Staff Exchante (RISE_BPM) (H2020-645751 - Investigador)
    • Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por Ans (TIN2015-70560-R - Equipo de Investigación)
    • Solución SaaS integral para el diagnóstico automático en lenguaje natural de problemas IT y resolución semi-automática de los mismos, en base a políticas de seguridad de cortafuegos (IPT-2012-0890-390000 - Contratado)
    • Copas: Ecosystems for Optimized Process As a Service (P12-TIC-1867 - Investigador)
    • Tecnologías Avanzadas para Procesos como Servicios (TIN2012-32273 - Investigador)
    • Tecnologías Habilitadoras para Ecosistemas Software (Theos) (P10-TIC-5906 - Otro Investigador)
    • reSearching on intElligent Tools for the internet of services (TIN2009-07366 - Investigador)
    • Isabel: Ingeniería de Sistemas Abiertos Basada en Líneas de Productos (P07-TIC-02533 - Otro Investigador)
    • Fábricas de software para sistemas con arquitectura orientada a servicios Web (TIN2006-00472 - Investigador)
    • Desarrollo de aplicaciones basadas en servicios web (TIC2003-02737-C02-01 - Otro)

  • Contrato con empresas (Arts. 68/83 LOU):
    • GALIBO: Soporte en la elaboración de la propuesta Técnica para el Contrato de Servicios para la Integración y Normalización de los Sistemas de Información de la Consejería de Hacienda y Administración Pública (P040-19/E15 - Investigador)
    • PROSAS: Investigación y Desarrollo en el área de procesos de los Servicios Horizontales de Tecnologías de la Información y las Comunicaciones del Servicio (P015-15/E15 - Investigador)

  • Actividades de Transferencia de Conocimiento:
    • TIRSO – Trustworthy infrastructures regulated by service level objectives (PYC20 RE 084 US - Equipo de Investigación)

  • Ayuda a la investigación:
    • ANA: Automatización del gobierno confiable de infraestructuras reguladas por Acuerdos de nivel de servicio (CEI-21 - Investigador)
    • Incentivo al Grupo de Investigación TIC-205 (2017/TIC-205 - Investigador)
    • Incentivo al Grupo de Investigación TIC-205 (2011/TIC-205 - Investigador)
    • Incentivo al Grupo de Investigación TIC-205 (2010/TIC-205 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-205 (2009/TIC-205 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-205 (2008/TIC-205 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-205 (2007/TIC-205 - Investigador)
    • 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 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2005/TIC-134 - Investigador)

Cobertura de la base de datos de proyectos, véase aqui


Publicaciones:

Capítulos en Libros
Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Müller Cejás, Carlos, Toro Bonilla, Miguel:
La Triple Esquizofrenia del Investigador en Ingeniería del Software. Vol. 8. Pag. 47-56. En: Aspectos Filosóficos, Psicológicos y Metodológicos de la Informática.. 2005. ISBN 84-9772-749-5

Publicaciones en Revistas
Müller Cejás, Carlos, Gutiérrez Fernández, Antonio Manuel, Fernández Montes, Pablo, Martín Díaz, Octavio, Resinas, Manuel, et. al.:
Automated Validation of Compensable SLAs. En: IEEE Transactions on Services Computing. 2018. Vol. Early Access. Núm. Early Access. 10.1109/Tsc.2018.2885766

Müller Cejás, Carlos, Fernández Montes, Pablo, Martín Díaz, Octavio, Gutiérrez Fernández, Antonio Manuel, Resinas, Manuel, et. al.:
Specifying Compensations with WS-Agreement. En: Revista IEEE America Latina. 2017. Vol. 15. Núm. 7. Pag. 1335-1341. https://doi.org/10.1109/TLA.2017.7959515

Müller Cejás, Carlos:
On the Automated Analysis of WS-Agreement Documents: Applications to the Processes of Creating and Monitoring Agreements. En: AI communications. 2016. Vol. 29. Núm. 1. Pag. 227-229. 10.3233/Aic-140648

Müller Cejás, Carlos, Oriol, Marc, Franch, Xavier, Marco, Jordi, Resinas, Manuel, et. al.:
Comprehensive Explanation of SLA Violations at Runtime. En: IEEE Transactions on Services Computing. 2014. Vol. 7. Núm. 2. Pag. 168-183. http://dx.doi.org/10.1109/TSC.2013.45

Müller Cejás, Carlos, Resinas, Manuel, Ruiz Cortés, Antonio:
Automated Analysis of Conflicts in WS-Agreement Documents. En: IEEE Transactions on Services Computing. 2014. Vol. 7. Núm. 4. Pag. 530-544. http://dx.doi.org/10.1109/TSC.2013.9

Müller Cejás, Carlos, Martín Díaz, Octavio, Ruiz Cortés, Antonio, Resinas, Manuel, Fernández Montes, Pablo:
Improving Temporal-Awareness of Ws-Agreement. En: Lecture Notes in Computer Science. 2007. Pag. 193-206

Martín Díaz, Octavio, Ruiz Cortés, Antonio, Durán Toro, Amador, Müller Cejás, Carlos:
An Approach to Temporal-Aware Procurement of Web Services. En: Lecture Notes in Computer Science. 2005. Vol. 3826. Pag. 170-184

Aportaciones a Congresos
Müller Cejás, Carlos, Fernández Montes, Pablo, Del Río Ortega, Adela, Resinas, Manuel, Ruiz Cortés, Antonio:
A New Framework for Defining Realistic SLAs: An Evidence-Based Approach. Comunicación en congreso. International Conference on Business Process Management. Barcelona, Espańa. 2017

Müller Cejás, Carlos, Salmerón, Inmaculada, Jiménez Aguirre, Patricia, Trinidad Martín-Arroyo, Pablo:
Una Experiencia para Mejorar la Interacción Estudiante-Profesor. Comunicación en congreso. XXII Jornadas sobre la Enseńanza Universitaria de la Informática. - Almería, - Almeria, Espańa. 2016

Müller Cejás, Carlos, Truong, Hong Linh, Fernández Montes, Pablo, Copil, Georgiana, Ruiz Cortés, Antonio, et. al.:
An Elasticity-aware Governance Platform for Cloud Service Delivery. Comunicación en congreso. 13th IEEE International Conference on Services Computing. California, California, San Francisco, USA. 2016

Müller Cejás, Carlos, Fernández Montes, Pablo, Martín Díaz, Octavio, Gutiérrez Fernández, Antonio Manuel, Resinas, Manuel, et. al.:
Supporting Compensations with WS-Agreement. Comunicación en congreso. V Congreso Espańol de Informática (CEDI 2016) - XII Jornada de Ciencia e Ingeniería de Servicios (JCIS 2016). Salamanca, Espańa. 2016

Franco Bedoya, Oscar, Oriol, Marc, Müller Cejás, Carlos, Marco, Jordi, Fernández Montes, Pablo, et. al.:
Towards Assessing Open Source Communities' Health using SOC Concepts. Comunicación en congreso. XI Jornadas de Ingeniería y Ciencia de los Servicios (JCIS 2015). Santander (Espańa). 2015

Müller Cejás, Carlos, Gutiérrez Fernández, Antonio Manuel, Resinas, Manuel, Fernández Montes, Pablo, Ruiz Cortés, Antonio:
Towards Compensable SLAs. Comunicación en taller de trabajo. 4th International Workshop on Adaptive Services for the Future Internet. Manchester. 2014

Müller Cejás, Carlos, Gutiérrez Fernández, Antonio Manuel, Martín Díaz, Octavio, Resinas, Manuel, Fernández Montes, Pablo, et. al.:
Towards a Formal Specification of SLAs with Compensations. Comunicación en congreso. On the Move to Meaningful Internet Systems: OTM 2014 Conferences. 2014

Müller Cejás, Carlos, Gutiérrez Fernández, Antonio Manuel, Resinas, Manuel, Fernández Montes, Pablo, Ruiz Cortés, Antonio:
iAgree Studio: A Platform to Edit and Validate WS-Agreement documents. Demostración en Congreso. 11th International Conference on Service Oriented Computing (ICSOC). Berlín. 2013

Müller Cejás, Carlos, Oriol, Marc, Rodríguez, Marc, Franch, Xavier, Marco, Jordi, et. al.:
SALMonADA: A Platform for Monitoring and Explaining Violations of WS-Agreement-Compliant Documents. Demostración en Jornada. VIII Jornadas de Ciencia e Ingeniería de Servicios (JCIS 2012). - Universidad de Almería, Almería, Espańa. 2012

Müller Cejás, Carlos, Oriol, Marc, Rodríguez, Marc, Franch, Xavier, Marco, Jordi, et. al.:
SALMonADA: A Platform for Monitoring and Explaining Violations of WS-Agreement-Compliant Documents. Comunicación en taller de trabajo. 4th International Workshop on Principles of Engineering Service-Oriented Systems. Zurich, Suiza. 2012

Trinidad Martín-Arroyo, Pablo, Resinas, Manuel, Müller Cejás, Carlos, Parejo Maestre, José Antonio, Ruiz Cortés, Antonio:
Aprendiendo a diseńar software usando juegos de mesa de licencia libre como enunciado de prácticas. Comunicación en congreso. XVII Jornadas de Enseńanza de la Informática. 2011

Müller Cejás, Carlos, Resinas, Manuel, Ruiz Cortés, Antonio:
A Framework to Analyse WS-Agreement Documents. Ponencia en Taller de trabajo. The 4th Workshop on Non-Functional Properties and SLA Management in Service-Oriented Computing. Ayia Napa, Chipre. 2010

Müller Cejás, Carlos, Resinas, Manuel, Ruiz Cortés, Antonio:
Explaining the Non-Compliance between Templates and Agreement Offers in WS-Agreement. Ponencia en Jornada. XV Jornadas de Ingeniería del Software y Bases de Datos. 2010

Müller Cejás, Carlos, García Galán, Jesús, Ruiz Cortés, Antonio, Resinas, Manuel:
ADA: Agreement Documents Analyser*. Demostración en Taller de trabajo. Jsweb 2010. 2010

Trinidad Martín-Arroyo, Pablo, Müller Cejás, Carlos, García Galán, Jesús, Ruiz Cortés, Antonio:
Building Industry-Ready Tools: Fama Framework & Ada. Ponencia en Taller de trabajo. International Workshop on Academic Software Development Tools and Techniques. Amberes, Bélgica. 2010. Proceedings of the Third International Workshop on Academic Software Development Tools and Techniques. 160. 173

Müller Cejás, Carlos, Resinas, Manuel, Ruiz Cortés, Antonio:
Ada: Agreement Documents Analyser. Comunicación en congreso. Congreso Espańol de Informática 2010 / Simposio Sociedad Espańola para el Procesamiento del Lenguaje Natural 2010. Valencia, Spain. 2010. VI Jornadas Científico-Técnicas en Servicios Web y Soa. 1. 4

Müller Cejás, Carlos, Resinas, Manuel, Ruiz Cortés, Antonio:
An Initial Approach to Explaining Sla Inconsistencies. Ponencia en Congreso. V Jornadas Científico-Técnicas en Servicios Web y Soa. Madrid, Spain. 2009. V Jornadas Científico-Técnicas en Servicios Web y Soa. 1. 2

Müller Cejás, Carlos, Resinas, Manuel, Ruiz Cortés, Antonio:
Using Automated Analysis of Temporal-Aware Slas in Logistics. Comunicación en congreso. 1st International Workshop on Service Oriented Computing in Logistics 2009. Estocolmo, Suecia. 2009. Proc. of the 1st International Workshop on Service Oriented Computing in Logistics 2009, As Part of the 7th International Joint Conference on Service Oriented Computing (Icsocż09). 156. 164

Müller Cejás, Carlos, Resinas, Manuel, Ruiz Cortés, Antonio:
Explaining the Non-Compliance Between Templates and Agreement Offers in Ws-Agreement*. Comunicación en congreso. 7th Internationational Joint Conference, Icsoc-Service Wave 2009. Estocolmo, Suecia. 2009. 7th Internationational Joint Conference, Icsoc-Service Wave 2009. 237. 252

Müller Cejás, Carlos, Parejo Maestre, José Antonio, Ruiz Cortés, Antonio:
A First Approach to Model Slas for Compositeservices, Using Ws-Agreement. Comunicación en congreso. IV Jornadas Científico-Técnicas en Servicios Web y Soa. 2008. IV Jornadas Científicos Técnicas en Servicios Web y Soa (Jsweb 2008). 188. 200

Müller Cejás, Carlos, Ruiz Cortés, Antonio, Resinas, Manuel:
An Initial Approach to Explaining Sla Inconsistencies. Conferencia Congreso no publicada. International Conference in Service-Oriented Computing - Icsoc 2008. Sydeny, Australia. 2008. International Conference on Service-Oriented Computing - Icsoc 2008. 394. 406

Müller Cejás, Carlos, Martín Díaz, Octavio, Resinas, Manuel, Fernández Montes, Pablo, Ruiz Cortés, Antonio:
A Ws-Agreement Extension for Specifying Temporal Properties in Slas. Comunicación en congreso. II Congreso Espańol de Informática. Zaragoza, Espańa. 2007. III Jornadas Científico-Técnicas en Servicios Web y Soa. 1. 8

Müller Cejás, Carlos, Martín Díaz, Octavio, Ruiz Cortés, Antonio, Resinas, Manuel, Fernández Montes, Pablo:
Improving Temporal-Awareness of Ws-Agreement. Conferencia Congreso no publicada. International Conference in Service-Oriented Computing - Icsoc. Vienna. 2007. Service-Oriented Computing - Icsoc 2007 (Lncs 4749). 193. 206

Müller Cejás, Carlos, Ruiz Cortés, Antonio, Fernández Montes, Pablo:
Temporal-Awareness in Slas. Why Should We Be Concerned?. Comunicación en congreso. Non Functional Properties and Service Level Agreements in Service Oriented Computing Workshop. Vienna. 2007. Service-Oriented Computing - Icsoc 2007 Workshops. 165. 173

Müller Cejás, Carlos, Martín Díaz, Octavio, Ruiz Cortés, Antonio, García, José María:
Comprobacion de Consistencia y Conformidad en Documentos con Consciencia Temporal. Ponencia en Taller de trabajo. Jornadas de Ingeniería del Software y Bases de Datos: Jismd 2006. Sitges, Barcelona. 2006. Zoco 2006 - Métodos y Herramientas para el Desarrollo de Aplicaciones. 15. 24

Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Müller Cejás, Carlos, Trinidad Martín-Arroyo, Pablo:
The Triple Schizophrenia of the Software Engineering Researcher. Ponencia en Taller de trabajo. Conference of Advanced Information Systems Engineering. Feup, Porto, Portugal. 2005. Proceedings of the Caise'05 Workshops. 529. 534

Müller Cejás, Carlos, Martín Díaz, Octavio, Ruiz Cortés, Antonio, Durán Toro, Amador:
An Approach to Temporal-Aware Procurement of Web Services. Conferencia Congreso no publicada. International Conference in Service-Oriented Computing - Icsoc 2005. Amsterdam. 2005. Service-Oriented Computing - Icsoc 2005. 170. 184

Müller Cejás, Carlos:
[formacion] : Jornada Microsoft University Tour (8 Horas). Conferencia en Jornada no publicada

Müller Cejás, Carlos:
[formacion] : III Jornada Andaluza de Profesores Noveles: la Convergencia Europea y Sus Repercusiones en los Procesos de Enseńanza-Aprendizaje (12 Horas). Conferencia en Jornada no publicada

Patentes:


Ruiz Cortés, Antonio, Resinas, Manuel, Müller Cejás, Carlos, Martín Díaz, Octavio:
Agreement Document Analyzer (Ada). Otra modalidad de propiedad industrial. Solicitud: 2010-06-16

Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla