Rafael Ceballos Guerrero
Telefono: 954553865
Email: Solicitar correo
Perfil en ORCID: 0000-0001-7144-8011
Perfil en WOS: L-3444-2014
Perfil en Scopus: 12345229500
Perfil en Dialnet: 2012021

Departamento/Unidad: Lenguajes y Sistemas Informáticos
Situación profesional: Profesor Contratado Doctor

Responsable de los siguientes proyectos/ayudas en la US:

• Contrato con empresas (Arts. 68/83 LOU):
  • Modelo Declarativo de Reglas de Negocio para Acceso por Presencia de Recurso Preventivo (P020-14/E08)
  
  

Participa en los siguientes proyectos/ayudas en la US:

• Proyecto de investigación:
  • Mejora de la ciberseguridAd y su sostenibiLidad en Beneficio de la sociedad y de las personAs (TED2021-130355B-C32 - Equipo de Investigación)
  • COPERNICA: Colaboración en procesos de negocio para el buen gobierno de servicios y datos compartidos (P20_01224 - Equipo de Investigación)
  • Aether-US: Una aproximación holística de smart data para el análisis de datos guiado por el contexto: procesos de negocio inteligentes (PID2020-112540RB-C44 - Equipo de Investigación)
  • METAMORFOSIS: Marco dE Trasnformación digitAl Mediante Customización soFtware sobre gestiÓn de datos, proceSos de negocio y gobIerno de la Seguridad (US-1381375 - Equipo de Investigación)
  • Eclipse - Mejora de la Calidad de Datos y la Seguridad en Sistemas Ciberfísicos para Enriquecer los Procesos de Negocio y las Decisiones Estratégicas (RTI2018-094283-B-C33 - Equipo de Investigación)
  • Sequoia-US: Support Intelligent Decisions for Business Processes Requirements Based on Big Data and Multiple Instances (TIN2015-63502-C3-2-R - Equipo de Investigación)
  • Técnicas para la diagnosis, confiabilidad y optimización en los sistemas de gestión de procesos de negocio (TIN2009-13714 - Investigador)
  • Opbus: Mejora de la Calidad de Procesos de Negocios Mediante Tecnologías de Optimización y Tolerancia a Fallos (P08-TIC-04095 - Otro Investigador)
  • Automatización de la detección, diagnosis y tolerancia a fallos en sistemas con incertidumbre y en sistemas distribuidos (DPI2006-15476-C02-01 - Investigador)
  • Automatización de la detección y diagnosis de fallos de sistemas estáticos y dinámicos usando conocimiento semicualitativo (DPI2003-07146-C02-01 - Investigador)
  
  
• Contrato con empresas (Arts. 68/83 LOU):
  • Clean Sky 2: A-24 One Step Beyond On Automated Testing Technologies (P095-16/E08 - Investigador)
  • AGECTA Aplicación para la Gestión de Expedientes de la Corporación Tecnológica de Andalucía (P021-08/E08 - Investigador)
  • Estudios para el Desarrollo de un Sistema de Información para la Programación Avanzada de Montajes Aeronáuticos (PAM) (P041-07/E08 - Investigador)
  
  
