RAFAEL CEBALLOS GUERRERO

Categoría
Profesor Contratado Doctor

Contacto

Teléfono
Correo electrónico
Área
Lenguajes y Sistema Informáticos

Investigación

Proyectos y contratos de investigación

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/a)
RED TEMÁTICA NACIONAL SOBRE PLANIFICACIÓN, SECUENCIACIÓN (SCHEDULING) Y RAZONAMIENTO TEMPORAL (TIN2004-20168-E - Investigador/a)
AUTOMATIZACIÓN DE LA DETECCIÓN, DIAGNOSIS Y TOLERANCIA A FALLOS EN SISTEMAS CON INCERTIDUMBRE Y EN SISTEMAS DISTRIBUIDOS (DPI2006-15476-C02-01 - Investigador/a)
OPBUS:MEJORA DE LA CALIDAD DE PROCESOS DE NEGOCIOS MEDIANTE TECNOLOGÍAS DE OPTIMIZACIÓN Y TOLERANCIA A FALLOS (P08-TIC-4095 - Investigador/a)
TECNICAS PARA LA DIAGNOSIS, CONFIABILIDAD Y OPTIMIZACION EN LOS SISTEMAS DE GESTION DE PROCESOS DE NEGOCIO (TIN2009-13714 - Investigador/a)
DESARROLLO DE HERRAMIENTAS BASADAS EN MODELOS SEMICUALITATIVOS PARA EL ANÁLISIS DE SISTEMAS DINÁMICOS. APLICACIÓN A LA SUPERVISIÓN, CONTROL Y PREDICCI (DPI2000-0666-C02-02 - Investigador/a)
Enhancing Data Quality and Security for Improving Business Processes and Strategic Decisions in Cyber Physical Systems (ECLIPSE-US) (RTI2018-094283-B-C33 - Investigador/a)
Estudios para el Desarrollo de un Sistema de Información para la Programación Avanzada de Montajes Aeronáuticos (PAM) (P041-07/E08 - Investigador/a)
Clean Sky 2: A-24 One Step Beyond On Automated Testing Technologies (P095-16/E08 - Investigador/a)
Modelo Declarativo de Reglas de Negocio para Acceso por Presencia de Recurso Preventivo (P020-14/E08 - Responsable)
Sequoia-US: Support Intelligent Decisions for Business Processes Requirements Based on Big Data and Multiple Instances (TIN2015-63502-C3-2-R - Investigador/a)
SEQUOIA: SUPPORT INTELLIGENT DECISIONS FOR BUSINESS PROCESSES REQUIREMENTS BASED ON BIG DATA AND MULTIPLE INSTANCES (TIN2015-63502 - Investigador/a)

Libros publicados

Á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;M. Martínez-Ballesteros;Pozo-Hidalgo, Sergio;De La Rosa-Troyano, Fco Fernando;Parody-Núñez, Maria Luisa:
ESTRUCTURAS DE DATOS Y ALGORITMOS. UNIVERSIDAD DE SEVILLA.. 2010. 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;De La Rosa-Troyano, Fco Fernando;Gutiérrez-Rodríguez, Javier Jesús;Ceballos-Guerrero, Rafael;Barba-Rodríguez, Irene;Pozo-Hidalgo, Sergio;Del Valle-Sevillano, Carmelo:
ESTRUCTURAS DE DATOS Y ALGORTIMOS. UNIVERSIDAD DE SEVILLA.. 2009. 978-84-692-5205-5

Capítulos en Libros

Martínez-Gasca, Rafael;Varela-Vaca, Ángel Jesús;Ceballos-Guerrero, Rafael:
Constraint-driven fault diagnosis. Pág. 347-364. Springer. Springer. 2019.
Ceballos-Guerrero, Rafael;Abreu, Rui;Varela-Vaca, Ángel Jesús;Martínez-Gasca, Rafael:
Model-based software debugging. Pág. 365-387. Springer. Springer. 2019.
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;Reina-Quintero, Antonia María;Troncoso-Lora, Alicia:
ACERCANDO ESTRATEGIAS DOCENTES ENTRE TEORÍA Y PRÁCTICA EN LAS ASIGNATURAS DE INGENIERÍA INFORMÁTICA. Pág. 107-126. En: 1. INSTITUTO DE CIENCIAS DE LA EDUCACION DE LA UNIVERSIDAD DE SEVILLA. INSTITUTO DE CIENCIAS DE LA EDUCACION DE LA UNIVERSIDAD DE SEVILLA. 2005.
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. Pág. 259-268. UNIVERSIDAD POLITÉCNICA DE MADRID. UNIVERSIDAD POLITÉCNICA DE MADRID. 2002.

Asistencia 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 () (.2010.OSAKA, JAPÓN). OSAKA, JAPÓN. 2010
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 (BPI 2010) () (.2010.NEW JERSEY (USA)). NEW JERSEY (USA). 2010
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 (10) (10.2008.SALAMANCA, ESPAÑA). SALAMANCA, ESPAÑA. 2008
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 (10) (10.2008.BARCELONA, ESPAÑA). . BARCELONA, ESPAÑA. 2008
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 (2) (2.2008.CAP ESTEREL, AGAY, FRANCIA). CAP ESTEREL, AGAY, FRANCIA. 2008
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 (5) (5.2008.ALGARVE, PORTUGAL). ALGARVE, PORTUGAL. 2008
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 (DEPEND) (1) (1.2008.CAP ESTEREL, AGAY, FRANCIA). CAP ESTEREL, AGAY, FRANCIA. 2008
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.OPORTO, PORTUGAL). . 2008
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 . . BARCELONA, ESPAÑA. 2007
Troncoso-Lora, Alicia;Troncoso-Lora, Alicia;Reina-Quintero, Antonia María;Martín-Díaz, Octavio;Gómez-López, Mª Teresa;Díaz-Madrigal, Víctor Jesús;Ceballos-Guerrero, Rafael;Bernárdez-Jiménez, Beatriz:
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 . Comunicación en congreso. III JORNADA ANDALUZA DE PROFESORES NOVELES (3) (3.2006.SEVILLA). . 2006
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 () (.2005.LISBON, PORTUGAL). LISBON, PORTUGAL. 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. (11) (11.2005.SANTIAGO DE COMPOSTELA). SANTIAGO DE COMPOSTELA. 2005
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 (16) (16.2005.MONTEREY, CALIFORNIA, USA). MONTEREY, CALIFORNIA, USA. 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 (JARCA) () (.2005.BENALMADENA, SPAIN). BENALMADENA, SPAIN. 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. (11) (11.2005.SANTIAGO DE COMPOSTELA). 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 () (.2005.EDIMBURGO, ESCOCIA). EDIMBURGO, ESCOCIA. 2005
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 (2.2005.MUNICH, ALEMANIA). MUNICH, ALEMANIA. 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. (11) (11.2005.SANTIAGO DE COMPOSTELA). SANTIAGO DE COMPOSTELA. 2005
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 (15) (15.2004.CARCASSONNE, FRANCIA). CARCASSONNE, FRANCIA. 2004
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 (15) (15.2004.CARCASSONNE, FRANCIA). CARCASSONNE, FRANCIA. 2004
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 (WORLD AUTOMATION CONGRESS) () (.2004.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2004
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 (9) (9.2004.MALAGA, ESPAÑA). MALAGA, ESPAÑA. 2004
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 (.2003.WASHINGTON D.C., USA). WASHINGTON D.C., USA. 2003
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 (8.2003.ALICANTE). 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 (10.2003.SAN SEBASTIÁN). SAN SEBASTIÁN. 2003
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 (5.2003.GHENT (BÉLGICA)). GHENT (BÉLGICA). 2003
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 (1) (1.2003.MADRID, ESPAÑA). . 2003
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 (4.2002.VILANOVA I LA GELTRU, BARCELONA). VILANOVA I LA GELTRU, BARCELONA. 2002
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 (.2002.ITHACA). ITHACA. 2002
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 (7.2002.MADRID (ESPAÑA)). MADRID (ESPAÑA). 2002

Artículos publicados

WOTAWA-,FRANZ;Weber-,J;NICA-,MIHAIL;Ceballos-Guerrero, Rafael:
ON THE COMPLEXITY OF PROGRAM DEBUGGING USING CONSTRAINTS FOR MODELING THE PROGRAMS SYNTAX AND SEMANTICS. Lecture Notes in Computer Science. 2010. Vol: 5988. Pág. 22-31.
Pozo-Hidalgo, Sergio;Ceballos-Guerrero, Rafael;Martínez-Gasca, Rafael:
A HEURISTIC PROCESS FOR LOCAL INCONSISTENCY DIAGNOSIS IN FIREWALL RULE SETS. Journal of Networks. 2009. Pág. 0-1.
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. Data and Knowledge Engineering. 2009. Vol: 68. Núm: 1. Pág. 146-172.
Pozo-Hidalgo, Sergio;Ceballos-Guerrero, Rafael;Martínez-Gasca, Rafael:
MODEL BASED DEVELOPMENT OF FIREWALL RULE SETS: DIAGNOSING MODEL FAULTS. Information and Software Technology. 2009. Vol: 51. Núm: 5. Pág. 894-915.
Pozo-Hidalgo, Sergio;Ceballos-Guerrero, Rafael;Martínez-Gasca, Rafael:
AFPL, AN ABSTRACT LANGUAGE MODEL FOR FIREWALL ACLS. Lecture Notes in Computer Science. 2008. Vol: 2. Núm: 5073. Pág. 468-483.
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. Lecture Notes in Computer Science. 2007. Pág. 160-169.
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. AI communications. 2007. Vol: 20. Núm: 1. Pág. 7-16.
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. Inteligencia Artificial. 2006. Vol: 10. Núm: 31. Pág. 41-51.
Ceballos-Guerrero, Rafael;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del:
A TOPOLOGICAL-BASED METHOD FOR ALLOCATING SENSORS BY USING CSP TECHNIQUES. Lecture Notes in Computer Science. 2006. Vol: 4177. Pág. 62-68.
Ceballos-Guerrero, Rafael;Martínez-Gasca, Rafael;Borrego, Diana:
CONSTRAINT SATISFACTION TECHNIQUES FOR DIAGNOSING ERRORS IN DESIGN BY CONTRACT SOFTWARE. Software Engineering Notes. 2006. Pág. 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. Lecture Notes in Computer Science. 2006. Vol: 4177. Pág. 200-210.
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. Lecture Notes in Computer Science. 2005. Vol: 3789. Pág. 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. Revista IEEE America Latina. 2005. Pág. 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. Lecture Notes in Computer Science. 2004. Vol: 3315. Pág. 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. Lecture Notes in Computer Science. 2004. Vol: 3074. Pág. 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. PROCEEDINGS OF THE V ADIS 2004 WORKSHOP ON DECISION SUPPORT IN SOFTWARE ENGINEERING. 2004. Pág. 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.. Inteligencia Artificial. 2003. Núm: 20. Pág. 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.. Inteligencia Artificial. 2003. Núm: 20. Pág. 137-150.
Ceballos-Guerrero, Rafael;Ceballos-Guerrero, Rafael;Martínez-Gasca, Rafael;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del;Valle-Sevillano, Carmelo Del;Toro-Bonilla, Miguel;Toro-Bonilla, Miguel:
MAX-CSP APPROACH FOR SOFTWARE DIAGNOSIS. Lecture Notes in Computer Science. 2002. Vol: 2527. Pág. 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. Lecture Notes in Computer Science. 2002. Vol: 2527. Pág. 835-844.
Ceballos-Guerrero, Rafael;Ceballos-Guerrero, Rafael;Martínez-Gasca, Rafael;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del;Valle-Sevillano, Carmelo Del;Toro-Bonilla, Miguel;Toro-Bonilla, Miguel:
MAX-CSP APPROACH FOR SOFTWARE DIAGNOSIS. Lecture Notes in Computer Science. 2002. Vol: 2527. Pág. 172-181.