NameMartínez Gasca, Rafael
DepartmentLenguajes y Sistemas Informáticos
Knowledge areaLenguajes y Sistemas Informáticos
Professional categoryProfesor Emérito
E-mailRequest
           
  • No. publications

    153

  • No. visits

    8144

  • No. downloads

    16318


 

Article
Icon

Feature models to boost the vulnerability management process

Varela Vaca, Ángel Jesús; Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael; Márquez Trujillo, Antonio Germán (Elsevier Inc., 2023)
Vulnerability management is a critical and very challenging process that allows organisations to design a procedure to ...
Article
Icon

Feature models to boost the vulnerability management process

Varela Vaca, Ángel Jesús; Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael; Márquez Trujillo, Antonio Germán (Elsevier, 2022)
Vulnerability management is a critical and very challenging process that allows organisations to design a procedure to ...
Article
Icon

Reasoning on the usage control security policies over data artifact business process models

Estañol, Montserrat; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Teniente, Ernest; Martínez Gasca, Rafael (ComSIS Consortium, 2022)
The inclusion of security aspects in organizations is a crucial aspect to ensure compliance with both internal and external ...
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)
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)
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)
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)
The increasing complexity of systems and the heterogeneous origin of the possible malfunctions bring about the necessity ...
Article
Icon

Verifying the manipulation of data objects according to business process and data models

Pérez Álvarez, José Miguel; Gómez López, María Teresa; Eshuis, Rik; Montali, Marco; Martínez Gasca, Rafael (Springer, 2020)
Business processes read and write data objects, usually stored in databases. Although data models and activity-oriented ...
Presentation
Icon

Definition and Verification of Security Configurations of Cyber-Physical Systems

Varela Vaca, Ángel Jesús; Rosado, David G.; Sánchez, Luis Enrique; Gómez López, María Teresa; Martínez Gasca, Rafael; Fernández Medina, Eduardo (Springer, 2020)
The proliferation of Cyber-Physical Systems (CPSs) is rais ing serious security challenges. These are complex systems, ...
Presentation
Icon

AMADEUS: Towards the AutoMAteD secUrity teSting

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Carmona Fombella, José Antonio; Gómez López, María Teresa (ACM: Association for Computing Machinery, 2020)
The proper configuration of systems has become a fundamental factor to avoid cybersecurity risks. Thereby, the analysis ...
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)
Technological evolution, heading for industry 4.0, makes companies tend to automate their managementand operation, ideally ...
Chapter of Book
Icon

Model-Based Software Debugging

Ceballos Guerrero, Rafael; Abreu, Rui; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Escobet, Teresa; Bregon, Anibal; Pulido, Belarmino; Puig, Vicenç (Springer, 2019)
The complexity and size of software systems have rapidly increased in recent years, with software engineers facing ...
Chapter of Book
Icon

Constraint-Driven Fault Diagnosis

Martínez Gasca, Rafael; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Escobet, Teresa; Bregon, Anibal; Pulido, Belarmino; Puig, Vicenç (Springer, 2019)
Constraint-Driven Fault Diagnosis (CDD) is based on the concept of constraint suspension [6], which was proposed as an ...
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)
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)
Los ataques de ciberseguridad se han convertido en un factor muy relevante que pueden contravenir el cumplimiento de las ...
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)
Organizations execute daily activities to meet their objectives. The performance of these activities can be fundamental ...
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)
Configuration techniques have been used in several fields, such as the design of business process models. Sometimes these ...
Presentation
Icon

FABIOLA: Arquitectura para la Optimización de Problemas en entornos de Big Data

Parody Núñez, María Luisa; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (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 ...
Presentation
Icon

FABIOLA: Towards the resolution of constraint optimization problems in big data environment

Parody Núñez, María Luisa; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Martínez Gasca, Rafael (Association for Information Systems (AIS), 2017)
The optimization problems can be found in several examples within companies, such as the minimization of the production ...
Presentation
Icon

Hybrid Diagnosis Applied to Multiple Instances in Business Processes

Ceballos Guerrero, Rafael; Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael (Springer, 2016)
Business Process compliance is an important issue in control flow and data-flow perspectives. Control-flow correctness can ...
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)
Context: Declarative business processes are commonly used to describe permitted and prohibited actions in a business ...
Presentation
Icon

Guiding the Creation of Choreographed Processes with Multiple Instances Based on Data Models

Gómez López, María Teresa; Pérez Álvarez, José Miguel; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (Springer, 2016)
Choreography in business processes is used as a mechanism to communicate various organizations, by providing a method to ...
Presentation
Icon

A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models

Varela Vaca, Ángel Jesús; Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael (Springer, 2016)
Artifact-centric initiatives have been used in business processes whose data management is complex, being the simple ...
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)
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)
The successful execution of a Business Process implies to use data with an adequate level of quality, thereby enabling the ...
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)
Conformance checking confronts process models with real process executions to detect and measure deviations between ...
Presentation
Icon

Governance Knowledge Management and Decision Support Using Fuzzy Governance Maps

Pérez Álvarez, José Miguel; Gómez López, María Teresa; Varela Vaca, Ángel Jesús; Rosa Troyano, Francisco Fernando de la; Martínez Gasca, Rafael (Springer, 2016)
Business process management systems incorporate the pos sibility of monitoring the behaviour of a company, by observing ...
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)
Context: The artifact-centric methodology has emerged as a new paradigm to support business process management over the ...
Presentation
Icon

An Open-Source Proactive Security Infrastructure for Business Process Management

Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Jiménez Vargas, David; Martínez Gasca, Rafael; Suárez Fábrega, Antonio J.; Abad Herrera, Pedro J. (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 ...
Article
Icon

Compliance validation and diagnosis of business data constraints in business processes at runtime

Gómez López, María Teresa; Martínez Gasca, Rafael; Pérez Álvarez, José Miguel (Elsevier, 2015)
Business processes involve data that can be modified and updated by various activities at any time. The data involved in ...
Article
Icon

Formalization of security patterns as a means to infer security controls in business processes

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (Oxford University Press, 2015)
The growing trend towards the automation and externalization of business processes by means of Technology Infrastructure (TI), ...
Presentation
Icon

Towards Automatic Integration of Information Security Governance and Management using a BPMS approach

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (Universidad de León, 2015)
The information security management is more and more carried out by means of business processes although disregarding ...
PhD Thesis
Icon

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

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

Using Constraint Programming in Selection Operators for Constraint Databases

Gómez López, María Teresa; Martínez Gasca, Rafael (Elsevier, 2014)
Constraint Databases represent complex data by means of formulas described by constraints (equations, inequations or Boolean ...
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)
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)
There is a signifi cant number of declarative languages to describe business processes. They tend to be used when business ...
Article
Icon

Decision-Making Support for the Correctness of Input Data at Runtime in Business Processes

Gómez López, María Teresa; Martínez Gasca, Rafael; Pérez Álvarez, José Miguel (World Scientific, 2014)
In a business process, the information that flows between the activities can be introduced by those users who interact ...
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)
To model operational business processes in an accurate way, workflow models need to reference both the control flow and ...
Article
Icon

Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (Elsevier, 2013)
Context: The use of Business Process Management Systems (BPMS) has emerged in the IT arena for the automation of business ...
Presentation
Icon

Explaining the Incorrect Temporal Events during Business Process Monitoring by Means of Compliance Rules and Model-Based Diagnosis

Gómez López, María Teresa; Martínez Gasca, Rafael; Rinderle-Ma, Stefanie (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 ...
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)
Business Process models allow business experts to describe the activities that must be performed to achieve a defined goal. ...
PhD Thesis
Icon

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

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (2013)
Hoy en día existe una creciente tendencia a externalizar y automatizar procesos críticos y complejos mediante el uso de ...
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)
Diagnosability analysis aims to determine whether observations available during the execution of a sys-tem are sufficient ...
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)
A business process consists of a set of activities that are performed in coordination in an organizational and technical ...
Article
Icon

CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework

Pozo Hidalgo, Sergio; Martínez Gasca, Rafael; Reina Quintero, Antonia María; Varela Vaca, Ángel Jesús (Elsevier, 2012)
Design, development, and maintenance of firewall ACLs are very hard and error-prone tasks. Two of the reasons for ...
Presentation
Icon

A Security Pattern-Driven Approach toward the Automation of Risk Treatment in Business Processes

Varela Vaca, Ángel Jesús; Warschofsky, Robert; Martínez Gasca, Rafael; Pozo Hidalgo, Sergio; Meinel, Christoph (Springer, 2012)
Risk management has become an essential mechanism for business and security analysts, since it enable the identification, ...
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)
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)
The combination of activities to achieve optimal goals sometimes has a complex solution. Business Process Model and ...
PhD Thesis
PhD Thesis
Icon

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

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (2011)
Cada vez más la calidad en los productos software es primordial. En el desarrollo del software los costes asociados a la ...
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)
Several reports indicate that one of the most important business priorities is the improvement of business and IT management. ...
Presentation
Icon

Model-Driven Engineering for Constraint Database Query Evaluation

Gómez López, María Teresa; Reina Quintero, Antonia María; Martínez Gasca, Rafael (IDMPP, 2011)
Data used in applications such as CAD, CAM or GIS are complex, but the techniques developed for their treatment and stor ...
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)
A business process consists of a set of activities which are performed in a coordination way to obtain an objective. ...
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)
Several reports indicate that the highest business priorities include: business improvement, security, and IT management. The ...
Presentation
Icon

OPBUS: Risk-aware framework for the conformance of security-quality requirements in business processes

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Pozo Hidalgo, Sergio (IEEE Computer Society, 2011)
Several reports indicate that one of the most important business priorities is the improvement of business and IT management. ...
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)
Este trabajo expone cómo añadiendo aspectos relacionados con la vigilancia tecnológica, las técnicas creativas aplicadas ...
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)
The verification of the properties of a business process (BP) has become a significant research topic in recent years. In ...
Presentation
Icon

OPBUS: Automating Structural Fault Diagnosis for Graphical Models in the Design of Business Processes

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Parody Núñez, María Luisa (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 ...
Presentation
Icon

OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (Springer, 2010)
Management and automation of business processes have become essential tasks within IT organizations. Nowadays, executable ...
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)
Sometimes the business processes do not work how it is expected. In these cases, a diagnosis process has to be executed ...
Presentation
Icon

A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs

Pozo Hidalgo, Sergio; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (IEEE Computer Society, 2010)
Developing and managing firewall Access Control Lists (ACLs) are hard, time-consuming, and error-prone tasks for a variety ...
Presentation
Icon

Improving the Diagnosability of Business Process Management Systems Using Test Points

Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael (Springer, 2010)
The management and automation of business processes have become an essential task within IT organizations, where the ...
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)
The management and automation of business processes have become an essential task within IT organizations. Diagnosis enables ...
Presentation
Icon

Run-Time Auditing for Business Processes Data Using Constraints

Gómez López, María Teresa; Martínez Gasca, Rafael (Springer, 2010)
Business processes involve data that can be modified or up dated by various activities. These data must satisfy the business ...
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)
The management and automation of business processes have become an essential tasks within IT organizations. Companies could ...
Presentation
Icon

Contract-based Diagnosis for Business Process Instances using Business Compliance Rules

Borrego Núñez, Diana; Martínez Gasca, Rafael; Gómez López, María Teresa; Parody Núñez, María Luisa (PHM Society, 2010)
In order to increase the quality of business pro cesses when they are automated, the correctness of the activities can be ...
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)
El desarrollo de proyectos software similares es habitual en las empresas de desarrollo de software. Esto proporciona una ...
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)
Un proceso de negocio consiste en un conjunto de actividades que trabajan de manera coordinada para obtener un objetivo ...
Presentation
Icon

Fault diagnosis in databases for business processes

Gómez López, María Teresa; Martínez Gasca, Rafael (PHM Society, 2010)
Business processes involve data that can be modified or updated by various activities. These data must satisfy the business ...
Article
Icon

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

