Universidad de Sevilla

Vicerrectorado de Investigación

Ficha personal - Carmelo del Valle Sevillano


Carmelo del Valle Sevillano
Telefono: 954552771
Email: Solicitar correo
Perfil en ORCID: 0000-0003-0155-4841
Perfil en WOS: L-4202-2014
Perfil en Scopus: 8928660500
Perfil en Dialnet: 3129996

Grupo de Investigación: Engineering and Science for Software Systems
Departamento/Unidad: Lenguajes y Sistemas Informáticos
Situación profesional: Profesor Titular de Universidad

Responsable de los siguientes proyectos/ayudas en la US:

  • Proyecto de investigación:
    • Dlgitalization of ground-testing Life cycle with ECO design criteria (PI012-18/E30)
    • Técnicas para la diagnosis, confiabilidad y optimización en los sistemas de gestión de procesos de negocio (TIN2009-13714)

  • Contrato con empresas (Arts. 68/83 LOU):
    • FALcODE -Investigacion para Optimización del Proceso de Etiquetado Inteligente para La Recepción de Materiales en Fal L Ta Systems Engineering (P003-18/E30)
    • Nuevos Sistemas para Soporte a Operarios en Taller, Apoyo a Ingeniería de Fabricación y Formación en Procesos Industriales con Explotación en Tiempo Real de la Información de los Sistemas PLM–MIRFLEX (P047-18/E30)
    • Skill Transfer SAMBA LASER (P059-18/E30)
    • CIG: Customer Inspection Gulde (P040-17/E30)
    • Samba-Laser: Integración con SIPLA (P049-17/E30)
    • BOSS: Business Operations Systems) (P050-17/E30)
    • ARIADNE-Value Chain: From IDMU to Lean Documentation for Assembly (P054-15/E30)
    • Samba-Laser: Desarrollos para M&L (P092-16/E30)
    • Digital Factory Laser projection for assemblies and verification (P115-16/E30)
    • MIRA:Laser Projection for Assemblies and Verification (P116-16/E30)
    • Andalus: Universal Augmented Reality Assembly Support for Brackets (P043-15/E30)
    • factoriEs Of the future. industrial develOpment (EOLO) (P023-13/E08)
    • GEOLIA-first Generation of aErospace iDMU cOncept impLemention And deployment (P025-13/E08)
    • Transferencia de conocimiento de los resultados de CALIPSOneo para el proyecto EOLO. (P097-13/E08)
    • CALIPSONeo: Soluciones Aeronáuticas Avanzadas usando Procesos y Herramientas PLM (P051-12/E08)
    • Estudios para el Desarrollo de un Sistema de Información para la Programación Avanzada de Montajes Aeronáuticos (PAM) (P041-07/E08)
    • Evaluación de proyecto empresarial (Proyecto Campus) (OG-147/06)

  • Ayuda a la investigación:

Participa en los siguientes proyectos/ayudas en la US:

  • Proyecto de investigación:
    • Aseguramiento Temprano de la Calidad en Entornos Novedosos de Producción de Software (PID2022-137646OB-C31 - Equipo de Investigación)
    • Nuevas Iniciativas para el Aseguramiento Temprano de la Calidad Funcional y no Funcional en Procesos y Productos Software Orientados al Usuario (PID2019-105455GB-C31 - Equipo de Investigación)
    • NDT 4.0. Mecanismos para el diseño y gestión de software orientados al usuario (US-1251532 - Equipo de Investigación)
    • Explorando Soluciones Guiadas para Sistematizar el Aseguramiento Temprano de la Calidad del Software (TIN2016-76956-C3-2-R - Equipo de Investigación)
    • Mecanismos Guiados en Etapas Tempranas para la Mejora del Software (TIN2013-46928-C3-3-R - Equipo Trabajo (Alta/Baja))
    • Opbus: Mejora de la Calidad de Procesos de Negocios Mediante Tecnologías de Optimización y Tolerancia a Fallos (P08-TIC-04095 - Investigador)
    • Automatización de la detección, diagnosis y tolerancia a fallos en sistemas con incertidumbre y en sistemas distribuidos (DPI2006-15476-C02-01 - Investigador)
    • Automatización de la detección y diagnosis de fallos de sistemas estáticos y dinámicos usando conocimiento semicualitativo (DPI2003-07146-C02-01 - Investigador)
    • Control predictivo para procesos con incertidumbre acotadas (DPI2002-04375-C03-01 - Investigador)

  • Contrato con empresas (Arts. 68/83 LOU):
    • AVIOL-Asistente Virtual Interactivo: Información para Orientación Laboral (P040-07/E08 - Investigador)

  • Ayuda a la investigación:
    • Incentivo al Grupo de Investigación TIC-021 (2017/TIC-021 - Investigador)
    • Incentivo al Grupo de Investigación TIC-134 (2011/TIC-134 - Investigador)
    • Incentivo al Grupo de Investigación TIC-134 (2010/TIC-134 - Investigador)
    • Definición de procesos basados en el estándar ISO IEC 29119 software testing estándar en colaboración con socios internacionales (OTR2010-PC21 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2009/TIC-134 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2008/TIC-134 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2007/TIC-134 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2006/TIC-134 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2005/TIC-134 - Investigador)
    • Organización del Congreso Iberoamericano de Inteligencia Artificial IBERAMIA 2002. Programa Nacional: Tecnologías de la Información y las Comunicaciones (TIC2001-4480-E - Investigador)

