Rafael M. Gasca

Rafael M. Gasca

Universidad de Sevilla - Sevilla / Spain
Engineering & Technology / Computer Science
AD Scientific Index ID: 4367130
University of Seville
person_outline Rafael M. Gasca's MOST POPULAR ARTICLES
1-) Communicating between the kernel and user‐space in Linux using Netlink socketsP Neira‐Ayuso, RM Gasca, L LefevreSoftware: Practice and Experience 40 (9), 797-810, 2010862010
2-) Compliance validation and diagnosis of business data constraints in business processes at runtimeMT Gómez-López, RM Gasca, JM Pérez-ÁlvarezInformation Systems 48, 26-43, 2015492015
3-) Diagnosing correctness of semantic workflow modelsD Borrego, R Eshuis, MT Gómez-López, RM GascaData & Knowledge Engineering 87, 167-184, 2013372013
4-) Automating correctness verification of artifact-centric business process modelsD Borrego, RM Gasca, MT Gómez-LópezInformation and Software Technology 62, 187-197, 2015282015
5-) Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approachAJ Varela-Vaca, RM GascaInformation and Software Technology 55 (11), 1948-1973, 2013282013