Pozo Hidalgo, Sergio; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael (Elsevier, 2009)
The design and management of firewall rule sets is a very difficult and error-prone task because of the difficulty of ...
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)
The interaction between business processes (BPs) by means of a choreography is considered as a Business-to-Business ...
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)
Current relational databases have been developed in order to improve the handling of stored data, however, there are some ...
Presentation
Icon

Efficient data structures for local inconsistency detection in firewall ACL updates

Pozo Hidalgo, Sergio; Martínez Gasca, Rafael; Rosa Troyano, Francisco Fernando de la (SciTePress, 2009)
Filtering is a very important issue in next generation networks. These networks consist of a relatively high number of ...
Presentation
Icon

AFPL2, An Abstract Language for Firewall ACLs with NAT support

Pozo Hidalgo, Sergio; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (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 ...
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)
In previous works a framework has been presented to extract from internet the scientific community interested in a specific ...
Presentation
Icon

Una propuesta usando Restricciones para la toma de decisiones en la tolerancia a fallos en procesos de negocio

Gómez López, María Teresa; Martínez Gasca, Rafael; Borrego Núñez, Diana (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 ...
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)
Writing and managing firewall ACLs are hard, tedious, time-consuming and error-prone tasks for a wide range of reasons. ...
Article
Icon

A heuristic process for local inconsistency diagnosis in firewall rule sets

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

MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT

Pozo Hidalgo, Sergio; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (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 ...
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)
Firewalls provide the first line of defence of nearly all networked institutions today. However, Firewall ACLs could have ...
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)
Firewall ACLs can contain inconsistencies. There is an inconsistency if different actions can be taken on the same flow ...
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)
This work presents a proposal to diagnose business processes that form a global process using a choreography analysis. The ...
Presentation
Icon

Firewall Rule Set Inconsistency Characterization by Clustering

Pozo Hidalgo, Sergio; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael (SciTePress, 2008)
Firewall ACLs could have inconsistencies, allowing traffic that should be denied or vice-versa. In this paper, we analyze ...
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)
Firewalls provide the first line of defence of nearly all networked institutions today. However, Firewall ACL management ...
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)
Filtering is a very important issue in next generation networks. These networks consist of a relatively high number of ...
PhD Thesis
Icon

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

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

LORCDB Gestor de bases de datos objeto-relacionales de restricciones

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

Sistemas de inteligencia web basados en redes sociales

Martínez Gasca, Rafael; Rosa Troyano, Francisco Fernando de la (2007)
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)
Models are used in science and engineering for experimentation, analysis, model-based diagnosis, design and ...
Article
Icon

Integración de técnicas basadas en modelos para la determinación de la diagnosis mínima de un sistema

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 (AEPIA), 2006)
Actualmente son dos las comunidades que trabajan en la diagnosis basada en modelos, FDI y DX. Aunque sus investigaciones ...
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)
Design by Contract enables the development of more reliable and robust software applications. In this paper, a methodology that ...
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)
This work presents a proposal to diagnose distributed systems utilizing model-based diagnosis using distributed databases. ...
Article
Icon

Improving the determination of minimal hitting sets in model-based diagnosis using constraint databases

Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Elsevier, 2006)
In model-based diagnosis, minimal hitting sets are usually used to identify which components may fail in a system. This ...
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)
Presentation
Icon

Diagnosis of a Chopper Controlled DC Motor by Boosting

Abad, Pedro J.; Suárez, Antonio J.; Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio (IEEE, 2005)
This paper proposes a methodology to diagnose a transient state of a dynamic system using boosting. The methodology is ...
Presentation
Icon

Multiple decision trees to diagnose a transient state of dynamic systems. Application to a DC motor.

Suárez Fábrega, Antonio J.; Abad Herrera, Pedro J.; Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Ortega Ramírez, Juan Antonio (Edición Digital @tres, 2005)
In this paper, a novel methodology is proposed to diagnose a transient state of a dynamic system us­ing supervised learning. ...
Presentation
Icon