• Ayuda a la investigación:
  • Incentivo al Grupo de Investigación TIC-134 (2017/TIC-134 - Investigador)
  • Incentivo al Grupo de Investigación TIC-134 (2011/TIC-134 - Investigador)
  • Incentivo al Grupo de Investigación TIC-134 (2010/TIC-134 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2009/TIC-134 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2008/TIC-134 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2007/TIC-134 - 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:

Libros

Álvarez de la Concepción, Miguel Ángel, Álvarez García, Juan Antonio, Ceballos Guerrero, Rafael, García Vallejo, Carlos A., Gutiérrez Rodríguez, Javier Jesús, et. al.:
Estructuras de Datos y Algoritmos. Ed. 1. Santander (ESPAÑA). Universidad de Sevilla. 2010. ISBN 978-84-693-8230-1

García Vallejo, Carlos A., Álvarez García, Juan Antonio, De la Rosa Troyano, Fco Fernando, Gutiérrez Rodríguez, Javier Jesús, Ceballos Guerrero, Rafael, et. al.:
Estructuras de Datos y Algortimos. Ed. 1. Sevilla,. Universidad de Sevilla. 2009. ISBN 978-84-692-5205-5

Capítulos en Libros

Ceballos Guerrero, Rafael, Abreu, Rui, Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael:
Model-based software debugging. Pag. 365-387. En: Fault Diagnosis of Dynamic Systems. Springer. 2019. ISBN 978-3-030-17728-7

Martínez Gasca, Rafael, Varela Vaca, Ángel Jesús, Ceballos Guerrero, Rafael:
Constraint-driven fault diagnosis. Pag. 347-364. En: Fault Diagnosis of Dynamic Systems. Springer. 2019. ISBN 978-3-030-17728-7

Bernárdez Jiménez, Beatriz, Ceballos Guerrero, Rafael, De la Rosa Troyano, Fco Fernando, Díaz Madrigal, Víctor Jesús, Gómez López, Mª Teresa, et. al.:
Acercando Estrategias Docentes Entre Teoría y Práctica en las Asignaturas de Ingeniería Informática. Vol. 1. Pag. 107-126. En: La Formación del Profesorado Universitario : Programa de Equipos Docentes de la Universidad de Sevilla Curso 2003-2004. Santander (ESPAÑA). Instituto de Ciencias de la Educacion de la Universidad de Sevilla. 2005. ISBN 84-86849-37-3

De la Rosa Troyano, Fco Fernando, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Ceballos Guerrero, Rafael:
Arquitectura de un Crawler para Extraer las Estructuras y Contenidos de Recursos Electrónicos. Pag. 259-268. En: VII Jornadas de Ingeniería del Software y Bases de Datos. El Escorial, España. Universidad Politécnica de Madrid. 2002. ISBN 84-688-0206-9

Publicaciones en Revistas

Wotawa, Franz, Weber, J, Nica, Mihail, Ceballos Guerrero, Rafael:
On the Complexity of Program Debugging Using Constraints for Modeling the Programs Syntax and Semantics. En: Lecture Notes in Computer Science. 2010. Vol. 5988. Pag. 22-31

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael:
Model Based Development of Firewall Rule Sets: Diagnosing Model Faults. En: Information and Software Technology. 2009. Vol. 51. Núm. 5. Pag. 894-915

Gómez López, Mª Teresa, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del:
Developing a Labelled Object-Relational Constraint Database Architecture for the Projection Operator. En: Data and Knowledge Engineering. 2009. Vol. 68. Núm. 1. Pag. 146-172

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael:
A Heuristic Process for Local Inconsistency Diagnosis in Firewall Rule Sets. En: Journal of Networks. 2009

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael:
Afpl, an Abstract Language Model for Firewall Acls. En: Lecture Notes in Computer Science. 2008. Vol. 2. Núm. 5073. Pag. 468-483

Ceballos Guerrero, Rafael, Gómez López, Mª Teresa, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del:
A Compiled Model for Faults Diagnosis Based on Different Techniques. En: AI communications. 2007. Vol. 20. Núm. 1. Pag. 7-16

Martínez Gasca, Rafael, Gómez López, Mª Teresa, Valle Sevillano, Carmelo del, Ceballos Guerrero, Rafael:
Nmus: Structural Analysis for Improving Thederivation of All Muses in Overconstrained Numeric Csps. En: Lecture Notes in Computer Science. 2007. Pag. 160-169

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Gómez López, Mª Teresa:
Integración de Técnicas Basadas en Modelos para la Determinación de la Diagnosis Mínima de un Sistema. En: Inteligencia Artificial. 2006. Vol. 10. Núm. 31. Pag. 41-51

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Borrego, Diana:
Constraint Satisfaction Techniques for Diagnosing Errors in Design by Contract Software. En: Software Engineering Notes. 2006. Pag. 41-52

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Borrego Núñez, Diana:
Diagnosing Errors in Dbc Programs Using Constraint Programming. En: Lecture Notes in Computer Science. 2006. Vol. 4177. Pag. 200-210

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del:
A Topological-Based Method for Allocating Sensors by Using CSP Techniques. En: Lecture Notes in Computer Science. 2006. Vol. 4177. Pag. 62-68

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Pozo Hidalgo, Sergio:
An Integration of Fdi and Dx Techniques for Determining the Minimal Diagnosis in an Automatic Way. En: Lecture Notes in Computer Science. 2005. Vol. 3789. Pag. 1082-1092

Ceballos Guerrero, Rafael, De la Rosa Troyano, Fco Fernando, Pozo Hidalgo, Sergio:
Diagnosis de Inconsistencia en Contratos Usando el Diseño Por Contrato. En: Revista IEEE America Latina. 2005. Pag. 120-125

Gómez López, Mª Teresa, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Pozo Hidalgo, Sergio:
Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering. En: Lecture Notes in Computer Science. 2004. Vol. 3315. Pag. 942-952

Gómez López, Mª Teresa, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del:
Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-Based Diagnosis. En: Lecture Notes in Computer Science. 2004. Vol. 3074. Pag. 74-87

De la Rosa Troyano, Fco Fernando, Martínez Gasca, Rafael, Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael:
Gestión de Proyectos Software Mediante Mapas Conceptuales. En: Proceedings of the V Adis 2004 Workshop on Decision Support in Software Engineering. 2004. Pag. 1-10

Ceballos Guerrero, Rafael, Valle Sevillano, Carmelo del, Gómez López, Mª Teresa, Martínez Gasca, Rafael:
CSP Aplicados a la Diagnosis Basada en Modelos. En: Inteligencia Artificial. 2003. Núm. 20. Pag. 137-150

Gómez López, Mª Teresa, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Ceballos Guerrero, Rafael:
CSP y Bases de Datos Restrictivas. En: Inteligencia Artificial. 2003. Núm. 20. Pag. 151-163

Valle Sevillano, Carmelo del, Toro Bonilla, Miguel, Ceballos Guerrero, Rafael, Aguilar Ruiz, Jesus Salvador:
A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning. En: Lecture Notes in Computer Science. 2002. Vol. 2527. Pag. 835-844

Ceballos Guerrero, Rafael, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, et. al.:
Max-CSP Approach for Software Diagnosis. En: Lecture Notes in Computer Science. 2002. Vol. 2527. Pag. 172-181

Aportaciones a Congresos

Ceballos Guerrero, Rafael, Borrego, Diana, Gómez López, Mª Teresa, Martínez Gasca, Rafael:
Hybrid Diagnosis Applied to Multiple Instances in Business Processes. Comunicación en congreso. Business Process Modeling, Development, and Support. Ljubljana, Slovenia. 2016

Borrego, Diana, Gómez López, Mª Teresa, Martínez Gasca, Rafael, Ceballos Guerrero, Rafael:
Determination of an Optimal Test Points Allocation for Business Process Analysis. Comunicación en congreso. Workshop on Business Driven It Management. Osaka, Japón. 2010. 2010 IEEE/Ifip Network Operations and Management Symposium Workshops. 159. 160

Borrego, Diana, Gómez López, Mª Teresa, Martínez Gasca, Rafael, Ceballos Guerrero, Rafael:
Improving the Diagnosability of Business Process Management Systems Using Test Points. Conferencia Congreso no publicada. 6th Workshop on Business Process Intelligence. New Jersey (USA). 2010. 6th International Workshop on Business Process Intelligence. 00. 00

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael:
A Real Time Algorithm for Firewall Acl Inconsistency Detection in Ad Hoc Networks. Comunicación en congreso. Iadis International Conference on Applied Computing. Algarve, Portugal. 2008. Iadis International Conference on Applied Computing. 117. 124

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael:
Firewall Rule Set Inconsistency Characterization by Clustering. Comunicación en congreso. International Conference on Enterprise Information System. . Barcelona, España. 2008. 6th International Workshop on Security in Information Systems (Wosis). 1. 6

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Varela Vaca, Ángel Jesús:
An Order Independent Consistency-Based Diagnosis Process for Firewall Rule Sets. Comunicación en congreso. Reunión Española de Criptología y Seguridad de la Información. Salamanca, España. 2008. Actas de la X Reunión Española de Criptología y Seguridad de la Información. 1. 10

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael:
A Heuristic Polynomial Algorithm for Local Inconsistecy Diagnosis in Firewall Rule Sets. Comunicación en congreso. International Joint Conference on e-Business and Telecommunications. 2008. Proceedings of the International Conference on Security and Cryptography. 1. 12

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Varela Vaca, Ángel Jesús:
Fast Algorithms for Local Inconsistency Detection in Firewall Acl Updates. Comunicación en congreso. International Workshop on Dependability and Security in Complex and Critical Information Systems. Cap Esterel, Agay, Francia. 2008. Proceedings of the 1st International Workshop on Dependability and Security in Complex and Critical Information Systems (Depend). 1. 10

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Varela Vaca, Ángel Jesús:
Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets. Comunicación en congreso. International Conference on Emerging Security Information, Systems and Technologies. Cap Esterel, Agay, Francia. 2008. Proceedings of the Second International Conference on Emerging Security Information, Systems and Technologies. 1. 9

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael:
Fast Algorithms for Consistency-Based Diagnosis of Firewalls Rule Sets. Comunicación en congreso. IEEE International Symposium on Frontiers in Availability, Reliability and Security (Fares), in International Conference on Availability, Reliability and Security (Ares) (2008). . Barcelona, España. 2007. IEEE International Conference on Availability, Reliability and Security (Ares). 229. 236

Troncoso Lora, Alicia, Troncoso Lora, Alicia, Reina Quintero, Antonia María, Martín Díaz, Octavio, Gómez López, Mª Teresa, et. al.:
La Influencia de la Evaluación Alternativa Propuesta en los Nuevos Estatutos de la Universidad de Sevilla en la Enseñanza Universitaria de Ingeniería Informática. Comunicación en congreso. III Jornada Andaluza de Profesores Noveles. 2006. La Convergencia Europea y Sus Repercusiones en los Procesos de Enseñanza-Aprendizaje. 273. 284

Gómez López, Mª Teresa, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del:
Improving the Determination of Minimal Hitting Sets in Model-Based Diagnosis. Comunicación en congreso. Dx-05. Monterey, California, USA. 2005. 16th International Workshop on Principles on Diagnosis. 61. 66

Pozo Hidalgo, Sergio, Martínez Gasca, Rafael, Ceballos Guerrero, Rafael:
Behavioral Pattern Analysis of Secure Migration and Communications in Ecommerce Using Cryptographic Protocols on a Mobile Mas Platform. Comunicación en congreso. IEEE International Workshop on Mobile Commerce and Services: Wmcs 05. Munich, Alemania. 2005. The Second IEEE International Workshop on Mobile Commerce and Services, 2005: Wmcs 05. 60. 69

Ceballos Guerrero, Rafael, Gómez López, Mª Teresa, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del:
A Model Integration of Dx and Fdi Techniques for Automatic Determination of Minimal Diagnosis. Comunicación en congreso. Ijcai-05, 2nd Monet Workshop on Model-Based Systems. Edimburgo, Escocia. 2005. Ijcai-05, 2nd Monet Workshop on Model-Based Systems. 11. 16

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del:
A Topological-Based Method for Allocating Sensors by Using CSP Techniques. Comunicación en congreso. CAEPIA 2005. XI Conferencia de la Asociación Española para la Inteligencia Artificial. Santiago de Compostela. 2005

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Borrego, Diana:
Diagnosing Errors in Dbc Programs Using Constraint Programming. Comunicación en congreso. CAEPIA 2005. XI Conferencia de la Asociación Española para la Inteligencia Artificial. Santiago de Compostela. 2005

Ceballos Guerrero, Rafael, Gómez López, Mª Teresa, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del:
The Minimal Diagnosis Determination by Using an Integration of Model-Based Techniques. Comunicación en congreso. CAEPIA 2005. XI Conferencia de la Asociación Española para la Inteligencia Artificial. Santiago de Compostela. 2005

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del:
Diagnosis en Modelos Intervalares Usando Técnicas Max-CSP. Comunicación en congreso. IV Jornadas Arca Sistemas Cualitativos y Diagnosis. Benalmadena, Spain. 2005. VII Jornadas de Arca Sistemas Cualitativos y Diagnosis (Jarca). 61. 68

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Borrego, Diana:
Constraint Satisfaction Techniques for Diagnosing Errors in Design by Contract Software. Comunicación en congreso. Specification and Verification of Component-Based Systems Workshop. Esec/Fse'05. Lisbon, Portugal. 2005. Specification and Verification of Component-Based Systems Workshop. Esec/Fse'05. 79. 82

Gómez López, Mª Teresa, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del:
Constraint Databases Technology for Polynomial Models Diagnosis. Comunicación en congreso. Dx-04. Carcassonne, Francia. 2004. 15th International Workshop on Principles of Diagnosis. 215. 220

Ceballos Guerrero, Rafael, Gómez López, Mª Teresa, Martínez Gasca, Rafael, Pozo Hidalgo, Sergio:
Determination of Possible Minimal Conflict Sets Using Components Clusters and Gröbner Bases. Comunicación en congreso. Dx-04. Carcassonne, Francia. 2004. 15th International Workshop on Principles of Diagnosis. 21. 26

Ceballos Guerrero, Rafael, De la Rosa Troyano, Fco Fernando, Pozo Hidalgo, Sergio:
Diagnosis de Inconsitencia en Contratos Usando el Diseño Bajo Contrato. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos. Malaga, España. 2004. IX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2004). 25. 36

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Toro Bonilla, Miguel:
Interval Model-Based Diagnosis Using Constraint Programming. Comunicación en congreso. Wac. Santander (ESPAÑA). 2004. World Automation Congress. 710. 721

Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Ceballos Guerrero, Rafael, Toro Bonilla, Miguel:
An Integration of Fdi and Dx Approaches to Polynomial Models. Comunicación en congreso. Fourteenth International Worksop on Principles of Diagnosis. Washington D.C., USA. 2003. Dx-03 Fourteenth International Worksop on Principles of Diagnosis. 153. 158

Gómez López, Mª Teresa, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Ceballos Guerrero, Rafael:
Arquitectura para la Consulta a Bases de Datos Restrictivas. Comunicación en congreso. Jornadas de Ingeniéria del Software y Bases de Datos . Alicante. 2003

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Pozo Hidalgo, Sergio, Ortega Ramírez, Juan A.:
Herramienta Web para el Razonamiento Semicualitativo a Partir de Bases de Datos. Comunicación en congreso. Asociación Española para la Inteligencia Artificial. Conferencia. San Sebastián. 2003. CAEPIA-TTIA 2003. X Conferencia de la Asocicación Española para la Inteligenciia Artificial. 441. 445

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, De la Rosa Troyano, Fco Fernando:
A Constraint Programming Approach for Software Diagnosis. Comunicación en congreso. Aadebug 2003, Fifth International Workshop on Automated Debugging . Ghent (Bélgica). 2003. Proceedings of the Fifth International Workshop on Automated Debugging (Aadebug 2003). 187. 196

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael:
Altas Prestaciones en Sisteamas de Comercio Electronico Concurrentes Basados en JAVA: Sistema Ceap. Comunicación en congreso. JAVA Hispano. 2003. JAVA Hispano 2003. 238. 248

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Toro Bonilla, Miguel:
A Constraint-Based Methodology for Software Diagnosis. Comunicación en congreso. CP 2002, 8th International Conference on Principles and Practice of Constraint Programming. Ithaca. 2002. Constraints in Formal Verification Wokshop. 30. 38

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Toro Bonilla, Miguel:
Diagnosis Software Usando Técnicas Max-CSP. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos. Madrid (España). 2002

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Toro Bonilla, Miguel:
Diagnosis Basada en Modelos para la Depuración de Software Mediante Técnicas Simbólicas. Comunicación en congreso. Jornadas Arca Sistemas Cualitativos y Diagnosis. Vilanova I la Geltru, Barcelona. 2002. IV Jornadas Arca Sistemas Cualitativos y Diagnosis. 23. 32