Rafael M. Gasca
Orcid: 0000-0003-2348-7424
According to our database1,
Rafael M. Gasca
authored at least 119 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Automated trusted collaborative processes through blockchain & IoT integration: The fraud detection case.
Internet Things, April, 2024
J. Inf. Secur. Appl., 2024
2023
2022
Reasoning on the usage control security policies over data artifact business process models.
Comput. Sci. Inf. Syst., 2022
2021
Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules.
Expert Syst. Appl., 2021
Decision-making support for input data in business processes according to former instances.
Comput. Sci. Inf. Syst., 2021
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems.
Comput. Ind., 2021
Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing.
IEEE Access, 2021
2020
Verifying the manipulation of data objects according to business process and data models.
Knowl. Inf. Syst., 2020
Comput. Ind., 2020
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020
Proceedings of the Computer Security - ESORICS 2020 International Workshops, 2020
2019
Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models.
IEEE Access, 2019
2017
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
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
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2016
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
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
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
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
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
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
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
Softw. Pract. Exp., 2010
Proceedings of the Computational Intelligence in Security for Information Systems 2010, 2010
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
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010
2009
J. Networks, 2009
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
Proceedings of the Computational Science and Its Applications, 2009
2008
Int. J. Comput. Appl. Technol., 2008
Firewall Rule Set Inconsistency Characterization by Clustering.
Proceedings of the Security in Information Systems, 2008
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
Proceedings of the 16th Euromicro International Conference on Parallel, 2008
Proceedings of the 14th International Conference on Parallel and Distributed Systems, 2008
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
Proceedings of the The Third International Conference on Availability, 2008
Proceedings of the The Third International Conference on Availability, 2008
2007
AI Commun., 2007
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
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
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
Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006
Proceedings of the The First International Conference on Availability, 2006
2005
Computación y Sistemas, 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
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
Proceedings of the Current Topics in Artificial Intelligence, 2005
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
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
Proceedings of the Artificial Neural Nets Problem Solving Methods, 2003
2002
Computación y Sistemas, 2002
Inteligencia Artif., 2002
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
Proceedings of the Advances in Artificial Intelligence, 2002
Proceedings of the Advances in Artificial Intelligence, 2002
Proceedings of the Topics in Artificial Intelligence, 5th Catalonian Conference on AI, 2002
2001
Computación y Sistemas, 2001
An Object-Oriented Approach for Learning of Algorithm Design with Sequential Devices and Schemas.
Computación y Sistemas, 2001
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
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
Inteligencia Artif., 2000
Aplicacion del Razonamiento Semicualitativo al Modelado y Analisis de Sistemas Económicos.
Inteligencia Artif., 2000
1998
Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998
Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998