Diagnosis con variables intervalares usando técnicas Max-CSP

Ceballos Guerrero, Rafael; Cejudo, V.; Valle Sevillano, Carmelo del; Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio (Edición Digital @tres, 2005)
En ingeniería son muchas las aplicaciones que usan modelos basados en variables y parámetros cuyos dominios aparecen ...
Presentation
Icon

Analysis and Visualization of the DX Community with Information Extracted from the Web

Rosa Troyano, Francisco Fernando de la; Gómez López, María Teresa; Martínez Gasca, Rafael (Springer, 2005)
The aim of the present work is the graphical representation of the structures of a specific knowledge area with data ...
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)
Article
Icon

Análisis y visualización de comunidades científicas con información extraida de la web

Rosa Troyano, Francisco Fernando de la; Pozo Hidalgo, Sergio; Martínez Gasca, Rafael (IEEE Computer Society, 2005)
PhD Thesis
Icon

Índice para la comparación cualitativa de series temporales

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

Metodología Semicualitativa para Razonar sobre Sistemas Dinámicos

Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Torres Valderrama, Jesús; Toro Bonilla, Miguel; González Abril, Luis; Velasco Morente, Francisco; Angulo Bahón, Cecilio (Scientific Electronic Library Online (SCIELO), 2005)
En este artículo se propone una metodología para razonar sobre los modelos semicualitativos construidos para sistemas ...
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)
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)
Model-based diagnosis enables isolation of faults of a system. The diagnosis process uses a set of sensors (observations) ...
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)
Mobile Multi-Agent Systems (MAS) systems can be used with real success in a growing number of eCommerce applications ...
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)
Many papers related to Constraint Databases (CDBs) theories exist, including proposals that present frameworks for the ...
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)
Models are used in science and engineering for experimentation, analysis, diagnosis or design. In some cases, they can be ...
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)
Model-Based Diagnosis allows to determine why a correctly designed system does not work as it was expected. In this paper, ...
Presentation
Icon

A model integration of DX an FDI techniques for automatic determination of minimal diagnosis

Ceballos Guerrero, Rafael; Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (2005)
Two communities work in parallel in model-based diagnosis: FDI and DX. In this work an integration of the FDI and the DX ...
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)
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)
Assembly Sequence Planning is tackled by modelling and solving a planning problem that considers the execution of the plan ...
Presentation
Icon

Constraint Databases Technology for Polynomial Models Diagnosis

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

Securing Mobile Agent Based Tele-Assistance Systems

Pozo Hidalgo, Sergio; Martínez Gasca, Rafael; Gómez López, María Teresa (SciTePress, 2004)
Nowadays the scientific community is trying to design new techniques in the search for solving security problems in mobile ...
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)
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)
Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge ...
PhD Thesis
Icon

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

Chamizo Guerra, Cristóbal; Velasco Morente, Francisco; Martínez Gasca, Rafael (2003)
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)
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)
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)
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)
This work presents the application of Constraint Programming to the problem of selecting and sequencing assembly operations. ...
Presentation
Icon

A scheduling approach to assembly sequence planning

Valle Sevillano, Carmelo del; Toro Bonilla, Miguel; Camacho, Eduardo F.; Martínez Gasca, Rafael (IEEE Computer Society, 2003)
This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The ...
Presentation
Icon

Diagnosis basada en modelos para la depuración de software mediante técnicas simbólicas.

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Toro Bonilla, Miguel (Edición Digital @tres, 2002)
En la programación es esencial tener herramientas para la diagnosis del software que ayuden al pro­gramador y al ingeniero ...
Presentation
Icon

Localización de centros públicos atractivos y /o repulsivos

