Directorio
RAFAEL CEBALLOS GUERRERO
Categoría
Profesor Contratado Doctor
Departamento
Área
Lenguajes y Sistema Informáticos
Docencia
Asignaturas que imparte
- Análisis y Diseño de Datos y Algoritmos
- Seguridad en Sistemas Informáticos y en Internet
- Análisis y Diseño de Datos y Algoritmos
- Seguridad en Sistemas Informáticos y en Internet
- Análisis y Diseño de Datos y Algoritmos
- Seguridad en Sistemas Informáticos y en Internet
- Estructuras de Datos y Algoritmos
- Análisis y Diseño de Datos y Algoritmos
- Ciberseguridad
- Gobierno y Gestión de la Seguridad en el Ámbito de la Salud
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
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
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.
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.
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.
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.
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
MAX-CSP APPROACH FOR SOFTWARE DIAGNOSIS. Lecture Notes in Computer Science. 2002. Vol: 2527. Pág. 172-181.
