Data

NameMartínez Gasca, Rafael
DepartmentLenguajes y Sistemas Informáticos
Knowledge areaLenguajes y Sistemas Informáticos
Professional categoryCatedrático de Universidad
E-mailRequest
           

  Statistics

  • Items

    92

  • Visits

    5428

  • Downloads

    8638

  Publications

 

Article
Icon

Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules

Ceballos Guerrero, Rafael; Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael (Elsevier, 2021-01-01)
Business process analytics and verification have become a major challenge for companies, especially when process data is ...
Article
Icon

Decision-making support for input data in business processes according to former instances

Pérez Álvarez, José Miguel; Parody Núñez, María Luisa; Gómez López, María Teresa; Martínez Gasca, Rafael; Ceravolo, Paolo (ComSIS Consortium, 2021-01-01)
Business Processes facilitate the execution of a set of activities to achieve the strategic plans of a company. During the ...
Article
Icon

CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems

Varela Vaca, Ángel Jesús; Rosado, David G.; Sánchez, Luis E.; Gómez López, María Teresa; Martínez Gasca, Rafael; Fernández Medina, Eduardo (Elsevier, 2021-01-01)
In the last years, cyber-physical systems (CPS) are receiving substantial mainstream attention especially in industrial ...
Article
Icon

Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing

Ramos Gutiérrez, Belén; Gómez López, María Teresa; Borrego Núñez, Diana; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Barea, Antonio (IEEE Computer Society, 2021-01-01)
The increasing complexity of systems and the heterogeneous origin of the possible malfunctions bring about the necessity ...
Article
Icon

Prognosis of multiple instances in time-aware declarative business process models

Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael (Elsevier, 2020-01-01)
Technological evolution, heading for industry 4.0, makes companies tend to automate their managementand operation, ideally ...
Article
Icon

Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models

Varela Vaca, Ángel Jesús; Parody Núñez, María Luisa; Martínez Gasca, Rafael; Gómez López, María Teresa (IEEE Computer Society, 2019-01-01)
Organizations execute daily activities to meet their objectives. The performance of these activities can be fundamental ...
Article
Icon

CyberSPL: Framework for the verification of cybersecurity policy compliance of system configurations using software product lines

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael; Gómez López, María Teresa; Bernáldez Torres, Pedro (MDPI, 2019-01-01)
Cybersecurity attacks affect the compliance of cybersecurity policies of the organisations. Such disadvantages may be due ...
Presentation
Icon

CyberSPL: Plataforma para la verificación del cumplimiento de políticas de ciberseguridad en configuraciones de sistemas usando modelos de caracterısticas

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael; Bernáldez Torres, Pedro (Universidad de Extremadura, 2019-01-01)
Los ataques de ciberseguridad se han convertido en un factor muy relevante que pueden contravenir el cumplimiento de las ...
Article
Icon

Business Process Configuration According to Data Dependency Specification

Parody Núñez, María Luisa; Gómez López, María Teresa; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (MDPI AG, 2018-10-22)
Configuration techniques have been used in several fields, such as the design of business process models. Sometimes these ...
Presentation
Icon

Computing alignments with constraint programming : the acyclic case

Gómez López, María Teresa; Borrego Núñez, Diana; Carmona, Josep; Martínez Gasca, Rafael (CEUR-WS.Org, 2016-01-01)
Conformance checking confronts process models with real process executions to detect and measure deviations between ...
Article
Icon

Hybrid business process modeling for the optimization of outcome data

Parody Núñez, María Luisa; Gómez López, María Teresa; Martínez Gasca, Rafael (Elsevier, 2016-01-01)
Context: Declarative business processes are commonly used to describe permitted and prohibited actions in a business ...
Presentation
Icon

Process Instance Query Language to Include Process Performance Indicators in DMN

Pérez Álvarez, José Miguel; Gómez López, María Teresa; Parody Núñez, María Luisa; Martínez Gasca, Rafael (IEEE Computer Society, 2016-01-01)
Companies are increasingly incorporating commercial Business Process Management Systems (BPMSs) as mechanisms to automate ...
Presentation
Icon

PAIS-DQ: Extending Process-Aware Information Systems to support Data Quality in PAIS life-cycle

Parody Núñez, María Luisa; Gómez López, María Teresa; Bermejo, Isabel; Caballero, Ismael; Martínez Gasca, Rafael; Piattini Velthuis, Mario (IEEE Computer Society, 2016-01-01)
The successful execution of a Business Process implies to use data with an adequate level of quality, thereby enabling the ...
Article
Icon

