Остановите войну!
for scientists:
default search action
Rafael M. Gasca
- > Home > Persons > Rafael M. Gasca
Publications
- 2023
- [j44]Ángel Jesús Varela-Vaca, Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca, A. Germán Márquez:
Feature models to boost the vulnerability management process. J. Syst. Softw. 195: 111541 (2023) - 2022
- [j43]Montserrat Estañol, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, Ernest Teniente, Rafael M. Gasca:
Reasoning on the usage control security policies over data artifact business process models. Comput. Sci. Inf. Syst. 19(2): 547-572 (2022) - 2021
- [j42]Belén Ramos-Gutiérrez, María Teresa Gómez-López, Diana Borrego, Rafael Ceballos, Rafael M. Gasca, Antonio Barea:
Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing. IEEE Access 9: 42707-42723 (2021) - [j41]Á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:
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems. Comput. Ind. 132: 103524 (2021) - [j40]José Miguel Pérez-Álvarez, Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca, Paolo Ceravolo:
Decision-making support for input data in business processes according to former instances. Comput. Sci. Inf. Syst. 18(3): 835-865 (2021) - [j39]Rafael Ceballos, Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca:
Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules. Expert Syst. Appl. 183: 115212 (2021) - 2020
- [j38]Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca:
Prognosis of multiple instances in time-aware declarative business process models. Comput. Ind. 120: 103243 (2020) - [j37]José Miguel Pérez-Álvarez, María Teresa Gómez-López, Rik Eshuis, Marco Montali, Rafael M. Gasca:
Verifying the manipulation of data objects according to business process and data models. Knowl. Inf. Syst. 62(7): 2653-2683 (2020) - [c73]Á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:
Definition and Verification of Security Configurations of Cyber-Physical Systems. CyberICPS/SECPRE/ADIoT@ESORICS 2020: 135-155 - [c72]Ángel Jesús Varela-Vaca, Rafael M. Gasca, Jose Antonio Carmona-Fombella, María Teresa Gómez-López:
AMADEUS: towards the AutoMAteD secUrity teSting. SPLC (A) 2020: 11:1-11:12 - 2019
- [j36]Angel Jesus Varela-Vaca, Luisa Parody, Rafael M. Gasca, María Teresa Gómez-López:
Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models. IEEE Access 7: 26448-26465 (2019) - 2017
- [c71]Luisa Parody, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, Rafael M. Gasca:
FABIOLA: Defining the Components for Constraint Optimization Problems in Big Data Environment. ISD 2017 - [r1]María Teresa Gómez-López, Rafael M. Gasca:
Object Relational Constraint Databases for GIS. Encyclopedia of GIS 2017: 1449-1457 - 2016
- [j35]Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca:
Hybrid business process modeling for the optimization of outcome data. Inf. Softw. Technol. 70: 140-154 (2016) - [c70]María Teresa Gómez-López, Diana Borrego, Josep Carmona, Rafael M. Gasca:
Computing Alignments with Constraint Programming: The Acyclic Case. ATAED@Petri Nets/ACSD 2016: 96-110 - [c69]Ángel Jesús Varela-Vaca, Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca:
A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models. BIS 2016: 289-301 - [c68]José Miguel Pérez-Álvarez, María Teresa Gómez-López, Angel Jesus Varela-Vaca, Fco. Fernando de la Rosa Troyano, Rafael M. Gasca:
Governance Knowledge Management and Decision Support Using Fuzzy Governance Maps. Business Process Management Workshops 2016: 208-219 - [c67]María Teresa Gómez-López, José Miguel Pérez-Álvarez, Ángel Jesús Varela-Vaca, Rafael M. Gasca:
Guiding the Creation of Choreographed Processes with Multiple Instances Based on Data Models. Business Process Management Workshops 2016: 239-251 - [c66]Rafael Ceballos, Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca:
Hybrid Diagnosis Applied to Multiple Instances in Business Processes. BMMDS/EMMSAD 2016: 212-227 - [c65]José Miguel Pérez-Álvarez, María Teresa Gómez-López, Luisa Parody, Rafael M. Gasca:
Process Instance Query Language to Include Process Performance Indicators in DMN. EDOC Workshops 2016: 1-8 - [c64]Luisa Parody, María Teresa Gómez-López, Isabel Bermejo, Ismael Caballero, Rafael M. Gasca, Mario Piattini:
PAIS-DQ: Extending process-aware information systems to support data quality in PAIS life-cycle. RCIS 2016: 1-12 - 2015
- [j33]Diana Borrego, Rafael M. Gasca, María Teresa Gómez-López:
Automating correctness verification of artifact-centric business process models. Inf. Softw. Technol. 62: 187-197 (2015) - [j32]María Teresa Gómez-López, Rafael M. Gasca, José Miguel Pérez-Álvarez:
Compliance validation and diagnosis of business data constraints in business processes at runtime. Inf. Syst. 48: 26-43 (2015) - 2014
- [j31]María Teresa Gómez-López, Rafael M. Gasca:
Using Constraint Programming in Selection Operators for Constraint Databases. Expert Syst. Appl. 41(15): 6773-6785 (2014) - [j30]María Teresa Gómez-López, Rafael M. Gasca, José Miguel Pérez-Álvarez:
Decision-Making Support for the Correctness of Input Data at Runtime in Business Processes. Int. J. Cooperative Inf. Syst. 23(4) (2014) - [c63]María Teresa Gómez-López, Diana Borrego, Rafael M. Gasca:
Data State Description for the Migration to Activity-Centric Business Process Model Maintaining Legacy Databases. BIS 2014: 86-97 - [c62]Ismael Caballero, Luisa Parody, Isabel Bermejo, María Teresa Gómez-López, Rafael M. Gasca, Mario Piattini:
Service Level Agreement for Data Quality Governed By ISO 8000-1X0. ICIQ 2014 - [c61]María Teresa Gómez-López, Luisa Parody, Rafael M. Gasca, Stefanie Rinderle-Ma:
Prognosing the Compliance of Declarative Business Processes Using Event Trace Robustness. OTM Conferences 2014: 327-344 - 2013
- [j29]Diana Borrego, Rik Eshuis, María Teresa Gómez-López, Rafael M. Gasca:
Diagnosing correctness of semantic workflow models. Data Knowl. Eng. 87: 167-184 (2013) - [j27]Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca:
Minimizing test-point allocation to improve diagnosability in business process models. J. Syst. Softw. 86(11): 2725-2741 (2013) - [c60]María Teresa Gómez-López, Rafael M. Gasca, Stefanie Rinderle-Ma:
Explaining the Incorrect Temporal Events during Business Process Monitoring by Means of Compliance Rules and Model-Based Diagnosis. EDOC Workshops 2013: 163-172 - [c59]Ismael Caballero, Isabel Bermejo, Rafael M. Gasca, Luisa Parody, Mario Piattini, María Teresa Gómez-López:
18K: An implementation of the ISO 8000-1×0. ICIQ 2013 - [c58]Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca:
Data-Oriented Declarative Language for Optimizing Business Processes. ISD 2013: 59-72 - [c57]Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca, Angel Jesus Varela-Vaca:
CombiS-BP editor: Combining declarative and imperative languages in BP modelling: Demonstration paper. RCIS 2013: 1-2 - 2012
- [c56]Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca:
Extending BPMN 2.0 for Modelling the Combination of Activities That Involve Data Constraints. BPMN 2012: 68-82 - 2011
- [c54]Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca, Diana Borrego:
Using Distributed CSPs to Model Business Processes Agreement in Software Multiprocess. ICAART (2) 2011: 434-438 - [c53]María Teresa Gómez-López, Rafael M. Gasca, Luisa Parody, Diana Borrego:
Constraint-Driven Approach to Support Input Data Decision-Making in Business Process Management Systems. ISD 2011: 457-469 - 2010
- [c48]María Teresa Gómez-López, Rafael M. Gasca:
Run-Time Auditing for Business Processes Data Using Constraints. Business Process Management Workshops 2010: 146-157 - [c47]Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca, Rafael Ceballos:
Improving the Diagnosability of Business Process Management Systems Using Test Points. Business Process Management Workshops 2010: 194-200 - 2009
- [j23]María Teresa Gómez-López, Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle:
Developing a labelled object-relational constraint database architecture for the projection operator. Data Knowl. Eng. 68(1): 146-172 (2009) - 2007
- [j17]Rafael Ceballos, María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle:
A compiled model for faults diagnosis based on different techniques. AI Commun. 20(1): 7-16 (2007) - [c30]Rafael M. Gasca, Carmelo Del Valle, María Teresa Gómez-López, Rafael Ceballos:
NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs. CAEPIA 2007: 160-169 - 2006
- [j16]Rafael Ceballos, María Teresa Gómez-López, Rafael Martinez Gasca, Carmelo Del Valle:
An integration of model-based techniques for determining the minimal diagnosis. Inteligencia Artif. 10(31): 41-52 (2006) - [c27]María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, Sergio Pozo:
Distributed Model-Based Diagnosis using Object-Relational Constraint Databases. AINA (2) 2006: 866-870 - [c26]María Teresa Gómez-López, Rafael M. Gasca:
Ampliación de la sintaxis y la semántica de SQL para el tratamiento de datos tipo restricción. JISBD 2006: 471-476 - 2005
- [c21]Fernando de la Rosa Troyano, María Teresa Gómez-López, Rafael M. Gasca:
Analysis and Visualization of the DX Community with Information Extracted from the Web. DEXA 2005: 726-735 - [c20]María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, Fernando de la Rosa Troyano:
Querying a Polynomial Object-Relational Constraint Database in Model-Based Diagnosis. DEXA 2005: 848-857 - [c19]María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, Victor Cejudo:
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 2005: 221-230 - 2004
- [c16]María Teresa Gómez-López, Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle:
Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-based Diagnosis. CDB 2004: 75-89 - [c15]María Teresa Gómez-López, Rafael Ceballos, Rafael M. Gasca, Sergio Pozo:
Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering. IBERAMIA 2004: 942-952 - [c14]Sergio Pozo, Rafael M. Gasca, María Teresa Gómez-López:
Securing Mobile Agent Based Tele-Assistance Systems. TELECARE 2004: 63-72 - 2003
- [j12]Rafael Ceballos, Carmelo Del Valle, María Teresa Gómez-López, Rafael M. Gasca:
CSP aplicados a la diagnosis basada en modelos. Inteligencia Artif. 7(20): 137-150 (2003) - [j11]María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, Rafael Ceballos:
CSP y Bases de Datos Restrictivas. Inteligencia Artif. 7(20): 151-163 (2003) - [c12]María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, Rafael Ceballos:
Arquitectura para la Consulta a Bases de Datos Restrictivas. JISBD 2003: 593-602 - 2002
- [j9]Carmelo Del Valle, Rafael M. Gasca, Juan Antonio Ortega, María Teresa Gómez-López:
Un modelo CSP para planificación de la sustitución óptima de piezas defectuosas. Inteligencia Artif. 6(17): 83-92 (2002)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-09 23:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint