Ver Investigador - - Prisma - Unidad de Bibliometría

Carmelo Del Valle Sevillano

Profesor Titular de Universidad
carmelo@us.es
Área de conocimiento: Lenguajes y Sistemas Informáticos
Departamento: Lenguajes y Sistemas Informáticos
Grupo: Engineering and Science for Software Systems - TIC-021 (Universidad de Sevilla)
Instituto de Inv.: I3US
Prog. doctorado: INGENIERÍA INFORMÁTICA

Investiga en

Tipo Año Título Fuente
Capítulo2024 Discovering Two-Level Business Process Models from User Interface Event Logs Advanced Information Systems Engineering
Artículo2024 DPGraphJ: A Java package for the implementation of dynamic programming algorithms SoftwareX
Artículo2023 Automatic generation of incremental taxonomies for supporting the users in the development of an RPA project KNOWLEDGE AND INFORMATION SYSTEMS
Artículo2021 Flexible runtime support of business processes under rolling planning horizons EXPERT SYSTEMS WITH APPLICATIONS
Ponencia2021 Problem generalization for designing recursive algorithms Advances in Intelligent Systems and Computing
Ponencia2020 An innovative methodology to optimize aerospace eco-efficiency assembly processes IFIP Advances in Information and Communication Technology
Ponencia2020 Towards an OpenSource logger for the analysis of RPA projects Lecture Notes in Business Information Processing
Ponencia2019 A Method to Improve the Early Stages of the Robotic Process Automation Lifecycle ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2019)
Ponencia2019 Semantic Model-Driven PLM Data Interoperability: An Application for Aircraft Ground Functional Testing with Eco-Design Criteria ADVANCES IN PRODUCTION MANAGEMENT SYSTEMS: PRODUCTION MANAGEMENT FOR THE FACTORY OF THE FUTURE, PT I
Ponencia2018 A constraint-based approach for managing declarative temporal business process models Proceedings of the 27th International Conference on Information Systems Development: Designing Digitalization, ISD 2018
Ponencia2018 Clinical processes - The killer application for constraint-based process interactions? ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2018
Artículo2018 Time prediction on multi-perspective declarative business processes KNOWLEDGE AND INFORMATION SYSTEMS
Ponencia2018 Towards a new Tool for Managing Declarative Temporal Business Process Models JCIS 2018: XIV Jornadas de Ingeniería de Ciencia e Ingeniería de Servicios (2018).
Ponencia2017 Predicciones en Procesos de Negocio Declarativos JCIS 2017: XIII Jornadas de Ingeniería de Ciencia e Ingeniería de Servicios (2017).
Ponencia2017 Value Chain: From iDMU to Shopfloor Documentation of Aeronautical Assemblies PRODUCT LIFECYCLE MANAGEMENT AND THE INDUSTRY OF THE FUTURE
Ponencia2016 Providing support for the optimized management of declarative processes Actas de las 21st Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2016
Artículo2015 Generating optimized configurable business process models in scenarios subject to uncertainty INFORMATION AND SOFTWARE TECHNOLOGY
Ponencia2015 Patient lifecycle management: An approach for clinical processes BIOINFORMATICS AND BIOMEDICAL ENGINEERING (IWBBIO 2015), PT II
Ponencia2014 Automatic generation of questionnaires for managing configurable BP models ICAART 2014 - Proceedings of the 6th International Conference on Agents and Artificial Intelligence
Ponencia2014 Automatic generation of questionnaires for supporting users during the execution of declarative business process models Lecture Notes in Business Information Processing
Capítulo2014 Design Within Complex Environments: Collaborative Engineering in the Aerospace Industry Information system development: improving enterprise communication
Ponencia2013 Applying model-driven paradigm: CALIPSOneo experience CEUR workshop proceedings
Artículo2013 Automatic generation of optimized business process models from constraint-based specifications INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS
Ponencia2013 Generating multi-objective optimized business process enactment plans Lecture Notes in Computer Science
Ponencia2013 OptBPPlanner: Automatic Generation of Optimized Business Process Enactment Plans Building Sustainable Information Systems
Artículo2013 User recommendations for the optimized execution of business processes DATA & KNOWLEDGE ENGINEERING
Ponencia2012 Generating multi-objective optimized configurable business process models 2012 Sixth International Conference on Research Challenges in Information Science
Ponencia2012 Optimized Time Management for Declarative Workflows ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, BPMDS 2012
Ponencia2012 Supporting the Optimized Execution of Business Processes through Recommendations BUSINESS PROCESS MANAGEMENT WORKSHOPS, PT I
Ponencia2011 A constraint-based approach for planning and scheduling repeated activities COPLAS 2011 - Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems
Ponencia2011 Planning and scheduling of business processes in run-Time: A repair planning example Information Systems Development - Business Systems and Services: Modeling and Development
Artículo2010 A CSP model for simple non-reversible and parallel repair plans JOURNAL OF INTELLIGENT MANUFACTURING
Ponencia2009 A constraint-based job-shop scheduling model for software development planning ADIS 2009 - Apoyo a la Decision en Ingenieria del Software, Evento Realizado en el Marco de las 14th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2009
Ponencia2009 A constraint-based model for multi-objective repair planning ETFA 2009 - 2009 IEEE Conference on Emerging Technologies and Factory Automation
Artículo2009 Developing a labelled object-relational constraint database architecture for the projection operator DATA & KNOWLEDGE ENGINEERING
Artículo2007 A compiled model for faults diagnosis based on different techniques AI COMMUNICATIONS
Capítulo2007 Improving the determination of minimal hitting sets in model-based diagnosis using constraint databases Fault Detection, Supervision and Safety of Technical Processes 2006
Ponencia2007 Inferencia de crónicas temporales con programación lógica inductiva para predicción de evoluciones CAEPIA-TTIA 2007: actas
Ponencia2007 NMUS: structural analysis for improving the derivation of All MUSes in overconstrained numeric CSPs CAEPIA-TTIA 2007: actas
Artículo2006 A topological-based method for allocating sensors by using CSP techniques CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
Artículo2006 Diagnosing errors in DbC programs using Constraint Programming CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
Artículo2006 Improving the computational efficiency in symmetrical numeric constraint satisfaction problems CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
Ponencia2006 Improving the determination of minimal hitting sets in model-based diagnosis using constraint databases IFAC Proceedings Volumes (IFAC-PapersOnline)
Artículo2006 INTEGRACIÓN DE TÉCNICAS BASADAS EN MODELOS PARA LA DETERMINACIÓN DE LA DIAGNOSIS MÍNIMA DE UN SISTEMA Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial
Ponencia2005 A constraint-based algorithm for planning the substitution of faulty parts PLANNING, SCHEDULING AND CONSTRAINT SATISFACTION: FROM THEORY TO PRACTICE
Ponencia2005 A model integration of DX an FDI techniques for automatic determination of minimal diagnosis 2nd Workshop on Model-Based Systems (2005), pp. 11-16.
Artículo2005 An integration of FDI and DX techniques for determining the minimal diagnosis in an automatic way MICAI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE
Ponencia2005 Combining heuristics in assembly sequence planning PLANNING, SCHEDULING AND CONSTRAINT SATISFACTION: FROM THEORY TO PRACTICE
Ponencia2005 Diagnosis con variables intervalares usando técnicas Max-CSP VII Jornadas de ARCA.: Sistemas cualitativos y diagnosis
Capítulo2005 ORCDB: Arquitectura para la extensión de la semántica de SQL en bases de datos restrictivas orientadas a objetos con restricciones polinómicas de igualdad Actas de las X Jornadas de Ingeniería del Software y Bases de Datos
Artículo2005 Querying a polynomial object-relational constraint database in model-based diagnosis DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS
Ponencia2004 Constraint Databases Technology for Polynomial Models Diagnosis DX 2004: 15th International Workshop on Principles of Diagnosis (2004), pp. 215-..
Ponencia2004 Interval model-based diagnosis using constraint programming SOFT COMPUTING WITH INDUSTRIAL APPLICATIONS, VOL 17
Artículo2003 A genetic algorithm for assembly sequence planning ARTIFICIAL NEURAL NETS PROBLEM SOLVING METHODS, PT II
Ponencia2003 A scheduling approach to assembly sequence planning PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL SYMPOSIUM ON ASSEMBLY AND TASK PLANNING (ISATP2003)
Artículo2003 On selecting and scheduling assembly plans using constraint programming KNOWLEDGE-BASED INTELLIGNET INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS
Artículo2003 Supervised learning by means of accuracy-aware evolutionary algorithms INFORMATION SCIENCES
Ponencia2002 A model for assembly sequence planning in a multirobot environment IFAC Proceedings Volumes (IFAC-PapersOnline)
Ponencia2002 A pomset-based model for estimating Workcells? setups in assembly sequence planning Lecture Notes in Computer Science
Artículo2002 A pomset-based model for estimating workcells' setups in assembly sequence planning Advances in Artificial Intelligence - IBERAMIA 2002 : 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, proceedings
Capítulo2002 Arquitectura de un Crawler para extraer las estructuras y contenidos de recursos electrónicos VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002)
Ponencia2002 Diagnosis basada en modelos para la depuración de software mediante técnicas simbólicas. IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002).
Capítulo2002 Diagnosis de Software usando técnicas Max-CSP VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002)
Ponencia2002 Improving the evolutionary coding for machine learning tasks ECAI 2002: 15TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS
Artículo2002 Max-CSP approach for software diagnosis Advances in Artificial Intelligence - IBERAMIA 2002 : 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, proceedings
Ponencia2002 Plataformas tecnológicas para el desarrollo de teleformación Tecnologías de la información en el nivel de formación superior avanzada
Artículo2002 UN MODELO CSP PARA PLANIFICACIÓN DE LA SUSTITUCIÓN ÓPTIMA DE PIEZAS DEFECTUOSAS Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial
Ponencia2002 Un modelo de optimización CSP para la sustitución de piezas defectuosas diagnosticadas IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002).
Artículo1999 Binary vs symbolic chromosomal encoding in GA-based selection of optimal assembly sequences Advances in Intelligent Systems and Computer Science
Ponencia1997 Optimización de secuencias de ensamblaje mediante algoritmos genéticos con codificación binaria CAEPIA'97: actas
Ponencia1996 Algoritmo A* para la determinación de secuencias óptimas de ensamblaje II Jornadas de informática, Almuñécar (Granada), 15 al 19 de julio 1996: actas
Artículo1996 Automatic assembly task assignment for a multirobot environment CONTROL ENGINEERING PRACTICE

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/06/2020 31/05/2023 Investigador/a Nuevas Iniciativas para el Aseguramiento Temprano de la Calidad Funcional y no Funcional en Procesos y Productos Software Orientados al Usuario (PID2019-105455GB-C31) Ministerio de Ciencia, Innovación y Universidades (Nacional)
01/10/2006 30/09/2009 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) Ministerio de Educación y Ciencia (Nacional)
01/01/2010 31/12/2014 Responsable Técnicas para la diagnosis, confiabilidad y optimización en los sistemas de gestión de procesos de negocio (TIN2009-13714) Ministerio de Ciencia e Innovación (Nacional)
01/03/2018 31/10/2020 Responsable Dlgitalization of ground-testing Life cycle with ECO design criteria (PI012-18/E30) Comisión Europea (Europeo)
30/12/2016 29/12/2020 Investigador/a Explorando Soluciones Guiadas para Sistematizar el Aseguramiento Temprano de la Calidad del Software (TIN2016-76956-C3-2-R) Ministerio de Economía y Competitividad (Nacional)
13/01/2009 31/07/2011 Investigador/a Opbus: Mejora de la Calidad de Procesos de Negocios Mediante Tecnologías de Optimización y Tolerancia a Fallos (P08-TIC-04095) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
15/11/2003 15/11/2006 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) Ministerio de Ciencia y Tecnología (Nacional)
01/12/2002 30/11/2005 Investigador/a Control predictivo para procesos con incertidumbre acotadas (DPI2002-04375-C03-01) Ministerio de Ciencia y Tecnología (Nacional)
01/01/2014 31/12/2016 Investigador/a Mecanismos Guiados en Etapas Tempranas para la Mejora del Software (TIN2013-46928-C3-3-R) Ministerio de Economía y Competitividad (Nacional)
01/02/2020 31/01/2022 Investigador/a NDT 4.0. Mecanismos para el diseño y gestión de software orientados al usuario (US-1251532) Junta de Andalucía (Consejería de Economía y Conocimiento) (Autonómico)
01/09/2023 31/08/2026 Investigador/a Aseguramiento Temprano de la Calidad en Entornos Novedosos de Producción de Software (PID2022-137646OB-C31) Ministerio de Ciencia e Innovación (Nacional)