Automating correctness verification of artifact-centric business process models

Borrego Núñez, Diana; Martínez Gasca, Rafael; Gómez López, María Teresa (Elsevier, 2015-01-01)
Context: The artifact-centric methodology has emerged as a new paradigm to support business process management over the ...
PhD Thesis
Icon

Combi-BP: automating the data-oriented optimization in business processes. From declarative to executable models.

Martínez Gasca, Rafael; Gómez López, María Teresa; Parody Núñez, María Luisa (2014-07-21)
One of the main objectives of a business expert is to model the business goals of an enterprise process. Several languages ...
Presentation
Icon

Prognosing the Compliance of Declarative Business Processes Using Event Trace Robustness

Gómez López, María Teresa; Parody Núñez, María Luisa; Martínez Gasca, Rafael; Rinderle-Ma, Stefanie (Springer, 2014-01-01)
Several proposals have studied the compliance of execution of business process traces in accordance with a set of compliance ...
Chapter of Book
Icon

Data-Oriented Declarative Language for Optimizing Business Processes

Parody Núñez, María Luisa; Gómez López, María Teresa; Martínez Gasca, Rafael (Springer, 2014-01-01)
There is a signifi cant number of declarative languages to describe business processes. They tend to be used when business ...
Presentation
Icon

CombiS-BP Editor: Combining Declarative and Imperative Languages in BP Modelling, Demonstration paper

Parody Núñez, María Luisa; Gómez López, María Teresa; Martínez Gasca, Rafael; Varela Vaca, Ángel Jesús (IEEE Computer Society, 2013-01-01)
Business Process models allow business experts to describe the activities that must be performed to achieve a defined goal. ...
Chapter of Book
Icon

Constraint-Driven Approach to Support Input Data Decision-Making in Business Process Management Systems

Gómez López, María Teresa; Martínez Gasca, Rafael; Parody Núñez, María Luisa; Borrego Núñez, Diana (Springer, 2013-01-01)
A business process consists of a set of activities that are performed in coordination in an organizational and technical ...
PhD Thesis
Icon

OPBUS : A Framework for Improving the Dependability of Risk-Aware Business processes

Martínez Gasca, Rafael; Varela Vaca, Ángel Jesús (2013-01-01)
Hoy en día existe una creciente tendencia a externalizar y automatizar procesos críticos y complejos mediante el uso de ...
Article
Icon

Diagnosing correctness of semantic workflow models

Borrego Núñez, Diana; Eshuis, Rik; Gómez López, María Teresa; Martínez Gasca, Rafael (Elsevier, 2013-01-01)
To model operational business processes in an accurate way, workflow models need to reference both the control flow and ...
Article
Icon

Minimizing test-point allocation to improve diagnosability in business process models

Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael (Elsevier, 2013-01-01)
Diagnosability analysis aims to determine whether observations available during the execution of a sys-tem are sufficient ...
Presentation
Icon

Extending BPMN 2.0 for Modelling the Combination of Activities That Involve Data Constraints

Parody Núñez, María Luisa; Gómez López, María Teresa; Martínez Gasca, Rafael (Springer, 2012-01-01)
The combination of activities to achieve optimal goals sometimes has a complex solution. Business Process Model and ...
PhD Thesis
Icon

Diagnostic reasoning with structural analysis and constraint programming for quality improvement of business process management systems

Gómez López, María Teresa; Martínez Gasca, Rafael; Borrego Núñez, Diana (2012-01-01)
Article
Icon

Improvement of Optimization Agreements in Business Processes involving Web Services

Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Martínez Gasca, Rafael; Parody Núñez, María Luisa (2012-01-01)
PhD Thesis
Icon

Técnicas automáticas para la diagnosis de errores en software diseñado por contrato

Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Ceballos Guerrero, Rafael (2011-12-21)
Cada vez más la calidad en los productos software es primordial. En el desarrollo del software los costes asociados a la ...
Presentation
Icon

Contract-based test generation for data flow of business processes using constraint programming

Jiménez Ramírez, Andrés; Martínez Gasca, Rafael; Varela Vaca, Ángel Jesús (IEEE Computer Society, 2011-01-01)
The verification of the properties of a business process (BP) has become a significant research topic in recent years. In ...
Presentation
Icon

