Perfil del autor: Valle Sevillano, Carmelo del
Datos institucionales
Nombre | Valle Sevillano, Carmelo del |
Departamento | Lenguajes y Sistemas Informáticos |
Área de conocimiento | Lenguajes y Sistemas Informáticos |
Categoría profesional | Profesor Titular de Universidad |
Correo electrónico | Solicitar |
Estadísticas
-
Nº publicaciones
73
-
Nº visitas
6611
-
Nº descargas
13833
Publicaciones |
---|
Capítulo de Libro
Discovering Two-Level Business Process Models from User Interface Event Logs
(Springer Nature Switzerland, 2024)
The widespread adoption of Robotic Process Automation (RPA) to automate repetitive tasks has surged, utilizing front-end ... |
Artículo
Automatic generation of incremental taxonomies for supporting the users in the development of an RPA project
(Springer, 2023)
The robotic process automation (RPA) paradigm is a discipline that is becoming increasingly popular thanks to the great ... |
Artículo
Flexible runtime support of business processes under rolling planning horizons
(Elsevier, 2021)
This work has been motivated by the needs we discovered when analyzing real-world processes from the healthcare domain ... |
Ponencia
An Innovative Methodology to Optimize Aerospace Eco-efficiency Assembly Processes
(Springer, 2020)
Sustainability and eco-efficiency have been researched in multiple scientific papers since the last years. However the ... |
Ponencia
Problem Generalization for Designing Recursive Algorithms
(Springer, 2020)
This paper focuses on the difficulty for university students to acquire, within computational thinking, the skills to solve ... |
Ponencia
Towards an OpenSource Logger for the Analysis of RPA Projects
(Springer, 2020)
Process automation typically begins with the observation of humans conducting the tasks that will be eventually automated. ... |
Ponencia
Semantic Model-Driven PLM Data Interoperability: An Application for Aircraft Ground Functional Testing with Eco-Design Criteria
(Springer, 2019)
The latest developments in Model-Based Systems Engineering (MBSE) and Product Life-Cycle Management (PLM) are playing a ... |
Ponencia
A Method to Improve the Early Stages of the Robotic Process Automation Lifecycle
(Springer, 2019)
The robotic automation of processes is of much interest to organizations. A common use case is to automate the repetitive ... |
Ponencia
Clinical Processes - The Killer Application for Constraint-Based Process Interactions?
(Springer, 2018)
For more than a decade, the interest in aligning information systems in a process-oriented way has been increasing. To ... |
Ponencia
A constraint-based approach for managing declarative temporal business process models
(Association for Information Systems (AIS), 2018)
There is an increasing interest in aligning information systems in a process-oriented way. As an alternative of the ... |
Ponencia
Towards a new Tool for Managing Declarative Temporal Business Process Models
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2018)
Business processes which require a high flexibility are com- monly specified in a declarative (e.g., constraint-based) ... |
Artículo
Time prediction on multi-perspective declarative business processes
(Springer, 2018)
Process-aware information systems (PAISs) are increasingly used to provide flexible support for business processes. The ... |
Ponencia
Predicciones en Procesos de Negocio Declarativos
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2017)
La generación de predicciones sobre instancias de procesos de negocio permite anticipar problemas, evitar el incumplimiento ... |
Ponencia
Value Chain: From iDMU to Shopfloor Documentation of Aeronautical Assemblies
(Springer, 2017)
Competition in the aerospace manufacturing companies has led them to continuously improve the efficiency of their processes ... |
Ponencia
Providing Support for the Optimized Management of Declarative Processes
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016)
Declarative process models are becoming increasingly popular due to the high flexibility they offer to process participants. ... |
Ponencia
Patient Lifecycle Management: An Approach for Clinical Processes
(Springer, 2015)
Clinical processes can be described, inside the Biomedical scope, like a systematic guideline to assist practitioner and ... |
Artículo
Generating optimized configurable business process models in scenarios subject to uncertainty
(Elsevier, 2015)
Context: The quality of business process models (i.e., software artifacts that capture the relations between the organizational ... |
Tesis Doctoral
Supporting users during the execution of declarative business process models in scenarios subject to uncertainty
(2014)
La calidad de los modelos de los procesos de negocio (es decir, artefactos software que capturan las relaciones entre las ... |
Capítulo de Libro
Design Within Complex Environments: Collaborative Engineering in the Aerospace Industry
(Springer, 2014)
The design and the industrialization of an aircraft, a major component, or an aerostructure is a complex process. An ... |
Ponencia
Automatic Generation of Questionnaires for Supporting Users during the Execution of Declarative Business Process Models
(Springer, 2014)
When designing an imperative business process (BP) model, analysts have to face many design requirements (e.g., managing ... |
Ponencia
Automatic Generation of Questionnaires for Managing Configurable BP Models
(SciTePress, 2014)
Managing large collections of business process (BP) models is increasingly being necessary for organizations. For this, ... |
Ponencia
Applying model-driven paradigm: CALIPSOneo experience
(CEUR-WS.Org, 2013)
Model-Driven Engineering paradigm is being used by the research community in the last years, obtaining suitable results. ... |
Artículo
Automatic generation of optimized business process models from constraint-based specifications
(World Scientific, 2013)
Business process (BP) models are usually defined manually by business analysts through imperative languages considering ... |
Artículo
User recommendations for the optimized execution of business processes
(Elsevier, 2013)
In order to be able to flexibly adjust a company's business processes (BPs) there is an increasing interest in flexible ... |
Ponencia
Generating Multi-objective Optimized Business Process Enactment Plans
(Springer, 2013)
Declarative business process (BP) models are increasingly used allowing their users to specify what has to be done instead ... |
Ponencia
Optimized Time Management for Declarative Workflows
(Springer, 2012)
Declarative process models are increasingly used since they fit better with the nature of flexible process-aware information ... |
Ponencia
Generating Multi-objective Optimized Configurable Business Process Models
(IEEE Computer Society, 2012)
The manual specification of imperative business process (BP) models can be very complex and time-consuming, potentially ... |
Ponencia
OptBPPlanner: Automatic Generation of Optimized Business Process Enactment Plans
(Springer, 2012)
Unlike imperative models, the specifi cation of business process (BP) properties in a declarative way allows the user to ... |
Tesis Doctoral
Técnicas automáticas para la diagnosis de errores en software diseñado por contrato
(2011)
Cada vez más la calidad en los productos software es primordial. En el desarrollo del software los costes asociados a la ... |
Ponencia
Supporting the Optimized Execution of Business Processes through Recommendations
(Springer, 2011)
In order to be able to flexibly adjust a company’s business processes (BPs) there is an increasing interest in flexible ... |
Ponencia
A Planning and Scheduling Perspective for Designing Business Processes from Declarative Specifications
(SciTePress, 2011)
Usually, business process models are manually achieved by business analysts and most of current modelling languages are ... |
Tesis Doctoral
Constraint-based Planning and scheduling techniques for the optimized management of business processes
(2011)
Un proceso de negocio (business process, BP) se puede definir como un conjunto de actividades que se ejecutan de forma ... |
Artículo
A CSP model for simple non-reversible and parallel repair plans
(Springer, 2010)
Thiswork presents a constraint satisfaction problem (CSP) model for the planning and scheduling of disassembly and assembly ... |
Artículo |
Ponencia
Planning and Scheduling of Business Processes in Run-Time: A Repair Planning Example
(Springer, 2010)
Over the last decade, the efficient and flexible management of business processes has become one of the most critical ... |
Ponencia
A Constraint-based Model for Multi-objective Repair Planning
(IEEE Computer Society, 2009)
This work presents a constraint based model for the planning and scheduling of disconnection and connection tasks when ... |
Artículo
Developing a labelled object-relational constraint database architecture for the projection operator
(Elsevier, 2009)
Current relational databases have been developed in order to improve the handling of stored data, however, there are some ... |
Ponencia
A Multiobjective Constraint Optimization Model for Multimode Repair Plans
(SciTePress, 2009)
This work presents a constraint based model for the planning and scheduling of disconnection and connection tasks when ... |
Ponencia
A Constraint-based Job-Shop Scheduling Model for Software Development Planning
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2009)
This paper proposes a constraint-based model for the Job Shop Scheduling Problem to be solved using local search techniques. The ... |
Ponencia
Nuevas propuestas sobre evaluación alternativa para las asignaturas de programación en las Ingenierías en Informática
(Universidad de Sevilla, 2008)
En este trabajo se expone la experiencia de un equipo docente para la enseñanza de las asignaturas de programación de ... |
Ponencia
NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs
(Springer, 2007)
Models are used in science and engineering for experimentation, analysis, model-based diagnosis, design and ... |
Tesis Doctoral |
Artículo
Improving the determination of minimal hitting sets in model-based diagnosis using constraint databases
(Elsevier, 2006)
In model-based diagnosis, minimal hitting sets are usually used to identify which components may fail in a system. This ... |
Artículo
An integration of model-based techniques for determining the minimal diagnosis
(Asociación Española para la Inteligencia Artificial, 2006)
|
Artículo
Integración de técnicas basadas en modelos para la determinación de la diagnosis mínima de un sistema
(Asociación Española para la Inteligencia Artificial (AEPIA), 2006)
Actualmente son dos las comunidades que trabajan en la diagnosis basada en modelos, FDI y DX. Aunque sus investigaciones ... |
Ponencia
Distributed Model-Based Diagnosis using Object-Relational Constraint Databases
(IEEE Computer Society, 2006)
This work presents a proposal to diagnose distributed systems utilizing model-based diagnosis using distributed databases. ... |
Ponencia
Diagnosis con variables intervalares usando técnicas Max-CSP
(Edición Digital @tres, 2005)
En ingeniería son muchas las aplicaciones que usan modelos basados en variables y parámetros cuyos dominios aparecen ... |
Ponencia
Querying a Polynomial Object-Relational Constraint Database in Model-Based Diagnosis
(Springer, 2005)
Many papers related to Constraint Databases (CDBs) theories exist, including proposals that present frameworks for the ... |
Artículo
Combining Heuristics in Assembly Sequence Planning
(IOS Press, 2005)
Assembly Sequence Planning is tackled by modelling and solving a planning problem that considers the execution of the plan ... |
Ponencia
Diagnosing Errors in DbC Programs Using Constraint Programming
(Springer, 2005)
Model-Based Diagnosis allows to determine why a correctly designed system does not work as it was expected. In this paper, ... |
Ponencia
A Topological-Based Method for Allocating Sensors by Using CSP Techniques
(Springer, 2005)
Model-based diagnosis enables isolation of faults of a system. The diagnosis process uses a set of sensors (observations) ... |
Ponencia
An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way
(Springer, 2005)
Two communities work in parallel in model-based diagnosis: FDI and DX. In this work an integration of the FDI and the DX ... |
Ponencia
A model integration of DX an FDI techniques for automatic determination of minimal diagnosis
(2005)
Two communities work in parallel in model-based diagnosis: FDI and DX. In this work an integration of the FDI and the DX ... |
Ponencia
Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems
(Springer, 2005)
Models are used in science and engineering for experimentation, analysis, diagnosis or design. In some cases, they can be ... |
Ponencia
Constraint Databases Technology for Polynomial Models Diagnosis
(2004)
Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge of ... |
Ponencia
Interval model-based diagnosis using constraint programming
(IEEE Computer Society, 2004)
|
Ponencia
Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-Based Diagnosis
(Springer, 2004)
Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge ... |
Artículo
CSP aplicados a la diagnosis basada en modelos
(Asociación Española para la Inteligencia Artificial, 2003)
En las ´ultimas d´ecadas, parte de la comunidad cient´ıfica ha dedicado sus esfuerzos al desarrollo de una metodolog´ıa ... |
Artículo
CSP y Bases de Datos Restrictivas
(Asociación Española para la Inteligencia Artificial, 2003)
Las Bases de Datos Restrictivas se originaron ante la necesidad de representar de forma m´as compacta y modular datos de ... |
Ponencia
A Genetic Algorithm for Assembly Sequence Planning
(Springer, 2003)
This work presents a genetic algorithm for assembly sequence planning. This problem is more difficult than other sequencing ... |
Ponencia
On Selecting and Scheduling Assembly Plans Using Constraint Programming
(Springer, 2003)
This work presents the application of Constraint Programming to the problem of selecting and sequencing assembly operations. ... |
Ponencia
A scheduling approach to assembly sequence planning
(IEEE Computer Society, 2003)
This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The ... |
Artículo
Supervised learning by means of accuracy-aware evolutionary algorithms
(Elsevier, 2003)
This paper describes a new approach, HIerarchical DEcision Rules (HIDER), for learning generalizable rules in continuous ... |
Ponencia
Un modelo de optimización CSP para la sustitución de piezas defectuosas diagnosticadas
(Edición Digital @tres, 2002)
Este trabajo presenta un modelo CSP (Problema de Satisfacción de Restricciones) para el secuenciamiento óptimo de tareas ... |
Ponencia
Diagnosis basada en modelos para la depuración de software mediante técnicas simbólicas.
(Edición Digital @tres, 2002)
En la programación es esencial tener herramientas para la diagnosis del software que ayuden al programador y al ingeniero ... |
Ponencia
A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning
(Springer, 2002)
This paper presents a model based on pomsets (partially ordered multisets) for estimating the minimum number of setups in ... |
Ponencia
Improving the Evolutionary Coding for Machine Learning Tasks
(IOS Press, 2002)
The most influential factors in the quality of the solutions found by an evolutionary algorithm are a correct coding of ... |
Ponencia
A model for assembly sequence planning in a multirobot environment
(Elsevier, 2002)
This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The ... |
Ponencia
Max-CSP Approach for Software Diagnosis
(Springer, 2002)
In software development is essential to have tools for the software diagnosis to help the programmers and development ... |
Ponencia
Arquitectura de un crawler para extraer las estructuras y contenidos de recursos electrónicos
(Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2002)
|
Artículo
Un modelo CSP para la planificación de la sustitución óptima de piezas defectuosas
(AEPIA: Asociación Española para la Inteligencia Artificial, 2002)
La aplicación de métodos de diagnosis basada en modelos permite obtener los posibles componentes involucrados en el ... |
Tesis Doctoral |
Artículo
Automatic assembly task assignment for a multirobot environment
(Elsevier, 1996)
This paper presents an algorithm A∗ for obtaining the “best” assembly plan for a product in a multirobot system. The ... |