Trabajos de Rafael M. Gasca

Trabajos de Nombre

Computer Science


  Listando 5 trabajos del autor/autora 37
Lista de trabajos en el área Computer Science
Mentions   0   Wikipedia   0   News   0   Policy
Article CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems Jesus Varela-Vaca, Angel; Rosado, David G.; Sanchez, Luis E.; Teresa Gomez-Lopez, Maria; Gasca, Rafael M.; Fernandez-Medina, Eduardo COMPUTERS IN INDUSTRY 0166-3615 (2021) DOI / 10.1016/j.compind.2021.103524 Hybrid
Mentions   0   Wikipedia   0   News   0   Policy
Article Verifying the manipulation of data objects according to business process and data models Miguel Perez-Alvarez, Jose; Teresa Gomez-Lopez, Maria; Eshuis, Rik; Montali, Marco; Gasca, Rafael M. KNOWLEDGE AND INFORMATION SYSTEMS 0219-1377 (2020) DOI / 10.1007/s10115-019-01431-5
Mentions   0   Wikipedia   0   News   0   Policy
Article Prognosis of multiple instances in time-aware declarative business process models Borrego, Diana; Teresa Gomez-Lopez, Maria; Gasca, Rafael M. COMPUTERS IN INDUSTRY 0166-3615 (2020) DOI / 10.1016/j.compind.2020.103243
Mentions   0   Wikipedia   0   News   0   Policy
Article Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules Ceballos, Rafael; Borrego, Diana; Teresa Gomez-Lopez, Maria; Gasca, Rafael M. EXPERT SYSTEMS WITH APPLICATIONS 0957-4174 (2021) DOI / 10.1016/j.eswa.2021.115212
Mentions   0   Wikipedia   0   News   0   Policy
Article Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models Varela-Vaca, Angel J.; Parody, Luisa; Gasca, Rafael M.; Gomez-Lopez, Maria T. IEEE ACCESS 2169-3536 (2019) DOI / 10.1109/access.2019.2901408 Gold DOAJ