Rafael Martinez Gasca
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2008–2011
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | RCIS | Contract-based test generation for data flow of business processes using constraint programming. | Andres Jimenez Ramirez, Rafael Martinez Gasca, Angel Jesus Varela-Vaca |
| 2011 | RCIS | A Model-Driven engineering approach with diagnosis of non-conformance of security objectives in business process models. | Angel Jesus Varela-Vaca, Rafael Martinez Gasca, Andres Jimenez Ramirez |
| 2008 | ICPADS | hFT-FW: Hybrid Fault-Tolerance for Cluster-Based Stateful Firewalls. | Pablo Neira Ayuso, Laurent Lefvre, Rafael Martinez Gasca |
| 2008 | PDP | FT-FW: Efficient Connection Failover in Cluster-based Stateful Firewalls. | Pablo Neira Ayuso, Rafael Martinez Gasca, Laurent Lefvre |
| 2008 | SECRYPT | A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets. | Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca |