Rafael M. Gasca

According to our database1, Rafael M. Gasca authored at least 110 papers between 1998 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Verifying the manipulation of data objects according to business process and data models.
Knowl. Inf. Syst., 2020

Prognosis of multiple instances in time-aware declarative business process models.
Comput. Ind., 2020

AMADEUS: towards the AutoMAteD secUrity teSting.
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

2019
Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models.
IEEE Access, 2019

2017
Object Relational Constraint Databases for GIS.
Proceedings of the Encyclopedia of GIS., 2017

FABIOLA: Defining the Components for Constraint Optimization Problems in Big Data Environment.
Proceedings of the Information Systems Development: Advances in Methods, Tools and Management, 2017

2016
Hybrid business process modeling for the optimization of outcome data.
Inf. Softw. Technol., 2016

PAIS-DQ: Extending process-aware information systems to support data quality in PAIS life-cycle.
Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016

Process Instance Query Language to Include Process Performance Indicators in DMN.
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016

Hybrid Diagnosis Applied to Multiple Instances in Business Processes.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2016

Governance Knowledge Management and Decision Support Using Fuzzy Governance Maps.
Proceedings of the Business Process Management Workshops, 2016

Guiding the Creation of Choreographed Processes with Multiple Instances Based on Data Models.
Proceedings of the Business Process Management Workshops, 2016

A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models.
Proceedings of the Business Information Systems - 19th International Conference, 2016

Computing Alignments with Constraint Programming: The Acyclic Case.
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design ACSD 2016, 2016

2015
Compliance validation and diagnosis of business data constraints in business processes at runtime.
Inf. Syst., 2015

Automating correctness verification of artifact-centric business process models.
Inf. Softw. Technol., 2015

Formalization of security patterns as a means to infer security controls in business processes.
Log. J. IGPL, 2015

2014
Decision-Making Support for the Correctness of Input Data at Runtime in Business Processes.
Int. J. Cooperative Inf. Syst., 2014

Using Constraint Programming in Selection Operators for Constraint Databases.
Expert Syst. Appl., 2014

Prognosing the Compliance of Declarative Business Processes Using Event Trace Robustness.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

Service Level Agreement for Data Quality Governed By ISO 8000-1X0.
Proceedings of the 19th International Conference on Information Quality, 2014

Data State Description for the Migration to Activity-Centric Business Process Model Maintaining Legacy Databases.
Proceedings of the Business Information Systems - 17th International Conference, 2014

2013
Minimizing test-point allocation to improve diagnosability in business process models.
J. Syst. Softw., 2013

Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach.
Inf. Softw. Technol., 2013

Diagnosing correctness of semantic workflow models.
Data Knowl. Eng., 2013

CombiS-BP editor: Combining declarative and imperative languages in BP modelling: Demonstration paper.
Proceedings of the IEEE 7th International Conference on Research Challenges in Information Science, 2013

Data-Oriented Declarative Language for Optimizing Business Processes.
Proceedings of the Information System Development, 2013

18K: An implementation of the ISO 8000-1×0.
Proceedings of the 18th International Conference on Information Quality, 2013

Explaining the Incorrect Temporal Events during Business Process Monitoring by Means of Compliance Rules and Model-Based Diagnosis.
Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference Workshops, 2013

2012
CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework.
J. Syst. Softw., 2012

FT-FW: A cluster-based fault-tolerant architecture for stateful firewalls.
Comput. Secur., 2012

A Security Pattern-Driven Approach toward the Automation of Risk Treatment in Business Processes.
Proceedings of the International Joint Conference CISIS'12-ICEUTE'12-SOCO'12 Special Sessions, 2012

Extending BPMN 2.0 for Modelling the Combination of Activities That Involve Data Constraints.
Proceedings of the Business Process Model and Notation - 4th International Workshop, 2012

2011
OPBUS: Risk-aware Framework for the Conformance of Security-quality Requirements in Business Processes.
Proceedings of the SECRYPT 2011 - Proceedings of the International Conference on Security and Cryptography, Seville, Spain, 18, 2011

A Model-Driven engineering approach with diagnosis of non-conformance of security objectives in business process models.
Proceedings of the Fifth IEEE International Conference on Research Challenges in Information Science, 2011

Contract-based test generation for data flow of business processes using constraint programming.
Proceedings of the Fifth IEEE International Conference on Research Challenges in Information Science, 2011

Constraint-Driven Approach to Support Input Data Decision-Making in Business Process Management Systems.
Proceedings of the Information Systems Development, Reflections, Challenges and New Directions [Proceedings of ISD 2011, Heriot-Watt University, Edinburgh, Scotland, UK, August 24, 2011

Using Distributed CSPs to Model Business Processes Agreement in Software Multiprocess.
Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 2, 2011

2010
Communicating between the kernel and user-space in Linux using Netlink sockets.
Softw. Pract. Exp., 2010

OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes.
Proceedings of the Computational Intelligence in Security for Information Systems 2010, 2010

Run-Time Auditing for Business Processes Data Using Constraints.
Proceedings of the Business Process Management Workshops, 2010

Improving the Diagnosability of Business Process Management Systems Using Test Points.
Proceedings of the Business Process Management Workshops, 2010

A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs.
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010

2009
A Heuristic Process for Local Inconsistency Diagnosis in Firewall Rule Sets.
J. Networks, 2009

Demystifying Cluster-Based Fault-Tolerant Firewalls.
IEEE Internet Comput., 2009

Model-Based Development of firewall rule sets: Diagnosing model inconsistencies.
Inf. Softw. Technol., 2009

Developing a labelled object-relational constraint database architecture for the projection operator.
Data Knowl. Eng., 2009

Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall ACLs.
Proceedings of the SECRYPT 2009, 2009

Efficient Data Structures for Local Inconsistency Detection in Firewall ACL Updates.
Proceedings of the ICEIS 2009, 2009

MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT.
Proceedings of the Computational Science and Its Applications, 2009

2008
Automatic extraction of social networks by topics of interest.
Int. J. Comput. Appl. Technol., 2008

Efficient packet filtering in wireless ad hoc networks.
IEEE Commun. Mag., 2008

Firewall Rule Set Inconsistency Characterization by Clustering.
Proceedings of the Security in Information Systems, 2008

Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates.
Proceedings of the Second International Conference on Emerging Security Information, 2008

Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets.
Proceedings of the Second International Conference on Emerging Security Information, 2008

A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets.
Proceedings of the SECRYPT 2008, 2008

FT-FW: Efficient Connection Failover in Cluster-based Stateful Firewalls.
Proceedings of the 16th Euromicro International Conference on Parallel, 2008

Stateful Firewalling for Wireless Mesh Networks.
Proceedings of the NTMS 2008, 2008

hFT-FW: Hybrid Fault-Tolerance for Cluster-Based Stateful Firewalls.
Proceedings of the 14th International Conference on Parallel and Distributed Systems, 2008

AFPL, an Abstract Language Model for Firewall ACLs.
Proceedings of the Computational Science and Its Applications - ICCSA 2008, International Conference, Perugia, Italy, June 30, 2008

Multiprimary Support for the Availability of Cluster-Based Stateful Firewalls Using FT-FW.
Proceedings of the Computer Security, 2008

Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets.
Proceedings of the The Third International Conference on Availability, 2008

Towards a Dependable Architecture for Highly Available Internet Services.
Proceedings of the The Third International Conference on Availability, 2008

2007
A compiled model for faults diagnosis based on different techniques.
AI Commun., 2007

Mesh Network Firewalling with Bloom Filters.
Proceedings of IEEE International Conference on Communications, 2007

NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs.
Proceedings of the Current Topics in Artificial Intelligence, 2007

CSP-Based Firewall Rule Set Diagnosis using Security Policies.
Proceedings of the The Second International Conference on Availability, 2007

2006
Constraint satisfaction techniques for diagnosing errors in design by contract software.
ACM SIGSOFT Softw. Eng. Notes, 2006

An integration of model-based techniques for determining the minimal diagnosis.
Inteligencia Artif., 2006

Ampliación de la sintaxis y la semántica de SQL para el tratamiento de datos tipo restricción.
Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), 2006

Distributed Model-Based Diagnosis using Object-Relational Constraint Databases.
Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

High Availability support for the design of stateful networking equipments.
Proceedings of the The First International Conference on Availability, 2006

