VALLE SEVILLANO, CARMELO DEL

Perfil en ORCID: 0000-0003-0155-4841

Perfil en ResearcherID: L-4202-2014

Perfil en Scopus: 8928660500\

Perfil en Dialnet: 3129996

Grupos de Investigación

• Engineering and Science for Software Systems

Responsable de los siguientes proyectos/ayudas en la US

Proyectos:

• Dlgitalization of ground-testing Life cycle with ECO design criteria ( PI012-18/E30 ).
• TECNICAS PARA LA DIAGNOSIS, CONFIABILIDAD Y OPTIMIZACION EN LOS SISTEMAS DE GESTION DE PROCESOS DE NEGOCIO ( TIN2009-13714 ).

Contratos:

• BOSS: Business Operations Systems) ( P050-17/E30 ).
• 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 ).
• FALcODE -Investigacion para Optimización del Proceso de Etiquetado Inteligente para La Recepción de Materiales en Fal LTa Systems Engineering ( P003-18/E30 ).
• Asesoramiento Técnico para la Optimización de Publicaciones en Redes Sociales ( P105-16/E30 ).
• CIG: Customer Inspection Gulde ( P040-17/E30 ).
• ARIADNE - Value Chain: From IDMU to Lean Documentation for Assembly ( P054-15/E30 ).
• Samba-Laser: Integración con SIPLA ( P049-17/E30 ).
• MIRA: Laser Projection for Assemblies and Verification ( P116-16/E30 ).
• Digital Factory: Laser projection for assemblies and verification ( P115-16/E30 ).
• SAMBA-LASER: Desarrollos para M&L ( P092-16/E30 ).
• EOLO-II - factoriEs Of the future. industrial develOpment ( P023.1-13/E08 ).
• Andalus: Universal Augmented Reality Assembly Support for Brackets ( P043-15/E30 ).
• GEOLIA III - first Generation of aErospace iDMU cOncept impLemention And deployment ( P025.1-13/E08 ).
• CALIPSO-Transfer - Transferencia de conocimiento de los resultados de CALIPSOneo para el proyecto EOLO. ( P097-13/E08 ).
• EOLO- factoriEs Of the future. industriaL develOpment ( P023-13/E08 ).
• GEOLIA- first Generation of aErospace iDMU cOncept impLementIon And deployment ( P025-13/E08 ).
• CALIPSONeo: Soluciones Aeronáuticas Avanzadas usando Procesos y Herramientas PLM ( P051-12/E00 ).
• Estudios para el Desarrollo de un Sistema de Información para la Programación Avanzada de Montajes Aeronáuticos (PAM) ( P041-07/E08 ).

Participa los siguientes proyectos/ayudas en la US

Proyectos:

• 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).
• 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).
• 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).
• TELMEDIA .MONITORIZACIÓN Y DETECCIÓN REMOTA DE DESVIACIONES EN TERAPIAS CON TÉCNICAS INTELIGENTES ( SIN REFERENCIA - Investigador/a).
• CONTROL PREDICTIVO PARA PROCESOS CON INCERTIDUMBRE ACOTADAS ( DPI2002-04375-C03-01 - 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).
• TELECARE. A MULTI-AGENT TELESUPERVISION SYSTEM FOR ELDERLY CARE, COLABORANDO CON SKILL -CONSEJEROS DE GESTIÓN, SL ( IST-2000-27607 - Investigador/a).
• RED TEMÁTICA NACIONAL SOBRE PLANIFICACIÓN, SECUENCIACIÓN Y RAZONAMIENTO TEMPORAL ( TIC2001-4936-E - 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).
• RED DE INVESTIGACIÓN SOBRE DIAGNOSIS Y RAZONAMIENTO CUALITATIVO ( DPI2001-4404-E - Investigador/a).
• AUTOCOD-AUTOMATIZACION DEL CONTROL DIMENSIONAL EN LA INDUSTRIA NAVAL ( 37 - Investigador/a).
• RED TEMÁTICA EN DESARROLLO DE MÉTODOS INTERVALARES Y SUS APLICACIONES EN INGENIERÍA ( DPI2000-2615-E - Investigador/a).
• ACCIÓN COORDINADA DE ESTUDIOS INFORMÉTRICOS Y RAZONAMIENTO CUALITATIVO/CUANTITATIVO ( LJC/GGM - Investigador/a).
• TÉCNICAS DE CONTROL PREDICTIVO DE PROCESOS INDUSTRIALES ( TAP-96-884 - Investigador/a).
• ESTRUCTURAS AVANZADAS DE CONTROL PARA PROCESOS INDUSTRIALES ( CICYT - TAP-93-0408 - Investigador/a).
• AUTOMATIZACIÓN DEL RAZONAMIENTO CUALITATIVO EN SISTEMAS DINÁMICOS COMPLEJOS ( TIC94-0282 - Investigador/a).
• Red Temática Mexicana en Ingeniería del Software ( 000000000244467 - ).
• OPBUS:MEJORA DE LA CALIDAD DE PROCESOS DE NEGOCIOS MEDIANTE TECNOLOGÍAS DE OPTIMIZACIÓN Y TOLERANCIA A FALLOS ( P08-TIC-4095 - Investigador/a).

Publicaciones

Capítulo de Libros:

• 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. UNIVERSIDAD POLITÉCNICA DE MADRID. 2002. ISBN 84-688-0206-9
• 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. Pag. 49 - 58. En: SISTEMAS CUALITATIVOS Y DIAGNOSIS. EDS. J.A. ORTEGA, X. PARRA Y B. PULIDO. 2002. ISBN 84-95499-62-2
• Valle-Sevillano, Carmelo Del, Fernández-Camacho, Eduardo:
  BINARY VS SYMBOLIC CHROMOSOMAL ENCODING IN GA-BASED SELECTION OF ASSEMBLY TALKS. Pag. 145 - 150. En: ADVANCES IN SYSTEMS SCIENCE: MEASUREMENT, CIRCUITS AND CONTROL. World Scientific Publishing. 2001. ISBN 960-8052-39-4
• Valle-Sevillano, Carmelo Del, Fernández-Camacho, Eduardo:
  Automatic Assembly Task Assignment for a Multirobot Environment.. Pag. 293 - 298. En: INTEGRATED SYSTEMS ENGINEERING: A POSTPRINT VOLUME FROM THE IFAC CONFERENCE, BADEN-BADEN, GERMANY, 27-29 SEPTEMBER 1994. ELSEVIER SCIENCE. 1995. ISBN 0-08-042361-2

Publicaciones en Revistas:

• 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. En: Knowledge and Information Systems. 2018. Vol. 57. Núm. 3. Pag. 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. En: Information and Software Technology. 2015. Vol. 57. Núm. . Pag. 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. En: International Journal of Cooperative Information Systems. 2013. Vol. 22. Núm. 2. Pag. - 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. En: Data and Knowledge Engineering. 2013. Vol. 86. Núm. . Pag. 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. En: Lecture Notes In Business Information Processing. 2012. Vol. I. Núm. . Pag. 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. En: Lecture Notes In Business Information Processing. 2012. Vol. 113. Núm. . Pag. 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. En: International Journal of Software Engineering and Its Applications. 2010. Vol. 4. Núm. 4. Pag. 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. En: Journal of Intelligent Manufacturing. 2010. Vol. 21. Núm. 1. Pag. 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. En: Data and Knowledge Engineering. 2009. Vol. 68. Núm. 1. Pag. 146-172
• 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. Vol. . Núm. . Pag. 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. En: AI communications. 2007. Vol. 20. Núm. 1. Pag. 7-16
• 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. Núm. . Pag. 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. En: Inteligencia Artificial. 2006. Vol. 10. Núm. 31. Pag. 41-51
• Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del, Barba-Rodríguez, Irene:
  IMPROVING THE COMPUTATIONAL EFFICIENCY IN SYMMETRICAL NUMERIC CONSTRAINT SATISFACTION PROBLEMS. En: Lecture Notes in Computer Science. 2006. Vol. 4177. Núm. . Pag. 269-279
• 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. Núm. . Pag. 62-68
• 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. En: Frontiers in Artificial Intelligence and Applications. 2005. Vol. . Núm. 117. Pag. 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. En: Lecture Notes in Computer Science. 2005. Vol. 3588. Núm. . Pag. 848-857
• 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. Núm. . Pag. 1082-1092
• Valle-Sevillano, Carmelo Del, Toro-Bonilla, Miguel, Fernández-Camacho, Eduardo, Martínez-Gasca, Rafael:
  COMBINING HEURISTICS IN ASSEMBLY SEQUENCE PLANNING. En: Frontiers in Artificial Intelligence and Applications. 2005. Vol. 117. Núm. . Pag. 99-108
• 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. Núm. . Pag. 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.. En: Inteligencia Artificial. 2003. Vol. . Núm. 20. Pag. 137-150
• Valle-Sevillano, Carmelo Del, Martínez-Gasca, Rafael, Toro-Bonilla, Miguel, Fernández-Camacho, Eduardo:
  A GENETIC ALGORITHM FOR ASSEMBLY SEQUENCE PLANNING. En: Lecture Notes in Computer Science. 2003. Vol. 2687. Núm. . Pag. 337-344
• 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. Vol. . Núm. 20. Pag. 151-163
• 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. En: Lecture Notes in Computer Science. 2003. Vol. 2774. Núm. . Pag. 1329-1336
• Riquelme-Santos, José Cristóbal, Aguilar-Ruiz, Jesus Salvador, Valle-Sevillano, Carmelo Del:
  SUPERVISED LEARNING BY MEANS OF ACCURACY-AWARE EVOLUTIONARY ALGORITHMS*1. En: Information Sciences. 2003. Vol. 156. Núm. 3-4. Pag. 173-188
• 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. En: Lecture Notes in Computer Science. 2002. Vol. 2527. Núm. . 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. Núm. . Pag. 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. En: Lecture Notes in Computer Science. 2002. Vol. 2527. Núm. . Pag. 172-181
• Aguilar-Ruiz, Jesus Salvador, Riquelme-Santos, José Cristóbal, Valle-Sevillano, Carmelo Del:
  IMPROVING THE EVOLUTIONARY CODING FOR MACHINE LEARNING TASKS. En: Frontiers in Artificial Intelligence and Applications. 2002. Vol. 77. Núm. . Pag. 173-177
• 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. En: Inteligencia Artificial. 2002. Vol. VI/02. Núm. 17. Pag. 83-92
• Valle-Sevillano, Carmelo Del, Fernández-Camacho, Eduardo:
  AUTOMATIC ASSEMBLY TASK ASSIGNMENT FOR A MULTIROBOT ENVIRONMENT. En: Control Engineering Practice. 1996. Vol. 4. Núm. 7. Pag. 915-921

Aportaciones 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, 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, 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, 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, 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:
  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:
  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, 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, 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 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 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
• 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, 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:
  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
• 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
• 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
• 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, 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:
  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
• 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:
  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
• 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
• 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, 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, 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
• 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
• 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
• 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
• 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
• 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, 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 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
• 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:
  A Clp Approach for Assembly Sequence Planning. Ponencia en Congreso. Third International Naiso Symposium on Engineering of Intelligent Systems. MALAGA (ESPAÑA). 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
• 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, 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, 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, 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, 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, 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

Tesis dirigidas y co-dirigidas:

• 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