Rafael M. Gasca

110 papers A 2B 7C 4Journal 44Unranked 51
YearRankTypeTitle / Venue / Authors
2025 J jnl
Business process models and simulation to enable GDPR compliance.
Int. J. Inf. Sec.
Ángel Jesús Varela-Vaca, María Teresa Gómez-López, Yolanda Morales Zamora, Rafael M. Gasca
2025 J jnl
Informed decision-making in prioritising product variants.
PeerJ Comput. Sci.
Diana Borrego, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, Rafael M. Gasca
2024 J jnl
Automated trusted collaborative processes through blockchain & IoT integration: The fraud detection case.
Internet Things
Ángel Jesús Varela-Vaca, Rafael M. Gasca, David Iglesias, J. M. Gónzalez-Gutiérrez
2024 J jnl
Enabling security risk assessment and management for business process models.
J. Inf. Secur. Appl.
David Garcia Rosado, Luis Enrique Sánchez, Ángel Jesús Varela-Vaca, Antonio Santos-Olmo, María Teresa Gómez-López, Rafael M. Gasca, Eduardo Fernández-Medina
2023 J jnl
Feature models to boost the vulnerability management process.
J. Syst. Softw.
Ángel Jesús Varela-Vaca, Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca, Antonio Germán Márquez
2022 J jnl
Reasoning on the usage control security policies over data artifact business process models.
Comput. Sci. Inf. Syst.
Montserrat Estañol, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, Ernest Teniente, Rafael M. Gasca
2021 J jnl
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems.
Comput. Ind.
Ángel Jesús Varela-Vaca, David Garcia Rosado, Luis Enrique Sánchez, María Teresa Gómez-López, Rafael M. Gasca, Eduardo Fernández-Medina
2021 J jnl
Decision-making support for input data in business processes according to former instances.
Comput. Sci. Inf. Syst.
José Miguel Pérez-Álvarez, Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca, Paolo Ceravolo
2021 J jnl
Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules.
Expert Syst. Appl.
Rafael Ceballos, Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca
2021 J jnl
Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing.
IEEE Access
Belén Ramos-Gutiérrez, María Teresa Gómez-López, Diana Borrego, Rafael Ceballos, Rafael M. Gasca, Antonio Barea
2020 — conf
AMADEUS: towards the AutoMAteD secUrity teSting.
SPLC (A)
Ángel Jesús Varela-Vaca, Rafael M. Gasca, Jose Antonio Carmona-Fombella, María Teresa Gómez-López
2020 — conf
Definition and Verification of Security Configurations of Cyber-Physical Systems.
CyberICPS/SECPRE/ADIoT@ESORICS
Ángel Jesús Varela-Vaca, David Garcia Rosado, Luis Enrique Sánchez, María Teresa Gómez-López, Rafael M. Gasca, Eduardo Fernández-Medina
2020 J jnl
Prognosis of multiple instances in time-aware declarative business process models.
Comput. Ind.
Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca
2020 J jnl
Verifying the manipulation of data objects according to business process and data models.
Knowl. Inf. Syst.
José Miguel Pérez-Álvarez, María Teresa Gómez-López, Rik Eshuis, Marco Montali, Rafael M. Gasca
2019 J jnl
Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models.
IEEE Access
Angel Jesus Varela-Vaca, Luisa Parody, Rafael M. Gasca, María Teresa Gómez-López
2017 — conf
FABIOLA: Defining the Components for Constraint Optimization Problems in Big Data Environment.
ISD
Luisa Parody, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, Rafael M. Gasca
2017 — ch.
Object Relational Constraint Databases for GIS.
Encyclopedia of GIS
María Teresa Gómez-López, Rafael M. Gasca
2016 — conf
A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models.
BIS
Ángel Jesús Varela-Vaca, Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca
2016 — conf
Computing Alignments with Constraint Programming: The Acyclic Case.
ATAED@Petri Nets/ACSD
María Teresa Gómez-López, Diana Borrego, Josep Carmona, Rafael M. Gasca
2016 — conf
Governance Knowledge Management and Decision Support Using Fuzzy Governance Maps.
Business Process Management Workshops
José Miguel Pérez-Álvarez, María Teresa Gómez-López, Angel Jesus Varela-Vaca, Francisco Fernando de la Rosa Troyano, Rafael M. Gasca
2016 — conf
Guiding the Creation of Choreographed Processes with Multiple Instances Based on Data Models.
Business Process Management Workshops
María Teresa Gómez-López, José Miguel Pérez-Álvarez, Ángel Jesús Varela-Vaca, Rafael M. Gasca
2016 — conf
Hybrid Diagnosis Applied to Multiple Instances in Business Processes.
BMMDS/EMMSAD
Rafael Ceballos, Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca
2016 J jnl
Hybrid business process modeling for the optimization of outcome data.
Inf. Softw. Technol.
Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca
2016 B conf
PAIS-DQ: Extending process-aware information systems to support data quality in PAIS life-cycle.
RCIS
Luisa Parody, María Teresa Gómez-López, Isabel Bermejo, Ismael Caballero, Rafael M. Gasca, Mario Piattini
2016 — conf
Process Instance Query Language to Include Process Performance Indicators in DMN.
EDOC Workshops
José Miguel Pérez-Álvarez, María Teresa Gómez-López, Luisa Parody, Rafael M. Gasca
2015 J jnl
Automating correctness verification of artifact-centric business process models.
Inf. Softw. Technol.
Diana Borrego, Rafael M. Gasca, María Teresa Gómez-López
2015 J jnl
Compliance validation and diagnosis of business data constraints in business processes at runtime.
Inf. Syst.
María Teresa Gómez-López, Rafael M. Gasca, José Miguel Pérez-Álvarez
2015 J jnl
Formalization of security patterns as a means to infer security controls in business processes.
Log. J. IGPL
Angel Jesus Varela-Vaca, Rafael M. Gasca
2014 — conf
Data State Description for the Migration to Activity-Centric Business Process Model Maintaining Legacy Databases.
BIS
María Teresa Gómez-López, Diana Borrego, Rafael M. Gasca
2014 J jnl
Decision-Making Support for the Correctness of Input Data at Runtime in Business Processes.
Int. J. Cooperative Inf. Syst.
María Teresa Gómez-López, Rafael M. Gasca, José Miguel Pérez-Álvarez
2014 — conf
Prognosing the Compliance of Declarative Business Processes Using Event Trace Robustness.
OTM Conferences
María Teresa Gómez-López, Luisa Parody, Rafael M. Gasca, Stefanie Rinderle-Ma
2014 — conf
Service Level Agreement for Data Quality Governed By ISO 8000-1X0.
ICIQ
Ismael Caballero, Luisa Parody, Isabel Bermejo, María Teresa Gómez-López, Rafael M. Gasca, Mario Piattini
2014 J jnl
Using Constraint Programming in Selection Operators for Constraint Databases.
Expert Syst. Appl.
María Teresa Gómez-López, Rafael M. Gasca
2013 — conf
18K: An implementation of the ISO 8000-1×0.
ICIQ
Ismael Caballero, Isabel Bermejo, Rafael M. Gasca, Luisa Parody, Mario Piattini, María Teresa Gómez-López
2013 B conf
CombiS-BP editor: Combining declarative and imperative languages in BP modelling: Demonstration paper.
RCIS
Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca, Angel Jesus Varela-Vaca
2013 — conf
Data-Oriented Declarative Language for Optimizing Business Processes.
ISD
Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca
2013 J jnl
Diagnosing correctness of semantic workflow models.
Data Knowl. Eng.
Diana Borrego, Rik Eshuis, María Teresa Gómez-López, Rafael M. Gasca
2013 — conf
Explaining the Incorrect Temporal Events during Business Process Monitoring by Means of Compliance Rules and Model-Based Diagnosis.
EDOC Workshops
María Teresa Gómez-López, Rafael M. Gasca, Stefanie Rinderle-Ma
2013 J jnl
Minimizing test-point allocation to improve diagnosability in business process models.
J. Syst. Softw.
Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca
2013 J jnl
Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach.
Inf. Softw. Technol.
Angel Jesus Varela-Vaca, Rafael M. Gasca
2012 — conf
A Security Pattern-Driven Approach toward the Automation of Risk Treatment in Business Processes.
CISIS/ICEUTE/SOCO Special Sessions
Angel Jesus Varela-Vaca, Robert Warschofsky, Rafael M. Gasca, Sergio Pozo, Christoph Meinel
2012 J jnl
CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework.
J. Syst. Softw.
Sergio Pozo, Rafael M. Gasca, Antonia M. Reina Quintero, Angel Jesus Varela-Vaca
2012 — conf
Extending BPMN 2.0 for Modelling the Combination of Activities That Involve Data Constraints.
BPMN
Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca
2012 J jnl
FT-FW: A cluster-based fault-tolerant architecture for stateful firewalls.
Comput. Secur.
Pablo Neira Ayuso, Rafael M. Gasca, Laurent Lefèvre
2011 — conf
Constraint-Driven Approach to Support Input Data Decision-Making in Business Process Management Systems.
ISD
María Teresa Gómez-López, Rafael M. Gasca, Luisa Parody, Diana Borrego
2011 C conf
OPBUS: Risk-aware Framework for the Conformance of Security-quality Requirements in Business Processes.
SECRYPT
Angel Jesus Varela-Vaca, Rafael M. Gasca, Sergio Pozo
2011 — conf
Using Distributed CSPs to Model Business Processes Agreement in Software Multiprocess.
ICAART (2)
Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca, Diana Borrego
2010 B conf
A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs.
AINA
Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca
2010 J jnl
Communicating between the kernel and user-space in Linux using Netlink sockets.
Softw. Pract. Exp.
Pablo Neira Ayuso, Rafael M. Gasca, Laurent Lefèvre
2010 — ed.
Current Topics in Artificial Intelligence, 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009. Selected Papers
CAEPIA
Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca
2010 — conf
Improving the Diagnosability of Business Process Management Systems Using Test Points.
Business Process Management Workshops
Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca, Rafael Ceballos
2010 — conf
Run-Time Auditing for Business Processes Data Using Constraints.
Business Process Management Workshops
María Teresa Gómez-López, Rafael M. Gasca
2009 J jnl
A Heuristic Process for Local Inconsistency Diagnosis in Firewall Rule Sets.
J. Networks
Sergio Pozo, Rafael Ceballos, Rafael M. Gasca
2009 J jnl
Demystifying Cluster-Based Fault-Tolerant Firewalls.
IEEE Internet Comput.
Pablo Neira Ayuso, Rafael M. Gasca, Laurent Lefèvre
2009 J jnl
Developing a labelled object-relational constraint database architecture for the projection operator.
Data Knowl. Eng.
María Teresa Gómez-López, Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle
2009 C conf
Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall ACLs.
SECRYPT
Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca, Rafael Ceballos
2009 — conf
Efficient Data Structures for Local Inconsistency Detection in Firewall ACL Updates.
ICEIS (3)
Sergio Pozo Hidalgo, Rafael M. Gasca, Francisco Fernando de la Rosa Troyano
2009 — conf
MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT.
ICCSA (2)
Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca
2008 — conf
AFPL, an Abstract Language Model for Firewall ACLs.
ICCSA (2)
Sergio Pozo, Rafael Ceballos, Rafael M. Gasca
2008 J jnl
Automatic extraction of social networks by topics of interest.
Int. J. Comput. Appl. Technol.
Fernando de la Rosa, Rafael M. Gasca
2008 J jnl
Efficient packet filtering in wireless ad hoc networks.
IEEE Commun. Mag.
Romano Fantacci, Leonardo Maccari, Pablo Neira Ayuso, Rafael M. Gasca
2008 — conf
Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates.
SECURWARE
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca
2008 — conf
Firewall Rule Set Inconsistency Characterization by Clustering.
WOSIS
Sergio Pozo, Rafael Ceballos, Rafael M. Gasca
2008 A conf
Multiprimary Support for the Availability of Cluster-Based Stateful Firewalls Using FT-FW.
ESORICS
Pablo Neira Ayuso, Rafael M. Gasca, Laurent Lefèvre
2008 — conf
Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets.
SECURWARE
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca
2008 B conf
Towards a Dependable Architecture for Highly Available Internet Services.
ARES
Pablo Neira Ayuso, Laurent Lefèvre, Denis Barbaron, Rafael M. Gasca
2007 J jnl
A compiled model for faults diagnosis based on different techniques.
AI Commun.
Rafael Ceballos, María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle
2007 B conf
CSP-Based Firewall Rule Set Diagnosis using Security Policies.
ARES
Sergio Pozo, Rafael Ceballos, Rafael M. Gasca
2007 — conf
NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs.
CAEPIA
Rafael M. Gasca, Carmelo Del Valle, María Teresa Gómez-López, Rafael Ceballos
2006 — conf
Ampliación de la sintaxis y la semántica de SQL para el tratamiento de datos tipo restricción.
JISBD
María Teresa Gómez-López, Rafael M. Gasca
2006 — conf
Distributed Model-Based Diagnosis using Object-Relational Constraint Databases.
AINA (2)
María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, Sergio Pozo
2006 B conf
High Availability support for the design of stateful networking equipments.
ARES
Pablo Neira Ayuso, Laurent Lefèvre, Rafael M. Gasca
2005 — conf
A Topological-Based Method for Allocating Sensors by Using CSP Techniques.
CAEPIA
Rafael Ceballos, Victor Cejudo, Rafael M. Gasca, Carmelo Del Valle
2005 J jnl
A study of the similarities between topics.
Comput. Stat.
Luis González Abril, Francisco Velasco Morente, Rafael M. Gasca
2005 — conf
An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way.
MICAI
Rafael Ceballos, Sergio Pozo, Carmelo Del Valle, Rafael M. Gasca
2005 C conf
Analysis and Visualization of the DX Community with Information Extracted from the Web.
DEXA
F. T. de la Rosa, María Teresa Gómez-López, Rafael M. Gasca
2005 — conf
Diagnosing Errors in DbC Programs Using Constraint Programming.
CAEPIA
Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Diana Borrego
2005 — conf
Diagnosis of a Chopper Controlled DC Motor by Boosting.
CIMCA/IAWTIC
Pedro J. Abad, Antonio J. Suárez, Rafael M. Gasca, Juan Antonio Ortega
2005 — conf
Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems.
CAEPIA
Rafael M. Gasca, Carmelo Del Valle, Victor Cejudo, Irene Barba
2005 — conf
ORCDB: Arquitectura para la extensión de la semántica de SQL en bases de datos restrictivas orientadas a objetos con restricciones polinómicas de igualdad.
JISBD
María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, Victor Cejudo
2005 C conf
Querying a Polynomial Object-Relational Constraint Database in Model-Based Diagnosis.
DEXA
María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, F. T. de la Rosa
2004 — conf
Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-based Diagnosis.
CDB
María Teresa Gómez-López, Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle
2004 — conf
Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering.
IBERAMIA
María Teresa Gómez-López, Rafael Ceballos, Rafael M. Gasca, Sergio Pozo
2004 — conf
Securing Mobile Agent Based Tele-Assistance Systems.
TELECARE
Sergio Pozo, Rafael M. Gasca, María Teresa Gómez-López
2003 — conf
A Constraint Programming Approach For Software Diagnosis.
AADEBUG
Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Fernando de la Rosa
2003 — conf
A Genetic Algorithm for Assembly Sequence Planning.
IWANN (2)
Carmelo Del Valle, Rafael M. Gasca, Miguel Toro, Eduardo F. Camacho
2003 — conf
Arquitectura para la Consulta a Bases de Datos Restrictivas.
JISBD
María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, Rafael Ceballos
2003 J jnl
CSP aplicados a la diagnosis basada en modelos.
Inteligencia Artif.
Rafael Ceballos, Carmelo Del Valle, María Teresa Gómez-López, Rafael M. Gasca
2003 J jnl
CSP y Bases de Datos Restrictivas.
Inteligencia Artif.
María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, Rafael Ceballos
2003 B conf
On Selecting and Scheduling Assembly Plans Using Constraint Programming.
KES
Carmelo Del Valle, Antonio A. Márquez, Rafael M. Gasca, Miguel Toro
2002 J jnl
A Framework for Semiqualitative Reasoning in Engineering Applications.
Appl. Artif. Intell.
Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro
2002 — conf
A Semiquantitative Approach to Study Semiqualitative Systems.
IBERAMIA
Antonio Ortega, Rafael M. Gasca, Miguel Toro, Jesús Torres
2002 — conf
Arquitectura de un Crawler para Extraer las Estrcturas y Contenidos de Recursos Electrónicos.
JISBD
Francisco Fernando de la Rosa Troyano, Rafael M. Gasca, Carmelo Del Valle, Rafael Ceballos
2002 J jnl
Diagnosis de Sistemas Dinámicos Basada en Aprendizaje Supervisado Off-Line.
Computación y Sistemas
Pedro J. Abad, Antonio J. Suárez, Rafael M. Gasca, Juan Antonio Ortega
2002 — conf
Diagnosis de Software usando técnicas Max-CSP.
JISBD
R. Cevallos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro
2002 J jnl
Diagnosis en Fases Tempranas de Sistemas Dinámicos.
Computación y Sistemas
Pedro J. Abad, Antonio J. Suárez, Juan Antonio Ortega, Rafael M. Gasca
2002 — conf
Max-CSP Approach for Software Diagnosis.
IBERAMIA
Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro
2002 — conf
Qualitative Comparison of Temporal Series. QSI.
CCIA
Juan Antonio Ortega, Francisco Javier Cuberos, Rafael M. Gasca, Miguel Toro, Jesús Torres
2002 J jnl
Un modelo CSP para planificación de la sustitución óptima de piezas defectuosas.
Inteligencia Artif.
Carmelo Del Valle, Rafael M. Gasca, Juan Antonio Ortega, María Teresa Gómez-López
2001 J jnl
An Object-Oriented Approach for Learning of Algorithm Design with Sequential Devices and Schemas.
Computación y Sistemas
Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro
2001 J jnl
Comparación Cualitativa de Series Temporales. Índice Cualitativo de Similitud - QSI.
Computación y Sistemas
Juan Antonio Ortega, Francisco Javier Cuberos, Rafael M. Gasca, Miguel Toro
2001 J jnl
Diagnosis basada en modelos polinomicos usando tecnicas simbolicas.
Inteligencia Artif.
Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro
2001 — conf
Metodología para el Análisis Visual de la Evolución de Conceptos en Bases de Datos Textuales.
JBIDI
Francisco Fernando de la Rosa Troyano, Rafael M. Gasca, Juan Antonio Ortega
2001 — conf
Qualitative Reasoning for Software Development Project by Constraint Programming.
ICEIS (1)
Antonio J. Suárez, Pedro J. Abad, Rafael M. Gasca, Juan Antonio Ortega
2001 A conf
Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells.
CP
Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro
2000 J jnl
Aplicacion del Razonamiento Semicualitativo al Modelado y Analisis de Sistemas Económicos.
Inteligencia Artif.
Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro
2000 J jnl
Metodologias cualitativas aplicadas a los sistemas Socioeconomicos y razonamiento con Intervalos.Presentacion.
Inteligencia Artif.
Miguel Toro, Juan Antonio Ortega, Rafael M. Gasca
2000 J jnl
Obtención de patrones de Comportamiento de Modelos Semicualitativos.
Inteligencia Artif.
Juan Antonio Ortega, Rafael M. Gasca, Miguel Toro
1998 — conf
Automatic Semiqualitative Analysis: Application to a Biometallurgical System.
IEA/AIE (Vol. 1)
Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro
1998 — conf
Including Qualitative Knowledge in Semiqualitative Dynamical Systems.
IEA/AIE (Vol. 1)
Juan Antonio Ortega, Rafael M. Gasca, Miguel Toro