2005
Metodología Semicualitativa para Razonar sobre Sistemas Dinámicos.
Computación y Sistemas, 2005

A study of the similarities between topics.
Comput. Stat., 2005

An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way.
Proceedings of the MICAI 2005: Advances in Artificial Intelligence, 2005

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.
Proceedings of the Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), 2005

Analysis and Visualization of the DX Community with Information Extracted from the Web.
Proceedings of the Database and Expert Systems Applications, 16th International Conference, 2005

Querying a Polynomial Object-Relational Constraint Database in Model-Based Diagnosis.
Proceedings of the Database and Expert Systems Applications, 16th International Conference, 2005

Diagnosis of a Chopper Controlled DC Motor by Boosting.
Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005

Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems.
Proceedings of the Current Topics in Artificial Intelligence, 2005

Diagnosing Errors in DbC Programs Using Constraint Programming.
Proceedings of the Current Topics in Artificial Intelligence, 2005

A Topological-Based Method for Allocating Sensors by Using CSP Techniques.
Proceedings of the Current Topics in Artificial Intelligence, 2005

2004
Securing Mobile Agent Based Tele-Assistance Systems.
Proceedings of the Tele-Care and Collaborative Virtual Communities in Elderly Care, 2004

Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering.
Proceedings of the Advances in Artificial Intelligence, 2004

Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-based Diagnosis.
Proceedings of the Constraint Databases, 2004

2003
CSP y Bases de Datos Restrictivas.
Inteligencia Artif., 2003

CSP aplicados a la diagnosis basada en modelos.
Inteligencia Artif., 2003

On Selecting and Scheduling Assembly Plans Using Constraint Programming.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003

Arquitectura para la Consulta a Bases de Datos Restrictivas.
Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

A Genetic Algorithm for Assembly Sequence Planning.
Proceedings of the Artificial Neural Nets Problem Solving Methods, 2003

2002
Diagnosis en Fases Tempranas de Sistemas Dinámicos.
Computación y Sistemas, 2002

Diagnosis de Sistemas Dinámicos Basada en Aprendizaje Supervisado Off-Line.
Computación y Sistemas, 2002

Un modelo CSP para planificación de la sustitución óptima de piezas defectuosas.
Inteligencia Artif., 2002

A Framework for Semiqualitative Reasoning in Engineering Applications.
Appl. Artif. Intell., 2002

Arquitectura de un Crawler para Extraer las Estrcturas y Contenidos de Recursos Electrónicos.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

Diagnosis de Software usando técnicas Max-CSP.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

A Semiquantitative Approach to Study Semiqualitative Systems.
Proceedings of the Advances in Artificial Intelligence, 2002

Max-CSP Approach for Software Diagnosis.
Proceedings of the Advances in Artificial Intelligence, 2002

Qualitative Comparison of Temporal Series. QSI.
Proceedings of the Topics in Artificial Intelligence, 5th Catalonian Conference on AI, 2002

2001
Comparación Cualitativa de Series Temporales. Índice Cualitativo de Similitud - QSI.
Computación y Sistemas, 2001

An Object-Oriented Approach for Learning of Algorithm Design with Sequential Devices and Schemas.
Computación y Sistemas, 2001

Diagnosis basada en modelos polinomicos usando tecnicas simbolicas.
Inteligencia Artif., 2001

Metodología para el Análisis Visual de la Evolución de Conceptos en Bases de Datos Textuales.
Proceedings of the II Jornadas de Bibliotecas Digitales, 2001

Qualitative Reasoning for Software Development Project by Constraint Programming.
Proceedings of the ICEIS 2001, 2001

Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells.
Proceedings of the Principles and Practice of Constraint Programming, 2001

2000
Metodologias cualitativas aplicadas a los sistemas Socioeconomicos y razonamiento con Intervalos.Presentacion.
Inteligencia Artif., 2000

Obtención de patrones de Comportamiento de Modelos Semicualitativos.
Inteligencia Artif., 2000

Aplicacion del Razonamiento Semicualitativo al Modelado y Analisis de Sistemas Económicos.
Inteligencia Artif., 2000

1998
Including Qualitative Knowledge in Semiqualitative Dynamical Systems.
Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998

Automatic Semiqualitative Analysis: Application to a Biometallurgical System.
Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998


  Loading...