Follow
Rafael M. Gasca
Rafael M. Gasca
Profesor de Informática, Universidad de Sevilla
Verified email at us.es - Homepage
Title
Cited by
Cited by
Year
Communicating between the kernel and user‐space in Linux using Netlink sockets
P Neira‐Ayuso, RM Gasca, L Lefevre
Software: Practice and Experience 40 (9), 797-810, 2010
842010
Compliance validation and diagnosis of business data constraints in business processes at runtime
MT Gómez-López, RM Gasca, JM Pérez-Álvarez
Information Systems 48, 26-43, 2015
442015
Diagnosing correctness of semantic workflow models
D Borrego, R Eshuis, MT Gómez-López, RM Gasca
Data & Knowledge Engineering 87, 167-184, 2013
362013
Automating correctness verification of artifact-centric business process models
D Borrego, RM Gasca, MT Gómez-López
Information and Software Technology 62, 187-197, 2015
252015
Afpl, an abstract language model for firewall acls
S Pozo, R Ceballos, RM Gasca
International Conference on Computational Science and Its Applications, 468-483, 2008
252008
Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach
AJ Varela-Vaca, RM Gasca
Information and Software Technology 55 (11), 1948-1973, 2013
242013
CSP-based firewall rule set diagnosis using security policies
S Pozo, R Ceballos, RM Gasca
The Second International Conference on Availability, Reliability and …, 2007
242007
Diagnosing errors in dbc programs using constraint programming
R Ceballos, RM Gasca, CD Valle, D Borrego
Conference of the Spanish Association for Artificial Intelligence, 200-210, 2005
242005
Developing a labelled object-relational constraint database architecture for the projection operator
MT Gómez-López, R Ceballos, RM Gasca, C Del Valle
Data & Knowledge Engineering 68 (1), 146-172, 2009
212009
Nmus: Structural analysis for improving the derivation of all muses in overconstrained numeric csps
RM Gasca, CD Valle, MT Gómez-López, R Ceballos
Conference of the Spanish Association for Artificial Intelligence, 160-169, 2007
202007
Automatic verification and diagnosis of security risk assessments in business process models
ÁJ Varela-Vaca, L Parody, RM Gasca, MT Gómez-López
IEEE Access 7, 26448-26465, 2019
182019
Hybrid business process modeling for the optimization of outcome data
L Parody, MT Gómez-López, RM Gasca
Information and Software Technology 70, 140-154, 2016
182016
Process instance query language to include process performance indicators in DMN
JM Perez-Alvarez, MT Gomez-Lopez, L Parody, RM Gasca
2016 IEEE 20th International Enterprise Distributed Object Computing …, 2016
172016
Decision-making support for the correctness of input data at runtime in business processes
MT Gómez-López, RM Gasca, JM Pérez-Álvarez
International Journal of Cooperative Information Systems 23 (04), 1450003, 2014
172014
FT-FW: A cluster-based fault-tolerant architecture for stateful firewalls
PN Ayuso, RM Gasca, L Lefevre
computers & security 31 (4), 524-539, 2012
172012
Efficient packet filtering in wireless ad hoc networks
R Fantacci, L Maccari, PN Ayuso, RM Gasca
IEEE Communications Magazine 46 (2), 104-110, 2008
172008
Data state description for the migration to activity-centric business process model maintaining legacy databases
MT Gómez-López, D Borrego, RM Gasca
International Conference on Business Information Systems, 86-97, 2014
162014
Explaining the incorrect temporal events during business process monitoring by means of compliance rules and model-based diagnosis
MT Gómez-López, RM Gasca, S Rinderle-Ma
2013 17th IEEE International Enterprise Distributed Object Computing …, 2013
152013
Verifying the manipulation of data objects according to business process and data models
JM Pérez-Álvarez, MT Gómez-López, R Eshuis, M Montali, RM Gasca
Knowledge and Information Systems 62 (7), 2653-2683, 2020
122020
CyberSPL: a framework for the verification of cybersecurity policy compliance of system configurations using software product lines
ÁJ Varela-Vaca, R M. Gasca, R Ceballos, MT Gómez-López, ...
Applied Sciences 9 (24), 5364, 2019
122019
The system can't perform the operation now. Try again later.
Articles 1–20