Logotipo de Universidad de Sevilla
VICERRECTORADO DE INVESTIGACIÓN
Logotipo Andalucía Tech
Letras Universidad de Sevilla

Ficha personal - Rafael Ceballos Guerrero


Rafael Ceballos Guerrero
Telefono: 954553865
Email: Solicitar correo
Perfil en ORCID: 0000-0001-7144-8011
Perfil en ResearcherID: L-3444-2014
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:

  • Contratos 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:

  • Proyectos:
    • 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)

  • Contratos 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)

  • Ayudas:
    • 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., Fuentes Brenes, Daniel, Gómez López, Mª Teresa, Varela Vaca, Ángel Jesús, Álvarez García, Juan Antonio, et. al.:
Estructuras de Datos y Algortimos. Ed. 1. Sevilla,. Universidad de Sevilla. 2009. ISBN 978-84-692-5205-5

Capítulos en Libros
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, 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, 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:
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, 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, 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

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

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

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

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

Aportaciones a Congresos
Ceballos Guerrero, 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:
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

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

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, 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:
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, 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:
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

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, 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

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

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

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, 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

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

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

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

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

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

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