Rafael Ceballos
Titel
Geciteerd door
Geciteerd door
Jaar
On the complexity of program debugging using constraints for modeling the program’s syntax and semantics
F Wotawa, J Weber, M Nica, R Ceballos
Conference of the Spanish Association for Artificial Intelligence, 22-31, 2009
222009
Afpl, an abstract language model for firewall acls
S Pozo, R Ceballos, RM Gasca
International Conference on Computational Science and Its Applications, 468-483, 2008
222008
Diagnosing errors in dbc programs using constraint programming
R Ceballos, RM Gasca, C Del Valle, D Borrego
Conference of the Spanish Association for Artificial Intelligence, 200-210, 2005
222005
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
212009
CSP-based firewall rule set diagnosis using security policies
S Pozo, R Ceballos, RM Gasca
The Second International Conference on Availability, Reliability and …, 2007
212007
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
192009
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
192007
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
152008
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
122007
CyberSPL: a framework for the verification of cybersecurity policy compliance of system configurations using software product lines
ÁJ Varela-Vaca, RM Gasca, R Ceballos, MT Gómez-López, PB Torres
Applied Sciences 9 (24), 5364, 2019
92019
Applying constraint databases in the determination of potential minimal conflicts to polynomial model-based diagnosis
MTG López, RC Guerrero, RM Gasca, C del Valle Sevilla
International Symposium on Constraint Databases and Applications, 74-87, 2004
92004
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 constraint programming approach for software diagnosis
R Ceballos, RM Gasca, CD Valle, FDL Rosa
AADEBUG Fith International Symposium on Automated and Analysis-Driven …, 2003
92003
Max-csp approach for software diagnosis
R Ceballos, RM Gasca, C Del Valle, M Toro
Ibero-American Conference on Artificial Intelligence, 172-181, 2002
92002
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
82008
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
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
72009
Generating Emergent Team Strategies in Football Simulation Videogames via Genetic Algorithms.
AJ Fernández, C Cotta, RC Ceballos
GAMEON, 120-128, 2008
72008
A topological-based method for allocating sensors by using CSP techniques
R Ceballos, V Cejudo, RM Gasca, C Del Valle
Conference of the Spanish Association for Artificial Intelligence, 62-68, 2005
72005
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
72003
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20