Cobertura de la base de datos de proyectos, véase aqui


Publicaciones:

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. Pag. 49-58. En: Sistemas Cualitativos y Diagnosis. Sevilla,. Eds. J.A. Ortega, X. Parra y B. Pulido. 2002. ISBN 84-95499-62-2

De la Rosa Troyano, Fco Fernando, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Ceballos Guerrero, Rafael:
Arquitectura de un Crawler para Extraer las Estructuras y Contenidos de Recursos Electrónicos. Pag. 259-268. En: VII Jornadas de Ingeniería del Software y Bases de Datos. El Escorial, España. Universidad Politécnica de Madrid. 2002. ISBN 84-688-0206-9

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. EEUU. 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. Ed. 1995. Oxford, Gran Bretaña. 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. 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. 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. Pag. 61-84. 10.1016/J.datak.2013.01.004

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. Pag. 195-210. 10.1007/978-3-642-31072-0_14

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. Pag. 135-140. 10.1007/978-3-642-28108-2_12

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

Ceballos Guerrero, Rafael, Gómez López, Mª Teresa, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del:
A Compiled Model for Faults Diagnosis Based on Different Techniques. En: AI communications. 2007. Vol. 20. Núm. 1. Pag. 7-16

Martínez Gasca, Rafael, Gómez López, Mª Teresa, Valle Sevillano, Carmelo del, Ceballos Guerrero, Rafael:
Nmus: Structural Analysis for Improving Thederivation of All Muses in Overconstrained Numeric Csps. En: Lecture Notes in Computer Science. 2007. Pag. 160-169

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Gómez López, Mª Teresa:
Integración de Técnicas Basadas en Modelos para la Determinación de la Diagnosis Mínima de un Sistema. En: Inteligencia Artificial. 2006. Vol. 10. Núm. 31. Pag. 41-51

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Borrego Núñez, Diana:
Diagnosing Errors in Dbc Programs Using Constraint Programming. En: Lecture Notes in Computer Science. 2006. Vol. 4177. Pag. 200-210

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del:
A Topological-Based Method for Allocating Sensors by Using CSP Techniques. En: Lecture Notes in Computer Science. 2006. Vol. 4177. Pag. 62-68

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. Pag. 269-279

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Pozo Hidalgo, Sergio:
An Integration of Fdi and Dx Techniques for Determining the Minimal Diagnosis in an Automatic Way. En: Lecture Notes in Computer Science. 2005. Vol. 3789. Pag. 1082-1092

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. Pag. 848-857

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. Pag. 99-108

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. Núm. 117. Pag. 79-88

Gómez López, Mª Teresa, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del:
Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-Based Diagnosis. En: Lecture Notes in Computer Science. 2004. Vol. 3074. Pag. 74-87

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

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. Pag. 1329-1336

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. Pag. 337-344

Ceballos Guerrero, Rafael, Valle Sevillano, Carmelo del, Gómez López, Mª Teresa, Martínez Gasca, Rafael:
CSP Aplicados a la Diagnosis Basada en Modelos. En: Inteligencia Artificial. 2003. Núm. 20. Pag. 137-150

Gómez López, Mª Teresa, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Ceballos Guerrero, Rafael:
CSP y Bases de Datos Restrictivas. En: Inteligencia Artificial. 2003. Núm. 20. Pag. 151-163

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

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. Pag. 173-177

