| Afpl, an abstract language model for firewall acls S Pozo, R Ceballos, RM Gasca Computational Science and Its Applications–ICCSA 2008: International …, 2008 | 27 | 2008 |
| 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 | 26 | 2019 |
| 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 | 25 | 2009 |
| 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 | 25 | 2009 |
| CSP-based firewall rule set diagnosis using security policies S Pozo, R Ceballos, RM Gasca The Second International Conference on Availability, Reliability and …, 2007 | 24 | 2007 |
| 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 | 24 | 2006 |
| 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 | 23 | 2009 |
| 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 | 23 | 2007 |
| 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 | 17 | 2008 |
| 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 | 14 | 2007 |
| 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 | 11 | 2003 |
| 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 | 10 | 2008 |
| 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 | 10 | 2006 |
| 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 | 10 | 2004 |
| 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 | 10 | 2002 |
| 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 | 9 | 2008 |
| 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 | 9 | 2004 |
| 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 | 8 | 2009 |
| Generating Emergent Team Strategies in Football Simulation Videogames via Genetic Algorithms. AJ Fernández, C Cotta, RC Ceballos GAMEON, 120-128, 2008 | 8 | 2008 |
| 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 | 8 | 2005 |
M. Teresa Gómez LópezCatedrática de Universidad. Universidad de Sevilla在 us.es 的电子邮件经过验证