Chamizo Guerra, Cristóbal; Velasco Morente, Francisco; Martínez Gasca, Rafael (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 ...
Presentation
Icon

Un modelo de optimización CSP para la sustitución de piezas defectuosas diagnosticadas

Valle Sevillano, Carmelo del; Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Aguilar, J. (Edición Digital @tres, 2002)
Este trabajo presenta un modelo CSP (Problema de Satisfacción de Restricciones) para el secuenciamiento óptimo de tareas ...
Presentation
Icon

Representación Cualitativa del Conocimiento: Aplicación a la Generación Automática de Itinerarios Culturales

Ortega Ramírez, Juan Antonio; Escalona Cuaresma, María José; Torres Valderrama, Jesús; Martínez Gasca, Rafael; Mejías Risoto, Manuel; Márquez, J.M. (Digital @tres, 2002)
La expresividad que el conocimiento cualitativo puede ofrecerá la hora de expresar una consulta, es aprovechada en este ...
Presentation
Icon

Diagnosis progresiva en el tiempo de sistemas dinámicos

Suárez Fábrega, Antonio J.; Abad Herrera, Pedro J.; Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael (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 ...
Presentation
Icon

Metodología para la Representación Gráfica de Relaciones Cualitativas entre Tópicos de Interés

Rosa Troyano, Francisco Fernando de la; González Abril, Luis; Martínez Gasca, Rafael; Velasco Morente, Francisco (Edición Digital @tres, 2002)
En este trabajo presentamos una metodología que permite cuantificar y representar gráficamen­te el grado de similitud entre ...
Presentation
Icon

Using Supervised Learning Techniques for Diagnosis of Dynamic Systems

Abad, Pedro J.; Suárez, Antonio J.; Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio (2002)
This paper describes an approach based on supervised learning techniques for the diagnosis of dynamic systems. The methodology ...
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)
In most cases the models for experimentation, analysis, or design in engineering applications take into account only ...
Presentation
Icon

Max-CSP Approach for Software Diagnosis

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Toro Bonilla, Miguel (Springer, 2002)
In software development is essential to have tools for the software diagnosis to help the programmers and development ...
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)
La aplicación de métodos de diagnosis basada en modelos permite obtener los posibles componentes involucrados en el ...
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)
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)
In this paper is proposed a semiquantitative methodology to study models of dynamic systems with qualitative and quantitative ...
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)
In this paper, the study of systems that evolve in time by means of the comparison of time series is proposed. An improvement ...
Presentation
Icon

Arquitectura de un crawler para extraer las estructuras y contenidos de recursos electrónicos

Rosa Troyano, Francisco Fernando de la; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Ceballos Guerrero, Rafael (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2002)
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)
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)
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)
La detección y diagnosis del funcionamiento anómalo de mecanismos son importantes debido a las actuales demandas económicas ...
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)
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)
Configuration tasks are an important application area in engineering design. The proposed solving techniques use either a ...
Presentation
Icon

Searching for similar semiqualitative temporal patterns in time-series databases

Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel (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. ...
Presentation
Icon

Estudio de sistemas semicualitativos con restricciones. Aplicación a un modelo logístico con retraso.

Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Torres Valderrama, Jesús; González Romano, José Mariano (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 ...
Article
Icon

Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos y Razonamiento con Intervalos. Presentación de la Monografía.

Toro Bonilla, Miguel; Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael (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 ...
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)
Esta monografía, y en particular este artículo, nace con la intención, por un lado, de presentar el estado actual de las ...
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)
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)
En este artículo se propone una nueva metodología pensada para obtener los patrones de comportamiento de los modelos ...
Chapter of Book
Icon

Using constraint programming framework for Semiqualitative Reasoning

Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel; Torres Valderrama, Jesús; Cordero Valle, Juan Manuel (Edición Digital @tres, 2000)
A semiqualitative model is the representation of the world by means of qualitative and quantitative knowledge. It is ...
Chapter of Book
Icon

Semiqualitative Temporal Patterns in Time-Series Databases

Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Galán Morillo, Francisco José; Cañete Valdeón, José Miguel (Edición Digital @tres, 2000)
A way to obtain behaviour patterns of semiqualitative models of dynamic systems automatically is proposed in this paper. ...
PhD Thesis
Presentation
Icon

Automatic Semiqualitative Analysis: Application to a Biometallurgical System

Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel (Springer, 1998)
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)
A new method to incorporate qualitative knowledge in semiqualitative systems is presented. In these systems qualitative ...
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)