Valle Sevillano, Carmelo del, Toro Bonilla, Miguel, Ceballos Guerrero, Rafael, Aguilar Ruiz, Jesus Salvador:
A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning. En: Lecture Notes in Computer Science. 2002. Vol. 2527. Pag. 835-844

Ceballos Guerrero, Rafael, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, et. al.:
Max-CSP Approach for Software Diagnosis. En: Lecture Notes in Computer Science. 2002. Vol. 2527. Pag. 172-181

Valle Sevillano, Carmelo del, 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, 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, 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. 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. Actas de las XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010). 11. 22

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. Praga, República Checa. 2010. Isd 2010 ¿ 19th International Conference on Information Systems Development. 0. 0

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. Milán. 2009. Proceedings 6th International Conference on Informatics in Control, Automation and Robotics (Icinco 2009). 355. 358

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. Mallorca, España. 2009. In 14th International Conference on Emerging Technologies and Factory Automation, ETFA 2009. 1. 12

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. San Sebastián, España. 2009. (JISBD 2009)-Adis 2009:IX Taller de Apoyo a la Decisión en Ingeniería del Software (Año:2009, Difusión: Internacional). 1. 12

Barba Rodríguez, Irene, Valle Sevillano, Carmelo del, Borrego, Diana:
Pddl Specification for Multi-Objective Repair Planning. Ponencia en Taller de trabajo. CAEPIA-TTIA Conference. 2009. Actas de la CAEPIA-TTIA 2009. 21. 33

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. 2008. Actas del I Congreso Internacional de Profesorado Principiante e Inserción Profesional a la Docencia. 0. 0

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. Lisboa (Portugal). 2008. Pscs'08: Iberamia 2008 Workshop on Planning, Scheduling and Constraint Satisfaction. 7. 18

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. Salamanca, España. 2007. Planning, Scheduling and Constraint Satisfaction. 176. 180

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. Salamanca, España. 2007. XII Congreso de la Asociación Española para la Inteligencia Artificial: CAEPIA 2007. 347. 356

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. Viena, Austria. 2006. 20th International Conference on Advanced Information Networking and Applications. 866. 870

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. Pekín, China. 2006. Symposium on Fault Detection, Supervision and Safety of Technical Processes. 301. 306

Gómez López, Mª Teresa, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del:
Improving the Determination of Minimal Hitting Sets in Model-Based Diagnosis. Comunicación en congreso. Dx-05. Monterey, California, USA. 2005. 16th International Workshop on Principles on Diagnosis. 61. 66

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 Igualdad. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2005. 2005

Ceballos Guerrero, Rafael, Gómez López, Mª Teresa, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del:
A Model Integration of Dx and Fdi Techniques for Automatic Determination of Minimal Diagnosis. Comunicación en congreso. Ijcai-05, 2nd Monet Workshop on Model-Based Systems. Edimburgo, Escocia. 2005. Ijcai-05, 2nd Monet Workshop on Model-Based Systems. 11. 16

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del:
A Topological-Based Method for Allocating Sensors by Using CSP Techniques. Comunicación en congreso. CAEPIA 2005. XI Conferencia de la Asociación Española para la Inteligencia Artificial. Santiago de Compostela. 2005

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Borrego, Diana:
Diagnosing Errors in Dbc Programs Using Constraint Programming. Comunicación en congreso. CAEPIA 2005. XI Conferencia de la Asociación Española para la Inteligencia Artificial. Santiago de Compostela. 2005

Ceballos Guerrero, Rafael, Gómez López, Mª Teresa, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del:
The Minimal Diagnosis Determination by Using an Integration of Model-Based Techniques. Comunicación en congreso. CAEPIA 2005. XI Conferencia de la Asociación Española para la Inteligencia Artificial. Santiago de Compostela. 2005

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del:
Diagnosis en Modelos Intervalares Usando Técnicas Max-CSP. Comunicación en congreso. IV Jornadas Arca Sistemas Cualitativos y Diagnosis. Benalmadena, Spain. 2005. VII Jornadas de Arca Sistemas Cualitativos y Diagnosis (Jarca). 61. 68

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. . Barcelona, España. 2005. Computational Intelligence and Bioinspired Systems, Proceedings: Lecture Notes in Computer Science. 269. 279

