Rafael Martinez Gasca

Publication Activity (10 Years)

Years Active: 2005-2011
Publications (10 Years): 0

Publications

Angel Jesus Varela-Vaca, Rafael Martinez Gasca, Andres Jimenez Ramirez
A Model-Driven engineering approach with diagnosis of non-conformance of security objectives in business process models. RCIS (2011)
Andres Jimenez Ramirez, Rafael Martinez Gasca, Angel Jesus Varela-Vaca
Contract-based test generation for data flow of business processes using constraint programming. RCIS (2011)
Angel Jesus Varela-Vaca, Rafael Martinez Gasca
OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes. CISIS (2010)
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca
Model-Based Development of firewall rule sets: Diagnosing model inconsistencies. Inf. Softw. Technol. 51 (5) (2009)
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca
A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets. SECRYPT (2008)
Pablo Neira Ayuso, Laurent Lefèvre, Rafael Martinez Gasca
hFT-FW: Hybrid Fault-Tolerance for Cluster-Based Stateful Firewalls. ICPADS (2008)
Pablo Neira Ayuso, Rafael Martinez Gasca, Laurent Lefèvre
FT-FW: Efficient Connection Failover in Cluster-based Stateful Firewalls. PDP (2008)
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca
Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets. ARES (2008)
Pablo Neira Ayuso, Rafael Martinez Gasca, Leonardo Maccari, Laurent Lefèvre
Stateful Firewalling for Wireless Mesh Networks. NTMS (2008)
Leonardo Maccari, Romano Fantacci, Pablo Neira Ayuso, Rafael Martinez Gasca
Mesh Network Firewalling with Bloom Filters. ICC (2007)
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) (2006)
Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego
Constraint satisfaction techniques for diagnosing errors in design by contract software. ACM SIGSOFT Softw. Eng. Notes 31 (2) (2006)
Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego
Constraint satisfaction techniques for diagnosing errors in design by contract software. SAVCBS@ESEC/FSE (2005)
Juan Antonio Ortega-Ramírez, Rafael Martinez Gasca, Jesús Torres Valderrama, Miguel Toro Bonilla, Luis González Abril, Francisco Velasco Morente, Cecilio Angulo Bahón
Metodología Semicualitativa para Razonar sobre Sistemas Dinámicos. Computación y Sistemas 8 (3) (2005)