A Model-Driven Engineering approach with Diagnosis of Non-Conformance of Security Objectives in Business Process Models

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Jiménez Ramírez, Andrés (IEEE Computer Society, 2011-01-01)
Several reports indicate that the highest business priorities include: business improvement, security, and IT management. The ...
Presentation
Icon

Using Distributed CSPs to Model Business Processes Agreement in Software Multiprocess

Parody Núñez, María Luisa; Gómez López, María Teresa; Martínez Gasca, Rafael; Borrego Núñez, Diana (SciTePress, 2011-01-01)
A business process consists of a set of activities which are performed in a coordination way to obtain an objective. ...
Article
Icon

Extensiones para el Ciclo de Mejora Continua en la enseñanza e investigación de Ingeniería Informática

Álvarez de la Concepción, Miguel Ángel; Jiménez Ramírez, Andrés; Martínez Ballesteros, María del Mar; Martínez Gasca, Rafael; Parody Núñez, María Luisa; Soria Morillo, Luis Miguel (2011-01-01)
Este trabajo expone cómo añadiendo aspectos relacionados con la vigilancia tecnológica, las técnicas creativas aplicadas ...
Article
Icon

Fault Tolerance Framework using Model-Based Diagnosis: Towards Dependable Business Processes

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Borrego Núñez, Diana; Pozo Hidalgo, Sergio (International Academy, Research, and Industry Association (IARIA), 2011-01-01)
Several reports indicate that one of the most important business priorities is the improvement of business and IT management. ...
Article
Icon

A survey using constraints to decision-making for fault tolerance in Business processes

Gómez López, María Teresa; Martínez Gasca, Rafael; Arévalo Maldonado, Carlos (Science and Engineering Research Support Society (SERSC), 2010-01-01)
Sometimes the business processes do not work how it is expected. In these cases, a diagnosis process has to be executed ...
Presentation
Icon

Determination of an optimal test points allocation for business process analysis

Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael (IEEE Computer Society, 2010-01-01)
The management and automation of business processes have become an essential task within IT organizations. Diagnosis enables ...
Presentation
Icon

Resolución de acuerdos en Procesos de Negocio para Multiproceso Software usando Programación con Restricciones Distribuidas

Parody Núñez, María Luisa; Gómez López, María Teresa; Martínez Gasca, Rafael; Borrego Núñez, Diana (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2010-01-01)
Un proceso de negocio consiste en un conjunto de actividades que trabajan de manera coordinada para obtener un objetivo ...
Presentation
Icon

Towards Dependable Business Processes with Fault-Tolerance Approach

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Borrego Núñez, Diana; Pozo Hidalgo, Sergio (IEEE Computer Society, 2010-01-01)
The management and automation of business processes have become an essential tasks within IT organizations. Companies could ...
Presentation
Icon

Diagnosis de Errores en la Gestión de Procesos Software con Programación con Restricciones

Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael; Parody Núñez, María Luisa (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2010-01-01)
El desarrollo de proyectos software similares es habitual en las empresas de desarrollo de software. Esto proporciona una ...
Article
Icon

Developing a labelled object-relational constraint database architecture for the projection operator

Gómez López, María Teresa; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Elsevier, 2009-01-01)
Current relational databases have been developed in order to improve the handling of stored data, however, there are some ...
Presentation
Icon

Choreography Analysis for Diagnosing Faulty Activities in Business-to-Business Collaboration

Borrego Núñez, Diana; Martínez Gasca, Rafael; Gómez López, María Teresa; Barba Rodríguez, Irene (Linköping University, 2009-01-01)
The interaction between business processes (BPs) by means of a choreography is considered as a Business-to-Business ...
Presentation
Icon

Competitive Intelligence based on Social Networks for Decision Making

Rosa Troyano, Francisco Fernando de la; Gómez López, María Teresa; Martínez Gasca, Rafael (SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2009-01-01)
In previous works a framework has been presented to extract from internet the scientific community interested in a specific ...
Presentation
Icon

Efficient algorithms and abstract data types for local inconsistency isolation in firewall ACLS

Pozo Hidalgo, Sergio; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael (Institute for Systems and Technologies of Information, Control and Communication (INSTICC), 2009-01-01)
Writing and managing firewall ACLs are hard, tedious, time-consuming and error-prone tasks for a wide range of reasons. ...
Article
Icon

Model-Based Development of firewall rule sets: Diagnosing model inconsistencies

Pozo Hidalgo, Sergio; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael (Elsevier, 2009-01-01)
The design and management of firewall rule sets is a very difficult and error-prone task because of the difficulty of ...
Article
Icon

A heuristic process for local inconsistency diagnosis in firewall rule sets

Pozo Hidalgo, Sergio; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael (2009-01-01)
Presentation
Icon

Diagnosing Business Processes Execution using Choreography Analysis

Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael; Barba Rodríguez, Irene (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2008-01-01)
This work presents a proposal to diagnose business processes that form a global process using a choreography analysis. The ...
Presentation
Icon

Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates

Pozo Hidalgo, Sergio; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Varela Vaca, Ángel Jesús (IEEE Computer Society, 2008-01-01)
Filtering is a very important issue in next generation networks. These networks consist of a relatively high number of ...
Presentation
Icon

Firewall Rule Set Inconsistency Characterization by Clustering

Pozo Hidalgo, Sergio; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael (SciTePress, 2008-01-01)
Firewall ACLs could have inconsistencies, allowing traffic that should be denied or vice-versa. In this paper, we analyze ...
Presentation
Icon

A heuristic polynomial algorithm for local inconsistency diagnosis in firewall rule sets

Pozo Hidalgo, Sergio; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael (SciTePress, 2008-01-01)
Firewall ACLs can contain inconsistencies. There is an inconsistency if different actions can be taken on the same flow ...
Presentation
Icon

Fast algorithms for consistency-based diagnosis of firewall rule sets

Pozo Hidalgo, Sergio; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael (IEEE Computer Society, 2008-01-01)
Firewalls provide the first line of defence of nearly all networked institutions today. However, Firewall ACL management ...
Presentation
Icon

Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets

Pozo Hidalgo, Sergio; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Varela Vaca, Ángel Jesús (IEEE Computer Society, 2008-01-01)
Firewalls provide the first line of defence of nearly all networked institutions today. However, Firewall ACLs could have ...
Presentation
Icon

NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs

Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Gómez López, María Teresa; Ceballos Guerrero, Rafael (Springer, 2007-01-01)
Models are used in science and engineering for experimentation, analysis, model-based diagnosis, design and ...
PhD Thesis
Icon

Diagnosis de sistemas dinámicos mediante el aprendizaje de modelos proposicionales

Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Abad Herrera, Pedro J. (2007-01-01)
PhD Thesis
Icon

LORCDB Gestor de bases de datos objeto-relacionales de restricciones

Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Gómez López, María Teresa (2007-01-01)
Article
Icon

Sistemas de inteligencia web basados en redes sociales

Martínez Gasca, Rafael; Rosa Troyano, Francisco Fernando de la (2007-01-01)
Presentation
Icon

Distributed Model-Based Diagnosis using Object-Relational Constraint Databases

Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Pozo Hidalgo, Sergio (IEEE Computer Society, 2006-01-01)
This work presents a proposal to diagnose distributed systems utilizing model-based diagnosis using distributed databases. ...
Article
Icon

An integration of model-based techniques for determining the minimal diagnosis

Ceballos Guerrero, Rafael; Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Asociación Española para la Inteligencia Artificial, 2006-01-01)
Article
Icon

Constraint satisfaction techniques for diagnosing errors in Design by Contract software

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Borrego Núñez, Diana (Association for Computing Machinery (ACM), 2006-01-01)
Design by Contract enables the development of more reliable and robust software applications. In this paper, a methodology that ...
Presentation
Icon

Diagnosing Errors in DbC Programs Using Constraint Programming

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Borrego Núñez, Diana (Springer, 2005-01-01)
Model-Based Diagnosis allows to determine why a correctly designed system does not work as it was expected. In this paper, ...
Presentation
Icon

An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way

Ceballos Guerrero, Rafael; Pozo Hidalgo, Sergio; Valle Sevillano, Carmelo del; Martínez Gasca, Rafael (Springer, 2005-01-01)
Two communities work in parallel in model-based diagnosis: FDI and DX. In this work an integration of the FDI and the DX ...
Presentation
Icon

A Topological-Based Method for Allocating Sensors by Using CSP Techniques

