Rafael Martinez Gasca

15 papers B 4C 2Misc 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Environment for the Evaluation of Hybrid (Classical-Quantum) Systems Analyzability [Focus: Quantum Software and Its Engineering].
IEEE Softw.
Ana Díaz-Muñoz, Javier Verdugo, Moisés Rodríguez, José A. Cruz-Lemus, Rafael Martinez Gasca, Mario Piattini
2011 B conf
A Model-Driven engineering approach with diagnosis of non-conformance of security objectives in business process models.
RCIS
Angel Jesus Varela-Vaca, Rafael Martinez Gasca, Andres Jimenez Ramirez
2011 B conf
Contract-based test generation for data flow of business processes using constraint programming.
RCIS
Andres Jimenez Ramirez, Rafael Martinez Gasca, Angel Jesus Varela-Vaca
2010 Misc conf
OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes.
CISIS
Angel Jesus Varela-Vaca, Rafael Martinez Gasca
2009 J jnl
Model-Based Development of firewall rule sets: Diagnosing model inconsistencies.
Inf. Softw. Technol.
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca
2008 C conf
A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets.
SECRYPT
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca
2008 C conf
FT-FW: Efficient Connection Failover in Cluster-based Stateful Firewalls.
PDP
Pablo Neira Ayuso, Rafael Martinez Gasca, Laurent Lefèvre
2008 B conf
Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets.
ARES
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca
2008 — conf
Stateful Firewalling for Wireless Mesh Networks.
NTMS
Pablo Neira Ayuso, Rafael Martinez Gasca, Leonardo Maccari, Laurent Lefèvre
2008 B conf
hFT-FW: Hybrid Fault-Tolerance for Cluster-Based Stateful Firewalls.
ICPADS
Pablo Neira Ayuso, Laurent Lefèvre, Rafael Martinez Gasca
2007 — conf
Mesh Network Firewalling with Bloom Filters.
ICC
Leonardo Maccari, Romano Fantacci, Pablo Neira Ayuso, Rafael Martinez Gasca
2006 J jnl
An integration of model-based techniques for determining the minimal diagnosis.
Inteligencia Artif.
Rafael Ceballos, María Teresa Gómez-López, Rafael Martinez Gasca, Carmelo Del Valle
2006 J jnl
Constraint satisfaction techniques for diagnosing errors in design by contract software.
ACM SIGSOFT Softw. Eng. Notes
Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego
2005 — conf
Constraint satisfaction techniques for diagnosing errors in design by contract software.
SAVCBS@ESEC/FSE
Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego
2005 J jnl
Metodología Semicualitativa para Razonar sobre Sistemas Dinámicos.
Computación y Sistemas
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