Contratos

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/07/2013 31/03/2015 Responsable GEOLIA-first Generation of aErospace iDMU cOncept impLemention And deployment (P025-13/E08) EADS - Construcciones Aeronáuticas, S.A.; Avanade Spain (Desconocido)
01/11/2013 28/02/2014 Responsable Transferencia de conocimiento de los resultados de CALIPSOneo para el proyecto EOLO. (P097-13/E08) EADS - Construcciones Aeronáuticas, S.A. (Desconocido)
01/12/2016 31/01/2017 Responsable MIRA:Laser Projection for Assemblies and Verification (P116-16/E30) Airbus Defence and Space S.A. (Desconocido)
04/10/2017 31/12/2017 Responsable CIG: Customer Inspection Gulde (P040-17/E30) Airbus Defence and Space S.A. (Desconocido)
04/10/2017 31/12/2017 Responsable Samba-Laser: Integración con SIPLA (P049-17/E30) Airbus Defence and Space S.A. (Desconocido)
05/01/2008 05/01/2009 Responsable Estudios para el Desarrollo de un Sistema de Información para la Programación Avanzada de Montajes Aeronáuticos (PAM) (P041-07/E08) EADS - Construcciones Aeronáuticas, S.A. (Desconocido)
01/02/2018 31/03/2018 Responsable 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) Airbus Defence and Space S.A. (Desconocido)
01/10/2018 31/12/2019 Responsable 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) Airbus Defence and Space S.A. (Desconocido)
20/03/2018 31/12/2018 Responsable Skill Transfer SAMBA LASER (P059-18/E30) Airbus Defence and Space S.A. (Desconocido)
24/01/2012 31/12/2013 Responsable CALIPSONeo: Soluciones Aeronáuticas Avanzadas usando Procesos y Herramientas PLM (P051-12/E08) EADS - Construcciones Aeronáuticas, S.A. (Desconocido)
01/07/2013 31/03/2015 Responsable factoriEs Of the future. industrial develOpment (EOLO) (P023-13/E08) EADS - Construcciones Aeronáuticas, S.A.; Glenser Aerospace, S.L.U. (Desconocido)
23/05/2016 30/12/2016 Responsable Samba-Laser: Desarrollos para M&L (P092-16/E30) Airbus Defence and Space S.A. (Desconocido)
01/11/2017 31/12/2019 Responsable BOSS: Business Operations Systems) (P050-17/E30) DEKRA Testing and Certification, S.A.U. (Desconocido)
18/02/2008 16/02/2009 Investigador/a AVIOL-Asistente Virtual Interactivo: Información para Orientación Laboral (P040-07/E08) Sadiel, S.A. (Desconocido)
01/04/2015 31/12/2015 Responsable Andalus: Universal Augmented Reality Assembly Support for Brackets (P043-15/E30) Airbus Defence and Space S.A. (Desconocido)
01/01/2016 31/12/2017 Responsable ARIADNE-Value Chain: From IDMU to Lean Documentation for Assembly (P054-15/E30) Airbus Defence and Space S.A. (Desconocido)
07/11/2006 07/11/2011 Responsable Evaluación de proyecto empresarial (Proyecto Campus) (OG-147/06) Universidad de Granada (Desconocido)
21/11/2016 21/02/2017 Responsable Digital Factory Laser projection for assemblies and verification (P115-16/E30) Airbus Defence and Space S.A. (Desconocido)

Ayudas

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
19/06/2002 18/06/2003 Investigador/a Organización del Congreso Iberoamericano de Inteligencia Artificial IBERAMIA 2002. Programa Nacional: Tecnologías de la Información y las Comunicaciones (TIC2001-4480-E) Ministerio de Ciencia y Tecnología (Nacional)
05/05/2010 30/09/2010 Investigador/a Definición de procesos basados en el estándar ISO IEC 29119 software testing estándar en colaboración con socios internacionales (OTR2010-PC21) Universidad de Sevilla (Oficina de Transferencia de Resultados de Investigación) (Local)

Redes de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/12/2015 30/11/2017 Responsable Red Temática para el desarrollo de soluciones software de calidad en entornos PLM (TIN2015-71938-REDT) Ministerio de Economía y Competitividad (Nacional)
El investigador no tiene ningún resultado de investigación asociado