Perfil del autor: Martínez Gasca, Rafael
Datos institucionales
| Nombre | Martínez Gasca, Rafael |
| Departamento | Lenguajes y Sistemas Informáticos |
| Área de conocimiento | Lenguajes y Sistemas Informáticos |
| Categoría profesional | Profesor Emérito |
| Correo electrónico | Solicitar |
 |
|
Estadísticas
-
Nº publicaciones
153
-
Nº visitas
8885
-
Nº descargas
17733
| Publicaciones |
|---|
Artículo
 Feature models to boost the vulnerability management process
(Elsevier Inc., 2023)
Vulnerability management is a critical and very challenging process that allows organisations to design a procedure to ... |
Artículo
Feature models to boost the vulnerability management process
(Elsevier, 2022)
Vulnerability management is a critical and very challenging process that allows organisations to design a procedure to ... |
Artículo
Reasoning on the usage control security policies over data artifact business process models
(ComSIS Consortium, 2022)
The inclusion of security aspects in organizations is a crucial aspect to ensure compliance with both internal and external ... |
Artículo
Decision-making support for input data in business processes according to former instances
(ComSIS Consortium, 2021)
Business Processes facilitate the execution of a set of activities to achieve the strategic plans of a company. During the ... |
Artículo
 CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems
(Elsevier, 2021)
In the last years, cyber-physical systems (CPS) are receiving substantial mainstream attention especially in industrial ... |
Artículo
Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing
(IEEE Computer Society, 2021)
The increasing complexity of systems and the heterogeneous origin of the possible malfunctions bring about the necessity ... |
Artículo
Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules
(Elsevier, 2021)
Business process analytics and verification have become a major challenge for companies, especially when process data is ... |
Ponencia
Definition and Verification of Security Configurations of Cyber-Physical Systems
(Springer, 2020)
The proliferation of Cyber-Physical Systems (CPSs) is rais ing serious security challenges. These are complex systems, ... |
Ponencia
AMADEUS: Towards the AutoMAteD secUrity teSting
(ACM: Association for Computing Machinery, 2020)
The proper configuration of systems has become a fundamental factor to avoid cybersecurity risks. Thereby, the analysis ... |
Artículo
Prognosis of multiple instances in time-aware declarative business process models
(Elsevier, 2020)
Technological evolution, heading for industry 4.0, makes companies tend to automate their managementand operation, ideally ... |
Artículo
Verifying the manipulation of data objects according to business process and data models
(Springer, 2020)
Business processes read and write data objects, usually stored in databases. Although data models and activity-oriented ... |
Artículo
CyberSPL: Framework for the verification of cybersecurity policy compliance of system configurations using software product lines
(MDPI, 2019)
Cybersecurity attacks affect the compliance of cybersecurity policies of the organisations. Such disadvantages may be due ... |
Artículo
Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models
(IEEE Computer Society, 2019)
Organizations execute daily activities to meet their objectives. The performance of these activities can be fundamental ... |
Capítulo de Libro
Model-Based Software Debugging
(Springer, 2019)
The complexity and size of software systems have rapidly increased in recent years, with software engineers facing ... |
Capítulo de Libro
Constraint-Driven Fault Diagnosis
(Springer, 2019)
Constraint-Driven Fault Diagnosis (CDD) is based on the concept of constraint suspension [6], which was proposed as an ... |
Ponencia
CyberSPL: Plataforma para la verificación del cumplimiento de políticas de ciberseguridad en configuraciones de sistemas usando modelos de caracterısticas
(Universidad de Extremadura, 2019)
Los ataques de ciberseguridad se han convertido en un factor muy relevante que pueden contravenir el cumplimiento de las ... |
Artículo
Business Process Configuration According to Data Dependency Specification
(MDPI AG, 2018)
Configuration techniques have been used in several fields, such as the design of business process models. Sometimes these ... |
Ponencia
FABIOLA: Towards the resolution of constraint optimization problems in big data environment
(Association for Information Systems (AIS), 2017)
The optimization problems can be found in several examples within companies, such as the minimization of the production ... |
Ponencia
FABIOLA: Arquitectura para la Optimización de Problemas en entornos de Big Data
(Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2017)
Dentro de las organizaciones, los problemas de optimización pueden encontrarse en numerosos ejemplos, tales como minimizar ... |
Artículo
Hybrid business process modeling for the optimization of outcome data
(Elsevier, 2016)
Context: Declarative business processes are commonly used to describe permitted and prohibited actions in a business ... |
Ponencia
A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models
(Springer, 2016)
Artifact-centric initiatives have been used in business processes whose data management is complex, being the simple ... |
Ponencia
PAIS-DQ: Extending Process-Aware Information Systems to support Data Quality in PAIS life-cycle
(IEEE Computer Society, 2016)
The successful execution of a Business Process implies to use data with an adequate level of quality, thereby enabling the ... |
Ponencia
Governance Knowledge Management and Decision Support Using Fuzzy Governance Maps
(Springer, 2016)
Business process management systems incorporate the pos sibility of monitoring the behaviour of a company, by observing ... |
Ponencia
Guiding the Creation of Choreographed Processes with Multiple Instances Based on Data Models
(Springer, 2016)
Choreography in business processes is used as a mechanism to communicate various organizations, by providing a method to ... |
Ponencia
Computing alignments with constraint programming : the acyclic case
(CEUR-WS.Org, 2016)
Conformance checking confronts process models with real process executions to detect and measure deviations between ... |
Ponencia
Hybrid Diagnosis Applied to Multiple Instances in Business Processes
(Springer, 2016)
Business Process compliance is an important issue in control flow and data-flow perspectives. Control-flow correctness can ... |
Ponencia
Process Instance Query Language to Include Process Performance Indicators in DMN
(IEEE Computer Society, 2016)
Companies are increasingly incorporating commercial Business Process Management Systems (BPMSs) as mechanisms to automate ... |
Ponencia
An Open-Source Proactive Security Infrastructure for Business Process Management
(International Business Information Management Association (IBIMA), 2015)
Business Process Management Systems (BPMS) have emerged in the IT arena as cornerstone in the automation and orchestration ... |
Artículo
Compliance validation and diagnosis of business data constraints in business processes at runtime
(Elsevier, 2015)
Business processes involve data that can be modified and updated by various activities at any time. The data involved in ... |
Artículo
Automating correctness verification of artifact-centric business process models
(Elsevier, 2015)
Context: The artifact-centric methodology has emerged as a new paradigm to support business process management over the ... |
Artículo
Formalization of security patterns as a means to infer security controls in business processes
(Oxford University Press, 2015)
The growing trend towards the automation and externalization of business processes by means of Technology Infrastructure (TI), ... |
Ponencia
Towards Automatic Integration of Information Security Governance and Management using a BPMS approach
(Universidad de León, 2015)
The information security management is more and more carried out by means of business processes although disregarding ... |
Tesis Doctoral
Combi-BP: automating the data-oriented optimization in business processes. From declarative to executable models.
(2014)
One of the main objectives of a business expert is to model the business goals of an enterprise process. Several languages ... |
Ponencia
Prognosing the Compliance of Declarative Business Processes Using Event Trace Robustness
(Springer, 2014)
Several proposals have studied the compliance of execution of business process traces in accordance with a set of compliance ... |
Artículo
Decision-Making Support for the Correctness of Input Data at Runtime in Business Processes
(World Scientific, 2014)
In a business process, the information that flows between the activities can be introduced by those users who interact ... |
Artículo
Using Constraint Programming in Selection Operators for Constraint Databases
(Elsevier, 2014)
Constraint Databases represent complex data by means of formulas described by constraints (equations, inequations or Boolean ... |
Capítulo de Libro
Data-Oriented Declarative Language for Optimizing Business Processes
(Springer, 2014)
There is a signifi cant number of declarative languages to describe business processes. They tend to be used when business ... |
Ponencia
Explaining the Incorrect Temporal Events during Business Process Monitoring by Means of Compliance Rules and Model-Based Diagnosis
(IEEE Computer Society, 2013)
Sometimes the business process model is not known completely, but a set of compliance rules can be used to describe the ... |
Tesis Doctoral
OPBUS : A Framework for Improving the Dependability of Risk-Aware Business processes
(2013)
Hoy en día existe una creciente tendencia a externalizar y automatizar procesos críticos y complejos mediante el uso de ... |
Artículo
Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach
(Elsevier, 2013)
Context: The use of Business Process Management Systems (BPMS) has emerged in the IT arena for the automation of business ... |
Artículo
Diagnosing correctness of semantic workflow models
(Elsevier, 2013)
To model operational business processes in an accurate way, workflow models need to reference both the control flow and ... |
Ponencia
CombiS-BP Editor: Combining Declarative and Imperative Languages in BP Modelling, Demonstration paper
(IEEE Computer Society, 2013)
Business Process models allow business experts to describe the activities that must be performed to achieve a defined goal. ... |
Artículo
Minimizing test-point allocation to improve diagnosability in business process models
(Elsevier, 2013)
Diagnosability analysis aims to determine whether observations available during the execution of a sys-tem are sufficient ... |
Capítulo de Libro
Constraint-Driven Approach to Support Input Data Decision-Making in Business Process Management Systems
(Springer, 2013)
A business process consists of a set of activities that are performed in coordination in an organizational and technical ... |
| Artículo |
Ponencia
A Security Pattern-Driven Approach toward the Automation of Risk Treatment in Business Processes
(Springer, 2012)
Risk management has become an essential mechanism for business and security analysts, since it enable the identification, ... |
Artículo
CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework
(Elsevier, 2012)
Design, development, and maintenance of firewall ACLs are very hard and error-prone tasks. Two of the reasons for ... |
| Tesis Doctoral |
Ponencia
Extending BPMN 2.0 for Modelling the Combination of Activities That Involve Data Constraints
(Springer, 2012)
The combination of activities to achieve optimal goals sometimes has a complex solution. Business Process Model and ... |
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 ... |
Artículo
Extensiones para el Ciclo de Mejora Continua en la enseñanza e investigación de Ingeniería Informática
(2011)
Este trabajo expone cómo añadiendo aspectos relacionados con la vigilancia tecnológica, las técnicas creativas aplicadas ... |
Ponencia
OPBUS: Risk-aware framework for the conformance of security-quality requirements in business processes
(IEEE Computer Society, 2011)
Several reports indicate that one of the most important business priorities is the improvement of business and IT management. ... |
Ponencia
Using Distributed CSPs to Model Business Processes Agreement in Software Multiprocess
(SciTePress, 2011)
A business process consists of a set of activities which are performed in a coordination way to obtain an objective. ... |
Ponencia
A Model-Driven Engineering approach with Diagnosis of Non-Conformance of Security Objectives in Business Process Models
(IEEE Computer Society, 2011)
Several reports indicate that the highest business priorities include: business improvement, security, and IT management. The ... |
Ponencia
Contract-based test generation for data flow of business processes using constraint programming
(IEEE Computer Society, 2011)
The verification of the properties of a business process (BP) has become a significant research topic in recent years. In ... |
Ponencia
Model-Driven Engineering for Constraint Database Query Evaluation
(IDMPP, 2011)
Data used in applications such as CAD, CAM or GIS are complex, but the techniques developed for their treatment and stor ... |
Artículo
Fault Tolerance Framework using Model-Based Diagnosis: Towards Dependable Business Processes
(International Academy, Research, and Industry Association (IARIA), 2011)
Several reports indicate that one of the most important business priorities is the improvement of business and IT management. ... |
Ponencia
Improving the Diagnosability of Business Process Management Systems Using Test Points
(Springer, 2010)
The management and automation of business processes have become an essential task within IT organizations, where the ... |
Ponencia
Resolución de acuerdos en Procesos de Negocio para Multiproceso Software usando Programación con Restricciones Distribuidas
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2010)
Un proceso de negocio consiste en un conjunto de actividades que trabajan de manera coordinada para obtener un objetivo ... |
Ponencia
Fault diagnosis in databases for business processes
(PHM Society, 2010)
Business processes involve data that can be modified or updated by various activities. These data must satisfy the business ... |
Ponencia
Diagnosis de Errores en la Gestión de Procesos Software con Programación con Restricciones
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2010)
El desarrollo de proyectos software similares es habitual en las empresas de desarrollo de software. Esto proporciona una ... |
Ponencia
Run-Time Auditing for Business Processes Data Using Constraints
(Springer, 2010)
Business processes involve data that can be modified or up dated by various activities. These data must satisfy the business ... |
Ponencia
Contract-based Diagnosis for Business Process Instances using Business Compliance Rules
(PHM Society, 2010)
In order to increase the quality of business pro cesses when they are automated, the correctness of the activities can be ... |
Ponencia
A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs
(IEEE Computer Society, 2010)
Developing and managing firewall Access Control Lists (ACLs) are hard, time-consuming, and error-prone tasks for a variety ... |
Ponencia
OPBUS: Automating Structural Fault Diagnosis for Graphical Models in the Design of Business Processes
(The Prognostics and Health Management Society (PHM Society), 2010)
When quality is considered in the design stages of business processes, fault diagnosis must be taken into account. In the ... |
Ponencia
OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes
(Springer, 2010)
Management and automation of business processes have become essential tasks within IT organizations. Nowadays, executable ... |
Ponencia
Determination of an optimal test points allocation for business process analysis
(IEEE Computer Society, 2010)
The management and automation of business processes have become an essential task within IT organizations. Diagnosis enables ... |
Ponencia
Towards Dependable Business Processes with Fault-Tolerance Approach
(IEEE Computer Society, 2010)
The management and automation of business processes have become an essential tasks within IT organizations. Companies could ... |
Artículo
A survey using constraints to decision-making for fault tolerance in Business processes
(Science and Engineering Research Support Society (SERSC), 2010)
Sometimes the business processes do not work how it is expected. In these cases, a diagnosis process has to be executed ... |
Ponencia
Una propuesta usando Restricciones para la toma de decisiones en la tolerancia a fallos en procesos de negocio
(Mondragón Unibertsitatea, 2009)
Cuando un proceso de negocio no obtiene el objetivo que se propone será necesario realizar una diagnosis y detección de ... |
Ponencia
Efficient algorithms and abstract data types for local inconsistency isolation in firewall ACLS
(Institute for Systems and Technologies of Information, Control and Communication (INSTICC), 2009)
Writing and managing firewall ACLs are hard, tedious, time-consuming and error-prone tasks for a wide range of reasons. ... |
Ponencia
Choreography Analysis for Diagnosing Faulty Activities in Business-to-Business Collaboration
(Linköping University, 2009)
The interaction between business processes (BPs) by means of a choreography is considered as a Business-to-Business ... |
Ponencia
AFPL2, An Abstract Language for Firewall ACLs with NAT support
(IEEE Computer Society, 2009)
The design and management of firewall ACLs is a very hard and error-prone task. Part of this complexity comes from the ... |
Ponencia
Efficient data structures for local inconsistency detection in firewall ACL updates
(SciTePress, 2009)
Filtering is a very important issue in next generation networks. These networks consist of a relatively high number of ... |
Ponencia
Competitive Intelligence based on Social Networks for Decision Making
(SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2009)
In previous works a framework has been presented to extract from internet the scientific community interested in a specific ... |
| Artículo |
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 ... |
Artículo
Model-Based Development of firewall rule sets: Diagnosing model inconsistencies
(Elsevier, 2009)
The design and management of firewall rule sets is a very difficult and error-prone task because of the difficulty of ... |
Ponencia
MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT
(Springer, 2009)
The design and management of firewall ACLs is a very hard and er ror-prone task. Part of this complexity comes from the ... |
Ponencia
Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates
(IEEE Computer Society, 2008)
Filtering is a very important issue in next generation networks. These networks consist of a relatively high number of ... |
Ponencia
A heuristic polynomial algorithm for local inconsistency diagnosis in firewall rule sets
(SciTePress, 2008)
Firewall ACLs can contain inconsistencies. There is an inconsistency if different actions can be taken on the same flow ... |
Ponencia
Diagnosing Business Processes Execution using Choreography Analysis
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2008)
This work presents a proposal to diagnose business processes that form a global process using a choreography analysis. The ... |
Ponencia
Firewall Rule Set Inconsistency Characterization by Clustering
(SciTePress, 2008)
Firewall ACLs could have inconsistencies, allowing traffic that should be denied or vice-versa. In this paper, we analyze ... |
Ponencia
Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets
(IEEE Computer Society, 2008)
Firewalls provide the first line of defence of nearly all networked institutions today. However, Firewall ACLs could have ... |
Ponencia
Fast algorithms for consistency-based diagnosis of firewall rule sets
(IEEE Computer Society, 2008)
Firewalls provide the first line of defence of nearly all networked institutions today. However, Firewall ACL management ... |
| Artículo |
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 |
| 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. ... |
Artículo
Constraint satisfaction techniques for diagnosing errors in Design by Contract software
(Association for Computing Machinery (ACM), 2006)
Design by Contract enables the development of more reliable and robust software applications. In this paper, a methodology that ... |
Ponencia
Diagnosis of a Chopper Controlled DC Motor by Boosting
(IEEE, 2005)
This paper proposes a methodology to diagnose a transient state of a dynamic system using boosting. The methodology is ... |
Ponencia
Multiple decision trees to diagnose a transient state of dynamic systems. Application to a DC motor.
(Edición Digital @tres, 2005)
In this paper, a novel methodology is proposed to diagnose a transient state of a dynamic system using supervised learning. ... |
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
Metodología Semicualitativa para Razonar sobre Sistemas Dinámicos
(Scientific Electronic Library Online (SCIELO), 2005)
En este artículo se propone una metodología para razonar sobre los modelos semicualitativos construidos para sistemas ... |
Tesis Doctoral
Índice para la comparación cualitativa de series temporales
(2005)
Las series temporales son conjuntos de datos complejos de una gran importancia. Aparecen en aplicaciones científicas, ... |
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 ... |
| Artículo |
Ponencia
Behavioral pattern analysis of secure migration and communications in eCommerce using cryptographic protocols on a mobile MAS platform
(IEEE Computer Society, 2005)
Mobile Multi-Agent Systems (MAS) systems can be used with real success in a growing number of eCommerce applications ... |
Artículo
Análisis y visualización de comunidades científicas con información extraida de la web
(IEEE Computer Society, 2005)
|
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, ... |
| Artículo |
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
Analysis and Visualization of the DX Community with Information Extracted from the Web
(Springer, 2005)
The aim of the present work is the graphical representation of the structures of a specific knowledge area with data ... |
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
Securing Mobile Agent Based Tele-Assistance Systems
(SciTePress, 2004)
Nowadays the scientific community is trying to design new techniques in the search for solving security problems in mobile ... |
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 ... |
Ponencia
Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering
(Springer, 2004)
Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge ... |
| Tesis Doctoral |
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 ... |
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
Localización de centros públicos atractivos y /o repulsivos
(Edición Digital @tres, 2002)
En este trabajo localizamos un centro de servicio en la Provincia de Sevilla en relación a unos puntos fijos atractivos o ... |
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
Diagnosis progresiva en el tiempo de sistemas dinámicos
(Edición Digital @tres, 2002)
En este trabajo se presenta un nuevo avance en la metodología objeto de estudio por los mismos autores presentada en ... |
Ponencia
Representación Cualitativa del Conocimiento: Aplicación a la Generación Automática de Itinerarios Culturales
(Digital @tres, 2002)
La expresividad que el conocimiento cualitativo puede ofrecerá la hora de expresar una consulta, es aprovechada en este ... |
Ponencia
Metodología para la Representación Gráfica de Relaciones Cualitativas entre Tópicos de Interés
(Edición Digital @tres, 2002)
En este trabajo presentamos una metodología que permite cuantificar y representar gráficamente el grado de similitud entre ... |
Ponencia
Using Supervised Learning Techniques for Diagnosis of Dynamic Systems
(2002)
This paper describes an approach based on supervised learning techniques for the diagnosis of dynamic systems. The methodology ... |
| Artículo |
Ponencia
Qualitative Comparison of Temporal Series. QSI
(Springer, 2002)
In this paper, the study of systems that evolve in time by means of the comparison of time series is proposed. An improvement ... |
Ponencia
A Semiquantitative Approach to Study Semiqualitative Systems
(Springer, 2002)
In this paper is proposed a semiquantitative methodology to study models of dynamic systems with qualitative and quantitative ... |
Artículo
A framework for semiqualitative reasoning in engineering applications
(Taylor and Francis, 2002)
In most cases the models for experimentation, analysis, or design in engineering applications take into account only ... |
| Artículo |
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 ... |
| Artículo |
Ponencia
Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells
(Springer, 2001)
Configuration tasks are an important application area in engineering design. The proposed solving techniques use either a ... |
Artículo
Comparación cualitativa de series temporales. Indice cualitativo de similitud - QSI
(Centro de Investigación en Computación IPN, 2001)
|
Artículo
Diagnosis basada en modelos polinómicos usando técnicas simbólicas
(Asociación Española para la Inteligencia Artificial, 2001)
La detección y diagnosis del funcionamiento anómalo de mecanismos son importantes debido a las actuales demandas económicas ... |
Ponencia
Searching for similar semiqualitative temporal patterns in time-series databases
(Universidad Michoacana de San Nicolás de Hidalgo, 2000)
A way to obtain behaviour patterns of semiqualitative models of dynamic systems automatically is proposed in this paper. ... |
Ponencia
Estudio de sistemas semicualitativos con restricciones. Aplicación a un modelo logístico con retraso.
(ARCA: Automatización del Razonamiento Cualitativo y Aplicaciones, 2000)
En este trabajo se propone una nueva tecnología para automatizar el análisis y el estudio de modelos con restricciones que ... |
Artículo
Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos y Razonamiento con Intervalos. Presentación de la Monografía.
(Asociación Española para la Inteligencia Artificial, 2000)
Esta monografía, y en particular este artículo, nace con la intención, por un lado, de presentar el estado actual de las ... |
Capítulo de Libro
Semiqualitative Temporal Patterns in Time-Series Databases
(Edición Digital @tres, 2000)
A way to obtain behaviour patterns of semiqualitative models of dynamic systems automatically is proposed in this paper. ... |
Capítulo de Libro
Using constraint programming framework for Semiqualitative Reasoning
(Edición Digital @tres, 2000)
A semiqualitative model is the representation of the world by means of qualitative and quantitative knowledge. It is ... |
Artículo
Aplicación del Razonamiento Semicualitativo al modelado y análisis de sistemas económicos
(Asociación Española para la Inteligencia Artificial, 2000)
Generalmente, el uso de modelos para el estudio y análisis de sistemas económicos y de otras disciplinas, tienen en cuenta ... |
Artículo
Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos y Razonamiento con Intervalos
(Iberamia, 2000)
Esta monografía, y en particular este artículo, nace con la intención, por un lado, de presentar el estado actual de las ... |
Artículo
Obtención de patrones de comportamiento de modelos semicualitativos
(Asociación Española para la Inteligencia Artificial, 2000)
En este artículo se propone una nueva metodología pensada para obtener los patrones de comportamiento de los modelos ... |
Ponencia
Automatic Semiqualitative Analysis: Application to a Biometallurgical System
(Springer, 1998)
The aim of this work is the representation and analysis of semiqualitative models. Their qualitative knowledge is represented ... |
Ponencia
Including Qualitative Knowledge in Semiqualitative Dynamical Systems
(Springer, 1998)
A new method to incorporate qualitative knowledge in semiqualitative systems is presented. In these systems qualitative ... |
| Tesis Doctoral |
Ponencia
Aplicación de estrategias innovadoras en un sistema de investigación científica
(Universidad de Sevilla. Escuela Universitaria de Magisterio, 1984)
|