Rafael Ceballos

发表

Arquitectura de un Crawler para Extraer las Estrcturas y Contenidos de Recursos Electrónicos

Rafael M. Gasca, Carmelo Del Valle, Fco. Fernando de la Rosa Troyano, 2002, JISBD.

Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets

Rafael M. Gasca, Rafael Ceballos, Sergio Pozo Hidalgo, 2008, 2008 Third International Conference on Availability, Reliability and Security.

Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-based Diagnosis

María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle, 2004, CDB.

Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets

Rafael M. Gasca, Rafael Ceballos, Sergio Pozo Hidalgo, 2008, 2008 Second International Conference on Emerging Security Information, Systems and Technologies.

A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets

Rafael M. Gasca, Rafael Ceballos, Sergio Pozo Hidalgo, 2008, SECRYPT.

Diagnosing Errors in DbC Programs Using Constraint Programming

Rafael M. Gasca, Carmelo Del Valle, Diana Borrego, 2005, CAEPIA.

Max-CSP Approach for Software Diagnosis

Rafael M. Gasca, Miguel Toro, Carmelo Del Valle, 2002, IBERAMIA.

Developing a labelled object-relational constraint database architecture for the projection operator

María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle, 2009, Data Knowl. Eng..

An integration of model-based techniques for determining the minimal diagnosis

María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle, 2006, Inteligencia Artif..

CSP-Based Firewall Rule Set Diagnosis using Security Policies

Rafael M. Gasca, Rafael Ceballos, Sergio Pozo Hidalgo, 2007, The Second International Conference on Availability, Reliability and Security (ARES'07).

Firewall Rule Set Inconsistency Characterization by Clustering

Rafael M. Gasca, Rafael Ceballos, Sergio Pozo Hidalgo, 2008, WOSIS.

Arquitectura para la Consulta a Bases de Datos Restrictivas

María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle, 2003, JISBD.

Constraint satisfaction techniques for diagnosing errors in design by contract software

Rafael M. Gasca, Diana Borrego, Rafael Ceballos, 2006, ACM SIGSOFT Softw. Eng. Notes.

Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall ACLs

Rafael M. Gasca, Rafael Ceballos, Sergio Pozo Hidalgo, 2009, SECRYPT.

A Topological-Based Method for Allocating Sensors by Using CSP Techniques

Rafael M. Gasca, Carmelo Del Valle, Rafael Ceballos, 2005, CAEPIA.

NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs

María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle, 2007, CAEPIA.

Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering

María Teresa Gómez López, Rafael M. Gasca, Rafael Ceballos, 2004, IBERAMIA.

On the Complexity of Program Debugging Using Constraints for Modeling the Program's Syntax and Semantics

Franz Wotawa, Jörg Weber, Mihai Nica, 2009, CAEPIA.

CSP y Bases de Datos Restrictivas

María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle, 2003, Inteligencia Artif..

AFPL, an Abstract Language Model for Firewall ACLs

Rafael M. Gasca, Rafael Ceballos, Sergio Pozo Hidalgo, 2008, ICCSA.

A compiled model for faults diagnosis based on different techniques

María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle, 2007, AI Commun..

Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates

Rafael M. Gasca, Rafael Ceballos, Sergio Pozo Hidalgo, 2008, 2008 Second International Conference on Emerging Security Information, Systems and Technologies.

A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning

Jesús S. Aguilar-Ruiz, Carmelo Del Valle, Rafael Ceballos, 2002, IBERAMIA.

An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way

Rafael M. Gasca, Carmelo Del Valle, Rafael Ceballos, 2005, MICAI.

Determination of an optimal test points allocation for business process analysis

Diana Borrego, Rafael Ceballos, Maria Teresa Gómez-López, 2010, 2010 IEEE/IFIP Network Operations and Management Symposium Workshops.

A Heuristic Process for Local Inconsistency Diagnosis in Firewall Rule Sets

Rafael M. Gasca, Rafael Ceballos, Sergio Pozo Hidalgo, 2009, J. Networks.

CSP aplicados a la diagnosis basada en modelos

María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle, 2003, Inteligencia Artif..

Hybrid Diagnosis Applied to Multiple Instances in Business Processes

María Teresa Gómez López, Rafael M. Gasca, Diana Borrego, 2016, BMMDS/EMMSAD.

Improving the Diagnosability of Business Process Management Systems Using Test Points

María Teresa Gómez López, Rafael M. Gasca, Diana Borrego, 2010, Business Process Management Workshops.

Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing

Rafael M. Gasca, Diana Borrego, Rafael Ceballos, 2021, IEEE Access.

Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules

María Teresa Gómez López, Rafael M. Gasca, Diana Borrego, 2021, Expert Syst. Appl..

Model-Based Development of firewall rule sets: Diagnosing model inconsistencies

Rafael M. Gasca, Rafael Ceballos, Sergio Pozo Hidalgo, 2009, Inf. Softw. Technol..

Constraint satisfaction techniques for diagnosing errors in design by contract software

Diana Borrego, Rafael Ceballos, Rafael Martinez Gasca, 2005, SAVCBS '05.