| 2009 |
24 | | Sergio Pozo,
A. J. Varela-Vaca,
Rafael M. Gasca,
Rafael Ceballos:
Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall ACLs.
SECRYPT 2009: 42-53 |
23 | | María Teresa Gómez López,
Rafael Ceballos,
Rafael M. Gasca,
Carmelo Del Valle:
Developing a labelled object-relational constraint database architecture for the projection operator.
Data Knowl. Eng. 68(1): 146-172 (2009) |
22 | | Sergio Pozo Hidalgo,
Rafael Ceballos,
Rafael Martinez Gasca:
Model-Based Development of firewall rule sets: Diagnosing model inconsistencies.
Information & Software Technology 51(5): 894-915 (2009) |
| 2008 |
21 | | Sergio Pozo Hidalgo,
Rafael Ceballos,
Rafael Martinez Gasca:
Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets.
ARES 2008: 229-236 |
20 | | Sergio Pozo,
Rafael Ceballos,
Rafael M. Gasca:
AFPL, an Abstract Language Model for Firewall ACLs.
ICCSA (2) 2008: 468-483 |
19 | | Sergio Pozo Hidalgo,
Rafael Ceballos,
Rafael Martinez Gasca:
A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets.
SECRYPT 2008: 430-441 |
18 | | Sergio Pozo Hidalgo,
Rafael Ceballos,
Rafael M. Gasca,
A. J. Varela-Vaca:
Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates.
SECURWARE 2008: 381-390 |
17 | | Sergio Pozo Hidalgo,
Rafael Ceballos,
Rafael M. Gasca,
A. J. Varela-Vaca:
Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets.
SECURWARE 2008: 53-61 |
16 | | Sergio Pozo,
Rafael Ceballos,
Rafael M. Gasca:
Firewall Rule Set Inconsistency Characterization by Clustering.
WOSIS 2008: 138-144 |
| 2007 |
15 | | Sergio Pozo,
Rafael Ceballos,
Rafael M. Gasca:
CSP-Based Firewall Rule Set Diagnosis using Security Policies.
ARES 2007: 723-729 |
14 | | Rafael M. Gasca,
Carmelo Del Valle,
María Teresa Gómez López,
Rafael Ceballos:
NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs.
CAEPIA 2007: 160-169 |
13 | | Rafael Ceballos,
María Teresa Gómez López,
Rafael M. Gasca,
Carmelo Del Valle:
A compiled model for faults diagnosis based on different techniques.
AI Commun. 20(1): 7-16 (2007) |
| 2006 |
12 | | Rafael Ceballos,
Rafael Martinez Gasca,
Diana Borrego:
Constraint satisfaction techniques for diagnosing errors in design by contract software.
ACM SIGSOFT Software Engineering Notes 31(2): (2006) |
| 2005 |
11 | | Rafael Ceballos,
Rafael M. Gasca,
Carmelo Del Valle,
Diana Borrego:
Diagnosing Errors in DbC Programs Using Constraint Programming.
CAEPIA 2005: 200-210 |
10 | | Rafael Ceballos,
Victor Cejudo,
Rafael M. Gasca,
Carmelo Del Valle:
A Topological-Based Method for Allocating Sensors by Using CSP Techniques.
CAEPIA 2005: 62-68 |
9 | | Rafael Ceballos,
Sergio Pozo,
Carmelo Del Valle,
Rafael M. Gasca:
An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way.
MICAI 2005: 1082-1092 |
| 2004 |
8 | | María Teresa Gómez López,
Rafael Ceballos,
Rafael M. Gasca,
Carmelo Del Valle:
Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-based Diagnosis.
CDB 2004: 75-89 |
7 | | María Teresa Gómez López,
Rafael Ceballos,
Rafael M. Gasca,
Sergio Pozo:
Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering.
IBERAMIA 2004: 942-952 |
| 2003 |
6 | | María Teresa Gómez López,
Rafael M. Gasca,
Carmelo Del Valle,
Rafael Ceballos:
Arquitectura para la Consulta a Bases de Datos Restrictivas.
JISBD 2003: 593-602 |
5 | | Rafael Ceballos,
Carmelo Del Valle,
María Teresa Gómez López,
Rafael M. Gasca:
CSP aplicados a la diagnosis basada en modelos.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 20: 137-150 (2003) |
4 | | María Teresa Gómez López,
Rafael M. Gasca,
Carmelo Del Valle,
Rafael Ceballos:
CSP y Bases de Datos Restrictivas.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 20: 151-163 (2003) |
| 2002 |
3 | | Rafael Ceballos,
Rafael M. Gasca,
Carmelo Del Valle,
Miguel Toro:
Max-CSP Approach for Software Diagnosis.
IBERAMIA 2002: 172-181 |
2 | | Carmelo Del Valle,
Miguel Toro,
Rafael Ceballos,
Jesús S. Aguilar-Ruiz:
A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning.
IBERAMIA 2002: 835-844 |
1 | | Fco. Fernando de la Rosa Troyano,
Rafael M. Gasca,
Carmelo Del Valle,
Rafael Ceballos:
Arquitectura de un Crawler para Extraer las Estrcturas y Contenidos de Recursos Electrónicos.
JISBD 2002: 259-269 |