CARMELO DEL VALLE SEVILLANO

Categoría
Profesor Titular de Universidad

Contacto

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

Investigación

Grupo de investigación

Engineering and Science for Software Systems (ES3)

Proyectos y contratos de investigación

RED DE INVESTIGACIÓN SOBRE DIAGNOSIS Y RAZONAMIENTO CUALITATIVO (DPI2001-4404-E - Investigador/a)
AUTOMATIZACIÓN DEL RAZONAMIENTO CUALITATIVO EN SISTEMAS DINÁMICOS COMPLEJOS (TIC94-0282 - Investigador/a)
RED TEMÁTICA NACIONAL SOBRE PLANIFICACIÓN, SECUENCIACIÓN Y RAZONAMIENTO TEMPORAL (TIC2001-4936-E - Investigador/a)
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)
TELECARE. A MULTI-AGENT TELESUPERVISION SYSTEM FOR ELDERLY CARE, COLABORANDO CON SKILL -CONSEJEROS DE GESTIÓN, SL (IST-2000-27607 - Investigador/a)
AUTOCOD-AUTOMATIZACION DEL CONTROL DIMENSIONAL EN LA INDUSTRIA NAVAL (37 - Investigador/a)
INTERSOK- GESTIÓN DE LA INFORMACIÓN DIMENSIONAL PARA EL SEGUIMIENTO DEL PROCESO DE FABRICACIÓN Y MEJORA DE LA CALIDAD DIMENSIONAL DEL PRODUCTO (38 - Investigador/a)
COPROD-GESTIÓN DE LA INFORMACIÓN PARA EL CONTROL DE LA PRODUCCIÓN (47 - Investigador/a)
CONTROL PREDICTIVO PARA PROCESOS CON INCERTIDUMBRE ACOTADAS (DPI2002-04375-C03-01 - Investigador/a)
ESTRUCTURAS AVANZADAS DE CONTROL PARA PROCESOS INDUSTRIALES (CICYT - TAP-93-0408 - Investigador/a)
ACCIÓN COORDINADA DE ESTUDIOS INFORMÉTRICOS Y RAZONAMIENTO CUALITATIVO/CUANTITATIVO (LJC/GGM - Investigador/a)
TELMEDIA .MONITORIZACIÓN Y DETECCIÓN REMOTA DE DESVIACIONES EN TERAPIAS CON TÉCNICAS INTELIGENTES (SIN REFERENCIA - 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 - Responsable)
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)
RED TEMÁTICA EN DESARROLLO DE MÉTODOS INTERVALARES Y SUS APLICACIONES EN INGENIERÍA (DPI2000-2615-E - Investigador/a)
TÉCNICAS DE CONTROL PREDICTIVO DE PROCESOS INDUSTRIALES (TAP-96-884 - 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 - Responsable)
MIRFLEX - Nuevos Sistemas para Soporte a Operarios en Taller, Apoyo a Ingeniería de Fabricación y Formación en Procesos Industriales con Explotación e (P047-18/E30 - Responsable)
FALcODE -Investigacion para Optimización del Proceso de Etiquetado Inteligente para La Recepción de Materiales en Fal LTa Systems Engineering (P003-18/E30 - Responsable)
MIRA: Laser Projection for Assemblies and Verification (P116-16/E30 - Responsable)
BOSS: Business Operations Systems) (P050-17/E30 - Responsable)
Samba-Laser: Integración con SIPLA (P049-17/E30 - Responsable)
CIG: Customer Inspection Gulde (P040-17/E30 - Responsable)
Dlgitalization of ground-testing Life cycle with ECO design criteria (PI012-18/E30 - Responsable)
Asesoramiento Técnico para la Optimización de Publicaciones en Redes Sociales (P105-16/E30 - Responsable)
Andalus: Universal Augmented Reality Assembly Support for Brackets (P043-15/E30 - Responsable)
Explorando Soluciones Guiadas para Sistematizar el Aseguramiento Temprano de la Calidad del Software (TIN2016-76956-C3-2-R - Investigador/a)
Mecanismos Guiados en Etapas Tempranas para la Mejora del Software (TIN2013-46928-C3-3-R - Investigador/a)
SAMBA-LASER: Desarrollos para M&L (P092-16/E30 - Responsable)
CALIPSO-Transfer - Transferencia de conocimiento de los resultados de CALIPSOneo para el proyecto EOLO. (P097-13/E08 - Responsable)
ARIADNE - Value Chain: From IDMU to Lean Documentation for Assembly (P054-15/E30 - Responsable)
GEOLIA III - first Generation of aErospace iDMU cOncept impLemention And deployment (P025.1-13/E08 - Responsable)
EOLO-II - factoriEs Of the future. industrial develOpment (P023.1-13/E08 - Responsable)
Digital Factory: Laser projection for assemblies and verification (P115-16/E30 - Responsable)
CALIPSONeo: Soluciones Aeronáuticas Avanzadas usando Procesos y Herramientas PLM (P051-12/E00 - Responsable)
Red Temática Mexicana en Ingeniería del Software (000000000244467 - )
EOLO- factoriEs Of the future. industriaL develOpment (P023-13/E08 - Responsable)
GEOLIA- first Generation of aErospace iDMU cOncept impLementIon And deployment (P025-13/E08 - Responsable)