Ceballos Guerrero, Rafael; Cejudo, V.; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Springer, 2005-01-01)
Model-based diagnosis enables isolation of faults of a system. The diagnosis process uses a set of sensors (observations) ...
Presentation
Icon

Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems

Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Cejudo, V.; Barba Rodríguez, Irene (Springer, 2005-01-01)
Models are used in science and engineering for experimentation, analysis, diagnosis or design. In some cases, they can be ...
Presentation
Icon

Querying a Polynomial Object-Relational Constraint Database in Model-Based Diagnosis

Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Rosa Troyano, Francisco Fernando de la (Springer, 2005-01-01)
Many papers related to Constraint Databases (CDBs) theories exist, including proposals that present frameworks for the ...
Article
Icon

Combining Heuristics in Assembly Sequence Planning

Valle Sevillano, Carmelo del; Camacho, Eduardo F.; Toro Bonilla, Miguel; Martínez Gasca, Rafael (IOS Press, 2005-01-01)
Assembly Sequence Planning is tackled by modelling and solving a planning problem that considers the execution of the plan ...
Presentation
Icon

Behavioral pattern analysis of secure migration and communications in eCommerce using cryptographic protocols on a mobile MAS platform

Pozo Hidalgo, Sergio; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael (IEEE Computer Society, 2005-01-01)
Mobile Multi-Agent Systems (MAS) systems can be used with real success in a growing number of eCommerce applications ...
Article
Icon

Metodología semicualitativa para razonar sobre sistemas dinámicos

Torres Valderrama, Jesús; Ortega Ramírez, Juan Antonio; González Abril, Luis; Toro Bonilla, Miguel; Martínez Gasca, Rafael; Angulo, Cecilio; Velasco Morente, Francisco (2005-01-01)
PhD Thesis
Icon

Índice para la comparación cualitativa de series temporales

Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Cuberos García-Baquero, Francisco Javier (2005-01-01)
Las series temporales son conjuntos de datos complejos de una gran importancia. Aparecen en aplicaciones científicas, ...
Article
Icon

Estudio de similitudes entre áreas temáticas

Rosa Troyano, Francisco Fernando de la; Velasco Morente, Francisco; González Abril, Luis; Martínez Gasca, Rafael (2005-01-01)
Article
Icon

Análisis de redes sociales mediante diagramas estratégicos y estructurales

Rosa Troyano, Francisco Fernando de la; Martínez Gasca, Rafael; González Abril, Luis; Velasco Morente, Francisco (2005-01-01)
Presentation
Icon

Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-Based Diagnosis

Gómez López, María Teresa; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Springer, 2004-01-01)
Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge ...
Presentation
Icon

Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering

Gómez López, María Teresa; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Pozo Hidalgo, Sergio (Springer, 2004-01-01)
Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge ...
Presentation
Icon

Interval model-based diagnosis using constraint programming

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Toro Bonilla, Miguel (IEEE Computer Society, 2004-01-01)
PhD Thesis
Icon

Localización de centros de servicios atractivos y/o repulsivos con algoritmos de ramificación y poda

Velasco Morente, Francisco; Martínez Gasca, Rafael; Chamizo Guerra, Cristóbal (2003-12-01)
Presentation
Icon

A Genetic Algorithm for Assembly Sequence Planning

Valle Sevillano, Carmelo del; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Camacho, Eduardo F. (Springer, 2003-01-01)
This work presents a genetic algorithm for assembly sequence planning. This problem is more difficult than other sequencing ...
Article
Icon

CSP aplicados a la diagnosis basada en modelos

Ceballos Guerrero, Rafael; Valle Sevillano, Carmelo del; Gómez López, María Teresa; Martínez Gasca, Rafael (Asociación Española para la Inteligencia Artificial, 2003-01-01)
En las ´ultimas d´ecadas, parte de la comunidad cient´ıfica ha dedicado sus esfuerzos al desarrollo de una metodolog´ıa ...
Article
Icon

CSP y Bases de Datos Restrictivas

Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Ceballos Guerrero, Rafael (Asociación Española para la Inteligencia Artificial, 2003-01-01)
Las Bases de Datos Restrictivas se originaron ante la necesidad de representar de forma m´as compacta y modular datos de ...
Presentation
Icon

On Selecting and Scheduling Assembly Plans Using Constraint Programming

Valle Sevillano, Carmelo del; Márquez, Antonio A.; Martínez Gasca, Rafael; Toro Bonilla, Miguel (Springer, 2003-01-01)
This work presents the application of Constraint Programming to the problem of selecting and sequencing assembly operations. ...
Presentation
Icon

A Semiquantitative Approach to Study Semiqualitative Systems

Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Torres Valderrama, Jesús (Springer, 2002-01-01)
In this paper is proposed a semiquantitative methodology to study models of dynamic systems with qualitative and quantitative ...
Article
Icon

A framework for semiqualitative reasoning in engineering applications

Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel (Taylor and Francis, 2002-01-01)
In most cases the models for experimentation, analysis, or design in engineering applications take into account only ...
Article
Icon

Un modelo CSP para la planificación de la sustitución óptima de piezas defectuosas

Valle Sevillano, Carmelo del; Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Gómez López, María Teresa (AEPIA: Asociación Española para la Inteligencia Artificial, 2002-01-01)
La aplicación de métodos de diagnosis basada en modelos permite obtener los posibles componentes involucrados en el ...
Presentation
Icon

Max-CSP Approach for Software Diagnosis

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Toro Bonilla, Miguel (Springer, 2002-01-01)
In software development is essential to have tools for the software diagnosis to help the programmers and development ...
Presentation
Icon

Qualitative Comparison of Temporal Series. QSI

Ortega Ramírez, Juan Antonio; Cuberos, Francisco Javier; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Torres Valderrama, Jesús (Springer, 2002-01-01)
In this paper, the study of systems that evolve in time by means of the comparison of time series is proposed. An improvement ...
Article
Icon

Diagnosis de sistemas dinámicos basada en aprendizaje supervisado off-line

Suárez Fábrega, Antonio J.; Abad Herrera, Pedro J.; Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio (2002-01-01)
Article
Icon

Diagnosis en fases tempranas de sistemas dinámicos

Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Suárez Fábrega, Antonio J.; Abad Herrera, Pedro J. (2002-01-01)
Article
Icon

Comparación cualitativa de series temporales. Indice cualitativo de similitud - QSI

Ortega Ramírez, Juan Antonio; Cuberos, Francisco Javier; Martínez Gasca, Rafael; Toro Bonilla, Miguel (Centro de Investigación en Computación IPN, 2001-01-01)
Article
Icon

Diagnosis basada en modelos polinómicos usando técnicas simbólicas

Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel (Asociación Española para la Inteligencia Artificial, 2001-01-01)
La detección y diagnosis del funcionamiento anómalo de mecanismos son importantes debido a las actuales demandas económicas ...
Presentation
Icon

Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells

Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel (Springer, 2001-01-01)
Configuration tasks are an important application area in engineering design. The proposed solving techniques use either a ...
Article
Icon

An object-oriented approach for learning of algorithm design with sequential devices and schemas

Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel (2001-01-01)
Article
Icon

Aplicación del Razonamiento Semicualitativo al modelado y análisis de sistemas económicos

Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel (Asociación Española para la Inteligencia Artificial, 2000-01-01)
Generalmente, el uso de modelos para el estudio y análisis de sistemas económicos y de otras disciplinas, tienen en cuenta ...
Article
Icon

Obtención de patrones de comportamiento de modelos semicualitativos

Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel (Asociación Española para la Inteligencia Artificial, 2000-01-01)
En este artículo se propone una nueva metodología pensada para obtener los patrones de comportamiento de los modelos ...
Article
Icon

Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos y Razonamiento con Intervalos

Toro Bonilla, Miguel; Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael (Iberamia, 2000-01-01)
Esta monografía, y en particular este artículo, nace con la intención, por un lado, de presentar el estado actual de las ...
Presentation
Icon

Automatic Semiqualitative Analysis: Application to a Biometallurgical System

Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel (Springer, 1998-01-01)
The aim of this work is the representation and analysis of semiqualitative models. Their qualitative knowledge is represented ...
Presentation
Icon

Including Qualitative Knowledge in Semiqualitative Dynamical Systems

Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel (Springer, 1998-01-01)
A new method to incorporate qualitative knowledge in semiqualitative systems is presented. In these systems qualitative ...
PhD Thesis
Icon

Razonamiento y simulación en sistemas que integran conocimiento cualitativo y cuantitativo

Toro Bonilla, Miguel; Martínez Gasca, Rafael (1998-01-01)
Presentation
Icon

Aplicación de estrategias innovadoras en un sistema de investigación científica

Martínez Gasca, Rafael (Universidad de Sevilla. Escuela Universitaria de Magisterio, 1984-12-01)