Gómez López, Mª Teresa, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del:
Constraint Databases Technology for Polynomial Models Diagnosis. Comunicación en congreso. Dx-04. Carcassonne, Francia. 2004. 15th International Workshop on Principles of Diagnosis. 215. 220

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Toro Bonilla, Miguel:
Interval Model-Based Diagnosis Using Constraint Programming. Comunicación en congreso. Wac. Santander (ESPAÑA). 2004. World Automation Congress. 710. 721

Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Ceballos Guerrero, Rafael, Toro Bonilla, Miguel:
An Integration of Fdi and Dx Approaches to Polynomial Models. Comunicación en congreso. Fourteenth International Worksop on Principles of Diagnosis. Washington D.C., USA. 2003. Dx-03 Fourteenth International Worksop on Principles of Diagnosis. 153. 158

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. Proceedings of the 2003 IEEE International Symposium on Assembly and Task Planning (ISATP2003). 103. 108

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. San Sebastián. 2003. CAEPIA-TTIA 2003. X Conferencia de la Asocicación Española para la Inteligenciia Artificial. 469. 472

Gómez López, Mª Teresa, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Ceballos Guerrero, Rafael:
Arquitectura para la Consulta a Bases de Datos Restrictivas. Comunicación en congreso. Jornadas de Ingeniéria del Software y Bases de Datos . Alicante. 2003

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, De la Rosa Troyano, Fco Fernando:
A Constraint Programming Approach for Software Diagnosis. Comunicación en congreso. Aadebug 2003, Fifth International Workshop on Automated Debugging . Ghent (Bélgica). 2003. Proceedings of the Fifth International Workshop on Automated Debugging (Aadebug 2003). 187. 196

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. Menorca, España. 2003. Proceedings of the 7th International Work-Conference on Artificial and Natural Neural Networks. (IWANN 2003). 337. 344

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Toro Bonilla, Miguel:
A Constraint-Based Methodology for Software Diagnosis. Comunicación en congreso. CP 2002, 8th International Conference on Principles and Practice of Constraint Programming. Ithaca. 2002. Constraints in Formal Verification Wokshop. 30. 38

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Toro Bonilla, Miguel:
Diagnosis Software Usando Técnicas Max-CSP. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos. Madrid (España). 2002

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Toro Bonilla, Miguel:
Diagnosis Basada en Modelos para la Depuración de Software Mediante Técnicas Simbólicas. Comunicación en congreso. Jornadas Arca Sistemas Cualitativos y Diagnosis. Vilanova I la Geltru, Barcelona. 2002. IV Jornadas Arca Sistemas Cualitativos y Diagnosis. 23. 32

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. Santander (ESPAÑA). 2002. I Workshop de Planificación, Scheduling y Razonamiento Temporal. 81. 90

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. 2002. 15th Triennial World Congress of the International Federation of Automatic Control. CD. ROM

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. Third International Naiso Symposium on Engineering of Intelligent Systems - EIS 2002. 100030-04-CD-080

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. Vilanova I la Geltru, Barcelona. 2002. IV Jornadas Arca Sistemas Cualitativos y Diagnosis. 49. 58

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. Gijón, España. 2001. Actas de la IX Conferencia de la Asociacion Española de Inteligencia Artificial. IV Jornadas de Transferencia Tecnológica de Inteligencia Artificial. 795. 804

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. Gijon (España). 2001. Actas del V Taller de Razonamiento Temporal, Espacial y Planificacion (Tarrat 2001). Raz2-1. Raz2-10

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. Santander (ESPAÑA). 2001. Tecnología de la Informacion en la Educación Superior. 1. 3

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. Proceedings of the III Imacs/IEEE Cscc'99. 7341. 7346

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. Actas Tarrat'99. 31. 39

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. Tenerife (España). 1998. Proceedings of the International Icsc Symposium on Engineering of Intelligent Systems. 303. 309

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. Malaga, España. 1997. Actas de la VII Conferencia de la Asociacion Española de Inteligencia Artificial (CAEPIA 97). 115. 124

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. Actas de las II Jornadas de Informatica. 285. 294

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. Baden-Baden, Alemania. 1994. Preprints of the IFAC Coference on Integrated Systems Engineering. 317. 322

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. Santander (ESPAÑA). 1991. Jornadas de Control Inteligente. 81. 90

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

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