Capítulos en Libros

Valle-Sevillano, Carmelo Del;Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Aguilar-Ruiz, Jesus Salvador:
UN MODELO DE OPTIMIZACIÓN CSP PARA LA SUSTITUCIÓN DE PIEZAS DEFECTUOSAS DIAGNOSTICADAS. Pág. 49-58. EDS. J.A. ORTEGA, X. PARRA Y B. PULIDO. EDS. J.A. ORTEGA, X. PARRA Y B. PULIDO. 2002.
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.
Valle-Sevillano, Carmelo Del;Fernández-Camacho, Eduardo:
BINARY VS SYMBOLIC CHROMOSOMAL ENCODING IN GA-BASED SELECTION OF ASSEMBLY TALKS. Pág. 145-150. World Scientific Publishing. World Scientific Publishing. 2001.
Valle-Sevillano, Carmelo Del;Fernández-Camacho, Eduardo:
Automatic Assembly Task Assignment for a Multirobot Environment.. Pág. 293-298. ELSEVIER SCIENCE. ELSEVIER SCIENCE. 1995.

Asistencia a congresos

Jiménez-Ramírez, Andrés;Reijers, Hajo A.;Barba-Rodríguez, Irene;Valle-Sevillano, Carmelo Del:
A method to improve the early stages of the robotic process automation lifecycle. Comunicación en congreso. 31th International Conference on Advanced Information Systems Engineering. Roma, Italia. 2019
Jiménez-Ramírez, Andrés;Barba-Rodríguez, Irene;Valle-Sevillano, Carmelo Del:
Towards a new Tool for Managing Declarative Temporal Business Process Models. Comunicación en congreso. XIV JORNADAS DE CIENCIA E INGENIERÍA DE SERVICIOS. Sevilla. 2018
Jiménez-Ramírez, Andrés;Barba-Rodríguez, Irene;Valle-Sevillano, Carmelo Del:
A Constraint-Based Approach for Managing Declarative Temporal Business Process Models. Comunicación en congreso. International Conference on Information Systems Development. Suiza. 2018
Jiménez-Ramírez, Andrés;Barba-Rodríguez, Irene;Reichert, Manfred;Weber, Barbara;Valle-Sevillano, Carmelo Del:
Clinical processes - The killer application for constraint-based process interactions?. Comunicación en congreso. 30th International Conference on Advanced Information Systems Engineering. Tallinn, Estonia. 2018
Jiménez-Ramírez, Andrés;Barba-Rodríguez, Irene;Fernandez-Olivares, Juan;Valle-Sevillano, Carmelo Del;Weber, Barbara:
Predicciones en Procesos de Negocio Declarativos. Comunicación en congreso. XIII JORNADAS DE CIENCIA E INGENIERÍA DE SERVICIOS. San Cristóbal de la Laguna, Tenerife. 2017
Jiménez-Ramírez, Andrés;Weber, Barbara;Barba-Rodríguez, Irene;Valle-Sevillano, Carmelo Del:
Generating optimized configurable business process models in scenarios subject to uncertainty. Comunicación en congreso. XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2016). Salamanca (España). 2016
Jiménez-Ramírez, Andrés;Barba-Rodríguez, Irene;Valle-Sevillano, Carmelo Del;Weber, Barbara:
Generating Multi-objective Optimized Business Process Enactment Plans. Comunicación en congreso. 25th International Conference On Advanced Information Systems Engineering. Valencia. 2013
Jiménez-Ramírez, Andrés;Barba-Rodríguez, Irene;Valle-Sevillano, Carmelo Del;Weber, Barbara:
Generating Multi-objective Optimized Configurable Business Process Models. Poster en Congreso. Sixth International Conference On Research Challenges In Information Science (Rcis) (6) (5.2012. Valencia, Spain). Valencia, ESPAÑA. 2012
Barba-Rodríguez, Irene;Valle-Sevillano, Carmelo Del:
A planning and scheduling perspective for designing business process from declarative specifications. Comunicación en congreso. 3rd International Conference on Agents and Artificial Intelligence. . 2011
Barba-Rodríguez, Irene;Valle-Sevillano, Carmelo Del:
A Constraint-based Approach for Planning and Scheduling Repeated Activities. Comunicación en congreso. Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems. . 2011
Barba-Rodríguez, Irene;Valle-Sevillano, Carmelo Del:
UNA PROPUESTA PDDL PARA LA PLANIFICACIÓN DE LA REPARACIÓN COMO PROCESO DE NEGOCIO. Comunicación en congreso. XV JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS. VALENCIA, ESPAÑA. 2010
Barba-Rodríguez, Irene;Valle-Sevillano, Carmelo Del:
PLANNING AND SCHEDULING OF BUSINESS PROCESSES IN RUN-TIME: A REPAIR PLANNING EXAMPLE. Comunicación en congreso. ISD 2010 ¿ 19TH INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS DEVELOPMENT () (.2010.PRAGA, REPÚBLICA CHECA). PRAGA, REPÚBLICA CHECA. 2010
Barba-Rodríguez, Irene;Valle-Sevillano, Carmelo Del;Borrego, Diana:
A MULTIOBJECTIVE CONSTRAINT OPTIMIZATION MODEL FOR MULTIMODE REPAIR PLANS. Poster en Congreso. INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS (ICINCO 2009) (6) (6.2009.MILÁN). MILÁN. 2009
Barba-Rodríguez, Irene;Valle-Sevillano, Carmelo Del;Borrego, Diana:
A CONSTRAINT-BASED JOB-SHOP SCHEDULING MODEL FOR SOFTWARE DEVELOPMENT PLANNING. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE (2) (2.1997.SAN SEBASTIÁN, ESPAÑA). SAN SEBASTIÁN, ESPAÑA. 2009
Barba-Rodríguez, Irene;Valle-Sevillano, Carmelo Del;Borrego, Diana:
A CONSTRAINT-BASED MODEL FOR MULTI-OBJECTIVE REPAIR PLANNING. Comunicación en congreso. 14TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA2009) (14) (14.2009.MALLORCA, ESPAÑA). MALLORCA, ESPAÑA. 2009
Barba-Rodríguez, Irene;Borrego, Diana;Pozo-Hidalgo, Sergio;Valle-Sevillano, Carmelo Del:
NUEVAS PROPUESTAS SOBRE EVALUACIÓN ALTERNATIVA PARA LAS ASIGNATURAS DE PROGRAMACIÓN EN LAS INGENIERÍAS EN INFORMÁTICA. Comunicación en congreso. I CONGRESO INTERNACIONAL DE PROFESORADO PRINCIPIANTE E INSERCIÓN PROFESIONAL A LA DOCENCIA. (1) (1.2008.SEVILLA). . 2008
Barba-Rodríguez, Irene;Valle-Sevillano, Carmelo Del;Borrego, Diana:
A JOB-SHOP SCHEDULING MODEL FOR CONSTRAINT-BASED LOCAL SEARCH. Comunicación en congreso. WORKSHOP ON PLANNING, SCHEDULING AND CONSTRAINT SATISFACTION () (.2008.LISBOA (PORTUGAL)). LISBOA (PORTUGAL). 2008
Gómez-López, Mª Teresa;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del:
BASES DE DATOS DE RESTRICCIONES PARA EL TRATAMIENTO DE CSP. Comunicación en congreso. WORKSHOP ESPAÑOL SOBRE EXTRACCIÓN Y VALIDACIÓN DE CONOCIMIENTO EN BASES DE DATOS BIOMÉDICAS: EVABIO 07 (1.2007.SALAMANCA, ESPAÑA). SALAMANCA, ESPAÑA. 2007
Barba-Rodríguez, Irene;Borrego, Diana;Valle-Sevillano, Carmelo Del;Martínez-Gasca, Rafael:
INFERENCIA DE CRÓNICAS TEMPORALES CON PROGRAMACIÓN LÓGICA INDUCTIVA PARA PREDICCIÓN DE EVOLUCIONES. Ponencia en Congreso. CONGRESO DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL (12.2007.SALAMANCA, ESPAÑA). SALAMANCA, ESPAÑA. 2007
Gómez-López, Mª Teresa;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del:
IMPROVING THE DETERMINATION OF MINIMAL HITTING SETS IN MODEL-BASED DIAGNOSIS USING CONSTRAINT DATABASES. Comunicación en congreso. IFAC SYMPOSIUM ON FAULT DETECTION, SUPERVISION AND SAFETY OF TECHNICAL PROCESSES (SAFEPROCESS) (6) (6.2006.PEKÍN, CHINA). PEKÍN, CHINA. 2006
Gómez-López, Mª Teresa;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del;Pozo-Hidalgo, Sergio:
DISTRIBUTED MODEL-BASED DIAGNOSIS USING OBJECT-RELATIONAL CONSTRAINT DATABASES. Comunicación en congreso. IEEE INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS (20) (20.2006.VIENA, AUSTRIA). VIENA, AUSTRIA. 2006
Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del;Barba-Rodríguez, Irene:
IMPROVING THE COMPUTATIONAL EFFICIENCY IN SYMMETRICAL NUMERIC CONSTRAINTSATISFACTION PROBLEMS. Comunicación en congreso. IWANN 2005: INTERNATIONAL WORK-CONFERENCE ON ARTIFICIAL NEURAL NETWORKS (8.2005.BARCELONA, ESPAÑA). . BARCELONA, ESPAÑA. 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
Gómez-López, Mª Teresa;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del;Cejudo-,Víctor:
ORCDB: ARQUITECTURA PARALA EXTENSIÓN DE LA SEMÁNTICA DE SQL EN BASES DE DATOS RESTRICTIVAS ORIENTADAS A OBJETOS CON RESTRICCIONES POLINÓMICAS DE IGUAL. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS, JISBD 2005 (10.2005.GRANADA, ESPAÑA). . 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
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:
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;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
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;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
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
Valle-Sevillano, Carmelo Del;Toro-Bonilla, Miguel;Fernández-Camacho, Eduardo;Martínez-Gasca, Rafael:
A Scheduling Approach to Assembly Sequence Planning. Ponencia en Congreso. 2003 IEEE INTERNATIONAL SYMPOSIUM ON ASSEMBLY AND TASK PLANNING. BESANÇON, FRANCIA. 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
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
Valle-Sevillano, Carmelo Del;Gasca, R.m.;Toro-Bonilla, Miguel;Fernández-Camacho, Eduardo:
A genetic Algorithm for Assembly Sequence Planning.. Ponencia en Congreso. INTERNATIONAL WORK-CONFERENCE ON ARTIFICIAL AND NATURAL NEURAL NETWORKS, IWANN 2003 (7.2003.MENORCA, ESPAÑA). MENORCA, ESPAÑA. 2003
Gómez-López, Mª Teresa;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del;Márquez-Hernández, Antonio Ángel:
MODELO DE CSP PARA CONSULTA A BASES DE DATOS RESTRICTIVAS. Comunicación en congreso. ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL. CONFERENCIA (10.2003.SAN SEBASTIÁN). SAN SEBASTIÁN. 2003
Valle-Sevillano, Carmelo Del;Fernández-Camacho, Eduardo;Toro-Bonilla, Miguel:
A Clp Approach for Assembly Sequence Planning. Ponencia en Congreso. Third International Naiso Symposium on Engineering of Intelligent Systems. MALAGA (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 (4.2002.VILANOVA I LA GELTRU, BARCELONA). VILANOVA I LA GELTRU, BARCELONA. 2002
Valle-Sevillano, Carmelo Del;Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Aguilar-,Jesús:
UN MODELO DE OPTIMIZACIÓN CSP PARA LA SUSTITUCIÓN DE PIEZAS DEFECTUOSAS DIAGNOSTICADAS. Comunicación en congreso. JORNADAS ARCA SISTEMAS CUALITATIVOS Y DIAGNOSIS (4.2002.VILANOVA I LA GELTRU, BARCELONA). VILANOVA I LA GELTRU, BARCELONA. 2002
Valle-Sevillano, Carmelo Del;Fernández-Camacho, Eduardo;Toro-Bonilla, Miguel:
A model for assembly sequence planning in a multirobot environment. Ponencia en Congreso. INTERNATIONAL FEDERATION OF AUTOMATIC CONTROL. WORLD CONGRESS (15.2002.BARCELONA). . 2002
Valle-Sevillano, Carmelo Del;Martínez-Gasca, Rafael;Márquez-Hernández, Antonio Ángel;Gómez-López, Mª Teresa:
UN MODELO CSP PARA LA PLANIFICACIÓN DE LA SUSTITUCIÓN ÓPTIMA DE PIEZAS. Comunicación en congreso. WORKSHOP DE PLANIFICACIÓN, SCHEDULING Y RAZONAMIENTO TEMPORAL (1.2002.SEVILLA, ESPAÑA). Santander (ESPAÑA). 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
Valle-Sevillano, Carmelo Del;Fernández-Camacho, Eduardo;Toro-Bonilla, Miguel:
Combinación de Heuristicas para la selecciónóptima de secuencias de embalaje. Poster en Congreso. CONFERENCIA DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL. IV JORNADAS DE TRANSFERENCIA TECNOLÓGICA DE INTELIGENCIA ARTIFICIAL (9.2001.GIJ. GIJÓN, ESPAÑA. 2001
Valle-Sevillano, Carmelo Del;Toro-Bonilla, Miguel;Martínez-Gasca, Rafael:
UN MODELO CSP PARA LA SELECCION DE SECUENCIAS OPTIMAS DE ENSAMBLAJE. Comunicación en congreso. TALLER DE RAZONAMIENTO TEMPORAL, ESPACIAL Y PLANIFICACION (5.2001.GIJON (ESPAÑA)). GIJON (ESPAÑA). 2001
Valle-Sevillano, Carmelo Del:
PRESENTACION DE LA MESA PLATAFORMAS TECNOLOGICAS PARA EL DESARROLLO DE TELEFORMACION. Ponencia en Congreso. REUNIÓN TÉCNICA INTERNACIONAL SOBRE EL USO DE TECNOLOGÍAS DE INFORMACIÓN EN EL NIVEL DE FORMACIÓN SUPERIOR AVANZADA (.2001.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2001
Valle-Sevillano, Carmelo Del;Fernández-Camacho, Eduardo:
Binary VS Symbolic Chromosomal Encoding in GA-Based Selection of Assembly Talks. Ponencia en Congreso. 3rd Imacs / IEEE CSCC' 99. ATENAS (GRECIA). 1999
Valle-Sevillano, Carmelo Del;Fernández-Camacho, Eduardo;Toro-Bonilla, Miguel:
Búsqueda de secuencias óptimas de montaje mediante programación lógica con restricciones. Ponencia en Congreso. TARRAT 1999. MURCIA (ESPAÑA). 1999
Valle-Sevillano, Carmelo Del;Perejón-,Pedro Luis;Fernández-Camacho, Eduardo:
SELECTION OF OPTIMAL ASSEMBLY SEQUENCES USING GENETIC ALGORITHMS. Ponencia en Congreso. INTERNATIONAL ICSC SYMPOSIUM ON ENGINEERING OF INTELIGENT SYSTEMS (1.1998.TENERIFE (ESPAÑA)). TENERIFE (ESPAÑA). 1998
Valle-Sevillano, Carmelo Del;Fernández-Camacho, Eduardo:
OPTIMIZACION DE SECUENCIAS DE ENSAMBLAJE MEDIANTE ALGORITMOS GENETICOS CON CODIFICACION BINARIA. Comunicación en congreso. CONFERENCIA DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL (7.1997.MALAGA, ESPAÑA). MALAGA, ESPAÑA. 1997
Valle-Sevillano, Carmelo Del;Fernández-Camacho, Eduardo:
Algoritmo para la Determinación de Secuencias Óptimas de Ensamblaje. Comunicación en congreso. II JORNADAS DE INFORMATICA . ALUÑECAR, GRANADA, ESPAÑA. 1996
Valle-Sevillano, Carmelo Del;Fernández-Camacho, Eduardo:
AUTOMATIC ASSEMBLY TASK ASSIGNMENT FOR A MULTIROBOT ENVIRONMENT. Comunicación en congreso. IFAC CONFERENCE ON INTEGRATED SYSTEMS ENGINEERING (.1994.BADEN-BADEN, ALEMANIA). BADEN-BADEN, ALEMANIA. 1994
Valle-Sevillano, Carmelo Del;Fernández-Camacho, Eduardo:
OPTIMIZACIÓN HEURÍSTICA DE SISTEMAS DE TRANSPORTE MULTIFLUIDOS. Comunicación en congreso. JORNADAS DE CONTROL INTELIGENTE (.1991.SEVILLA, ESPAÑA). Santander (ESPAÑA). 1991

Artículos publicados

Jiménez-Ramírez, Andrés;Barba-Rodríguez, Irene;Fernandez-Olivares, Juan;Valle-Sevillano, Carmelo Del;Weber, Barbara:
Time prediction on multi-perspective declarative business processes. Knowledge and Information Systems. 2018. Vol: 57. Núm: 3. Pág. 655-684. 10.1007/s10115-018-1180-3.
Jiménez-Ramírez, Andrés;Weber, Barbara;Barba-Rodríguez, Irene;Valle-Sevillano, Carmelo Del:
Generating Optimized Configurable Business Process Models in Scenarios Subject to Uncertainty. Information and Software Technology. 2015. Vol: 57. Pág. 571-594. doi:10.1016/j.infsof.2014.06.006.
Barba-Rodríguez, Irene;Valle-Sevillano, Carmelo Del;Weber, Barbara;Jiménez-Ramírez, Andrés:
Automatic Generation of Optimized Business Process Models from Constraint-based Specifications. International Journal of Cooperative Information Systems. 2013. Vol: 22. Núm: 2. 10.1142/S0218843013500093 .
Barba-Rodríguez, Irene;Weber, Barbara;Valle-Sevillano, Carmelo Del;Jiménez-Ramírez, Andrés:
USER RECOMMENDATIONS FOR THE OPTIMIZED EXECUTION OF BUSINESS PROCESSES. Data and Knowledge Engineering. 2013. Vol: 86. Pág. 61-84. 10.1016/J.DATAK.2013.01.004.
Barba-Rodríguez, Irene;Weber, Barbara ;Valle-Sevillano, Carmelo Del:
Supporting the Optimized Execution of Business Processes through Recommendations. Lecture Notes In Business Information Processing. 2012. Vol: I. Pág. 135-140. 10.1007/978-3-642-28108-2_12.
Barba-Rodríguez, Irene;Lanz, Andreas;Weber, Barbara;Reichert, Manfred;Valle-Sevillano, Carmelo Del:
OPTIMIZED TIME MANAGEMENT FOR DECLARATIVE WORKFLOWS. Lecture Notes In Business Information Processing. 2012. Vol: 113. Pág. 195-210. 10.1007/978-3-642-31072-0_14.
Barba-Rodríguez, Irene;Valle-Sevillano, Carmelo Del:
A JOB-SHOP SCHEDULING MODEL OF SOFTWARE DEVELOPMENT PLANNING FOR CONSTRAINT-BASED LOCAL SEARCH. International Journal of Software Engineering and Its Applications. 2010. Vol: 4. Núm: 4. Pág. 1-16.
Valle-Sevillano, Carmelo Del;Márquez-Hernández, Antonio Ángel;Barba-Rodríguez, Irene:
A CSP MODEL FOR SIMPLE NON-REVERSIBLE AND PARALLEL REPAIR PLANS. Journal of Intelligent Manufacturing. 2010. Vol: 21. Núm: 1. Pág. 165-174. 10.1007/s10845-008-0162-9.
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.
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.
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;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;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;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.
Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del;Barba-Rodríguez, Irene:
IMPROVING THE COMPUTATIONAL EFFICIENCY IN SYMMETRICAL NUMERIC CONSTRAINT SATISFACTION PROBLEMS. Lecture Notes in Computer Science. 2006. Vol: 4177. Pág. 269-279.
Valle-Sevillano, Carmelo Del;Toro-Bonilla, Miguel;Fernández-Camacho, Eduardo;Martínez-Gasca, Rafael:
COMBINING HEURISTICS IN ASSEMBLY SEQUENCE PLANNING. Frontiers in Artificial Intelligence and Applications. 2005. Vol: 117. Pág. 99-108.
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.
Márquez-Hernández, Antonio Ángel;Valle-Sevillano, Carmelo Del;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
A CONSTRAINT-BASED ALGORITHM FOR PLANNING THE SUBSTITUTION OF FAULTY PARTS. Frontiers in Artificial Intelligence and Applications. 2005. Núm: 117. Pág. 79-88.
Gómez-López, Mª Teresa;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del;De La Rosa-Troyano, Fco Fernando:
QUERYING A POLYNOMIAL OBJECT-RELATIONAL CONSTRAINT DATABASE IN MODEL-BASED DIAGNOSIS. Lecture Notes in Computer Science. 2005. Vol: 3588. Pág. 848-857.
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.
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.
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.
Valle-Sevillano, Carmelo Del;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel;Fernández-Camacho, Eduardo:
A GENETIC ALGORITHM FOR ASSEMBLY SEQUENCE PLANNING. Lecture Notes in Computer Science. 2003. Vol: 2687. Pág. 337-344.
Riquelme-Santos, José Cristóbal;Aguilar-Ruiz, Jesus Salvador;Valle-Sevillano, Carmelo Del:
SUPERVISED LEARNING BY MEANS OF ACCURACY-AWARE EVOLUTIONARY ALGORITHMS*1. Information Sciences. 2003. Vol: 156. Núm: 3-4. Pág. 173-188.
Valle-Sevillano, Carmelo Del;Márquez-Hernández, Antonio Ángel;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
ON SELECTING AND SCHEDULING ASSEMBLY PLANS USING CONSTRAINT PROGRAMMING. Lecture Notes in Computer Science. 2003. Vol: 2774. Pág. 1329-1336.
Aguilar-Ruiz, Jesus Salvador;Riquelme-Santos, José Cristóbal;Valle-Sevillano, Carmelo Del:
IMPROVING THE EVOLUTIONARY CODING FOR MACHINE LEARNING TASKS. Frontiers in Artificial Intelligence and Applications. 2002. Vol: 77. Pág. 173-177.
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.
Valle-Sevillano, Carmelo Del;Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Gómez-López, Mª Teresa:
UN MODELO CSP PARA PLANIFICACIÓN DE LA SUSTITUCIÓN ÓPTIMA DE PIEZAS DEFECTUOSAS. Inteligencia Artificial. 2002. Vol: VI/02. Núm: 17. Pág. 83-92.
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;Fernández-Camacho, Eduardo:
AUTOMATIC ASSEMBLY TASK ASSIGNMENT FOR A MULTIROBOT ENVIRONMENT. Control Engineering Practice. 1996. Vol: 4. Núm: 7. Pág. 915-921.

Tesis dirigidas o codirigidas

Jiménez-Ramírez, Andrés:
Supporting Users During the Execution of Declarative Business Process Models in Scenarios Subject to Uncertainty. Tesis Doctoral. 2014
Barba-Rodríguez, Irene:
Constraint-based Planning and Scheduling Techniques for the OptimizedManagement of Business Processes. Tesis Doctoral. 2012
Ceballos-Guerrero, Rafael:
Técnicas Automáticas para la Diagnosis de Errores en Software Diseñado por Contrato. Tesis Doctoral. 2011
Gómez-López, Mª Teresa:
LORCDB: GESTOR DE BASES DE DATOS OBJETO-RELACIONALES DE RESTRICCIONES. Tesis Doctoral. 2007