Follow
Rafael Ceballos
Title
Cited by
Cited by
Year
Afpl, an abstract language model for firewall acls
S Pozo, R Ceballos, RM Gasca
Computational Science and Its Applications–ICCSA 2008: International …, 2008
272008
On the complexity of program debugging using constraints for modeling the program’s syntax and semantics
F Wotawa, J Weber, M Nica, R Ceballos
Current Topics in Artificial Intelligence: 13th Conference of the Spanish …, 2010
262010
Model-based development of firewall rule sets: Diagnosing model inconsistencies
S Pozo, R Ceballos, RM Gasca
Information and Software Technology 51 (5), 894-915, 2009
252009
CSP-based firewall rule set diagnosis using security policies
S Pozo, R Ceballos, RM Gasca
The Second International Conference on Availability, Reliability and …, 2007
242007
Diagnosing errors in dbc programs using constraint programming
R Ceballos, RM Gasca, C Del Valle, D Borrego
Current Topics in Artificial Intelligence: 11th Conference of the Spanish …, 2006
242006
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
232009
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
232007
CyberSPL: a framework for the verification of cybersecurity policy compliance of system configurations using software product lines
ÁJ Varela-Vaca, R M. Gasca, R Ceballos, MT Gómez-López, ...
Applied Sciences 9 (24), 5364, 2019
202019
Fast algorithms for consistency-based diagnosis of firewall rule sets
SP Hidalgo, R Ceballos, RM Gasca
2008 Third International Conference on Availability, Reliability and …, 2008
172008
A compiled model for faults diagnosis based on different techniques
R Ceballos, MT Gómez-López, R M Gasca, C Del Valle
AI Communications 20 (1), 7-16, 2007
132007
A constraint programming approach for software diagnosis
R Ceballos, RM Gasca, CD Valle, FDL Rosa
AADEBUG Fith International Symposium on Automated and Analysis-Driven …, 2003
112003
A HEURISTIC POLYNOMIAL ALGORITHM FOR LOCAL INCONSISTENCY DIAGNOSIS IN FIREWALL RULE SETS
S Pozo, R Ceballos, RM Gasca
International Conference on Security and Cryptography 2, 430-441, 2008
102008
A topological-based method for allocating sensors by using CSP techniques
R Ceballos, V Cejudo, RM Gasca, C Del Valle
Current Topics in Artificial Intelligence: 11th Conference of the Spanish …, 2006
102006
Applying constraint databases in the determination of potential minimal conflicts to polynomial model-based diagnosis
MT Gómez López, R Ceballos Guerrero, R Martínez Gasca, ...
Constraint Databases: First International Symposium, CDB 2004, Paris, France …, 2004
102004
Max-csp approach for software diagnosis
R Ceballos, RM Gasca, C Del Valle, M Toro
Advances in Artificial Intelligence—IBERAMIA 2002: 8th Ibero-American …, 2002
102002
Fast algorithms for local inconsistency detection in firewall acl updates
S Pozo, R Ceballos, RM Gasca, AJ Varela-Vaca
2008 Second International Conference on Emerging Security Information …, 2008
92008
Determination of possible minimal conflict sets using components clusters and grobner bases
R Ceballos, MT Gómez, RM Gasca, S Pozo
DX04, 15th International Workshop on Principles of Diagnosis, Carcassonne …, 2004
92004
A heuristic process for local inconsistency diagnosis in firewall rule sets
S Pozo Hidalgo, R Martínez Gasca, R Ceballos Guerrero
Journal of Networks (2009), 2009
82009
Constraint satisfaction techniques for diagnosing errors in Design by Contract software
R Ceballos, RM Gasca, D Borrego
Proceedings of the 2005 conference on Specification and verification of …, 2005
82005
An integration of FDI and DX approaches to polynomial models
RM Gasca, C Del Valle, R Ceballos, M Toro
DX-2003, 14th International Workshop on Principles of Diagnosis, 153-158, 2003
82003
The system can't perform the operation now. Try again later.
Articles 1–20