Max-CSP Approach for Software Diagnosis. - Rafael Ceballos; Rafael M. Gasca; Carmelo Del Valle; Miguel Toro (IBERAMIA, 2002)

A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning. - Carmelo Del Valle; Miguel Toro; Rafael Ceballos; Jesús S. Aguilar-Ruiz (IBERAMIA, 2002)

Arquitectura de un Crawler para Extraer las Estrcturas y Contenidos de Recursos Electrónicos. - Fco. Fernando de la Rosa Troyano; Rafael M. Gasca; Carmelo Del Valle; Rafael Ceballos (JISBD, 2002)

Arquitectura para la Consulta a Bases de Datos Restrictivas. - María Teresa Gómez-López; Rafael M. Gasca; Carmelo Del Valle; Rafael Ceballos (JISBD, 2003)

CSP aplicados a la diagnosis basada en modelos. - Rafael Ceballos; Carmelo Del Valle; María Teresa Gómez-López; Rafael M. Gasca (Inteligencia Artif., 2003)

CSP y Bases de Datos Restrictivas. - María Teresa Gómez-López; Rafael M. Gasca; Carmelo Del Valle; Rafael Ceballos (Inteligencia Artif., 2003)

Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-based Diagnosis. - María Teresa Gómez-López; Rafael Ceballos; Rafael M. Gasca; Carmelo Del Valle (CDB, 2004)

Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering. - María Teresa Gómez-López; Rafael Ceballos; Rafael M. Gasca; Sergio Pozo (IBERAMIA, 2004)

A Topological-Based Method for Allocating Sensors by Using CSP Techniques. - Rafael Ceballos; Victor Cejudo; Rafael M. Gasca; Carmelo Del Valle (CAEPIA, 2005)

Diagnosing Errors in DbC Programs Using Constraint Programming. - Rafael Ceballos; Rafael M. Gasca; Carmelo Del Valle; Diana Borrego (CAEPIA, 2005)

An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way. - Rafael Ceballos; Sergio Pozo; Carmelo Del Valle; Rafael M. Gasca (MICAI, 2005)

An integration of model-based techniques for determining the minimal diagnosis. - Rafael Ceballos; María Teresa Gómez-López; Rafael Martinez Gasca; Carmelo Del Valle (Inteligencia Artif., 2006)

Constraint satisfaction techniques for diagnosing errors in design by contract software. - Rafael Ceballos; Rafael Martinez Gasca; Diana Borrego (ACM SIGSOFT Softw. Eng. Notes, 2006)

CSP-Based Firewall Rule Set Diagnosis using Security Policies. - Sergio Pozo; Rafael Ceballos; Rafael M. Gasca (ARES, 2007)

NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs. - Rafael M. Gasca; Carmelo Del Valle; María Teresa Gómez-López; Rafael Ceballos (CAEPIA, 2007)

A compiled model for faults diagnosis based on different techniques. - Rafael Ceballos; María Teresa Gómez-López; Rafael M. Gasca; Carmelo Del Valle (AI Commun., 2007)

Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets. - Sergio Pozo Hidalgo; Rafael Ceballos; Rafael Martinez Gasca (ARES, 2008)

AFPL, an Abstract Language Model for Firewall ACLs. - Sergio Pozo; Rafael Ceballos; Rafael M. Gasca (ICCSA (2), 2008)

A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets. - Sergio Pozo Hidalgo; Rafael Ceballos; Rafael Martinez Gasca (SECRYPT, 2008)

Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets. - Sergio Pozo Hidalgo; Rafael Ceballos; Rafael M. Gasca; Angel Jesus Varela-Vaca (SECURWARE, 2008)

Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates. - Sergio Pozo Hidalgo; Rafael Ceballos; Rafael M. Gasca; Angel Jesus Varela-Vaca (SECURWARE, 2008)

Firewall Rule Set Inconsistency Characterization by Clustering. - Sergio Pozo; Rafael Ceballos; Rafael M. Gasca (WOSIS, 2008)

On the Complexity of Program Debugging Using Constraints for Modeling the Program's Syntax and Semantics. - Franz Wotawa; Jörg Weber; Mihai Nica; Rafael Ceballos (CAEPIA, 2009)

Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall ACLs. - Sergio Pozo; Angel Jesus Varela-Vaca; Rafael M. Gasca; Rafael Ceballos (SECRYPT, 2009)

Developing a labelled object-relational constraint database architecture for the projection operator. - María Teresa Gómez-López; Rafael Ceballos; Rafael M. Gasca; Carmelo Del Valle (Data Knowl. Eng., 2009)

Model-Based Development of firewall rule sets: Diagnosing model inconsistencies. - Sergio Pozo Hidalgo; Rafael Ceballos; Rafael Martinez Gasca (Inf. Softw. Technol., 2009)

A Heuristic Process for Local Inconsistency Diagnosis in Firewall Rule Sets. - Sergio Pozo; Rafael Ceballos; Rafael M. Gasca (J. Networks, 2009)

Improving the Diagnosability of Business Process Management Systems Using Test Points. - Diana Borrego; María Teresa Gómez-López; Rafael M. Gasca; Rafael Ceballos (Business Process Management Workshops, 2010)

Hybrid Diagnosis Applied to Multiple Instances in Business Processes. - Rafael Ceballos; Diana Borrego; María Teresa Gómez-López; Rafael M. Gasca (BMMDS/EMMSAD, 2016)

Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing. - Belén Ramos-Gutiérrez; María Teresa Gómez-López; Diana Borrego; Rafael Ceballos; Rafael M. Gasca; Antonio Barea (IEEE Access, 2021)

Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules. - Rafael Ceballos; Diana Borrego; María Teresa Gómez-López; Rafael M. Gasca (Expert Syst. Appl., 2021)