Rafael M. Gasca
Rafael M. Gasca
Profesor de Informática, Universidad de Sevilla
Geverifieerd e-mailadres voor us.es - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
792010
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
412015
Diagnosing correctness of semantic workflow models
D Borrego, R Eshuis, MT Gómez-López, RM Gasca
Data & Knowledge Engineering 87, 167-184, 2013
312013
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
222015
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
222008
Diagnosing errors in dbc programs using constraint programming
R Ceballos, RM Gasca, C Del Valle, D Borrego
Conference of the Spanish Association for Artificial Intelligence, 200-210, 2005
222005
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
CSP-based firewall rule set diagnosis using security policies
S Pozo, R Ceballos, RM Gasca
The Second International Conference on Availability, Reliability and …, 2007
212007
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
192013
Nmus: Structural analysis for improving the derivation of all muses in overconstrained numeric csps
RM Gasca, C Del Valle, MT Gómez-López, R Ceballos
Conference of the Spanish Association for Artificial Intelligence, 160-169, 2007
192007
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
182016
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
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
162016
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
152014
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
142019
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
142014
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
132013
Qualitative simulation of human resources subsystem in software development projects
AJ Suarez, PJ Abad, RM Gasca, JA Ortega
Proc. 16th Intl. Workshop on Qualitative Reasoning (QR2002), 10-12, 2002
122002
Including qualitative knowledge in semiqualitative dynamical systems
JA Ortega, RM Gasca, M Toro
International Conference on Industrial, Engineering and Other Applications …, 1998
121998
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20