Rafael Ceballos

Publication Activity (10 Years)

Years Active: 2002-2021
Publications (10 Years): 3

Top Topics

Decision Analysis

Manufacturing Industry

Business Processes

Top Venues

Expert Syst. Appl.

Publications

Belén Ramos-Gutiérrez, María Teresa Gómez López, Diana Borrego, Rafael Ceballos, Rafael M. Gasca, Antonio Barea
Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing. IEEE Access 9 (2021)
Rafael Ceballos, Diana Borrego, María Teresa Gómez López, Rafael M. Gasca
Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules. Expert Syst. Appl. 183 (2021)
Rafael Ceballos, Diana Borrego, María Teresa Gómez López, Rafael M. Gasca
Hybrid Diagnosis Applied to Multiple Instances in Business Processes. BMMDS/EMMSAD (2016)
Diana Borrego, María Teresa Gómez López, Rafael M. Gasca, Rafael Ceballos
Improving the Diagnosability of Business Process Management Systems Using Test Points. Business Process Management Workshops (2010)
María Teresa Gómez López, Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle
Developing a labelled object-relational constraint database architecture for the projection operator. Data Knowl. Eng. 68 (1) (2009)
Franz Wotawa, Jörg Weber, Mihai Nica, Rafael Ceballos
On the Complexity of Program Debugging Using Constraints for Modeling the Program's Syntax and Semantics. CAEPIA (2009)
Sergio Pozo, Rafael Ceballos, Rafael M. Gasca
A Heuristic Process for Local Inconsistency Diagnosis in Firewall Rule Sets. J. Networks 4 (8) (2009)
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca
Model-Based Development of firewall rule sets: Diagnosing model inconsistencies. Inf. Softw. Technol. 51 (5) (2009)
Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca, Rafael Ceballos
Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall ACLs. SECRYPT (2009)
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca
Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates. SECURWARE (2008)
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca
A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets. SECRYPT (2008)
Sergio Pozo, Rafael Ceballos, Rafael M. Gasca
Firewall Rule Set Inconsistency Characterization by Clustering. WOSIS (2008)
Sergio Pozo, Rafael Ceballos, Rafael M. Gasca
AFPL, an Abstract Language Model for Firewall ACLs. ICCSA (2) (2008)
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca
Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets. SECURWARE (2008)
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca
Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets. ARES (2008)
Sergio Pozo, Rafael Ceballos, Rafael M. Gasca
CSP-Based Firewall Rule Set Diagnosis using Security Policies. ARES (2007)
Rafael Ceballos, María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle
A compiled model for faults diagnosis based on different techniques. AI Commun. 20 (1) (2007)
Rafael M. Gasca, Carmelo Del Valle, María Teresa Gómez López, Rafael Ceballos
NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs. CAEPIA (2007)
Rafael Ceballos, María Teresa Gómez López, Rafael Martinez Gasca, Carmelo Del Valle
An integration of model-based techniques for determining the minimal diagnosis. Inteligencia Artif. 10 (31) (2006)
Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego
Constraint satisfaction techniques for diagnosing errors in design by contract software. ACM SIGSOFT Softw. Eng. Notes 31 (2) (2006)
Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego
Constraint satisfaction techniques for diagnosing errors in design by contract software. SAVCBS@ESEC/FSE (2005)
Rafael Ceballos, Sergio Pozo, Carmelo Del Valle, Rafael M. Gasca
An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way. MICAI (2005)
Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Diana Borrego
Diagnosing Errors in DbC Programs Using Constraint Programming. CAEPIA (2005)
Rafael Ceballos, Victor Cejudo, Rafael M. Gasca, Carmelo Del Valle
A Topological-Based Method for Allocating Sensors by Using CSP Techniques. CAEPIA (2005)
María Teresa Gómez López, Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle
Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-based Diagnosis. CDB (2004)
María Teresa Gómez López, Rafael Ceballos, Rafael M. Gasca, Sergio Pozo
Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering. IBERAMIA (2004)
Rafael Ceballos, Carmelo Del Valle, María Teresa Gómez López, Rafael M. Gasca
CSP aplicados a la diagnosis basada en modelos. Inteligencia Artif. 7 (20) (2003)
María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle, Rafael Ceballos
Arquitectura para la Consulta a Bases de Datos Restrictivas. JISBD (2003)
María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle, Rafael Ceballos
CSP y Bases de Datos Restrictivas. Inteligencia Artif. 7 (20) (2003)
Fco. Fernando de la Rosa Troyano, Rafael M. Gasca, Carmelo Del Valle, Rafael Ceballos
Arquitectura de un Crawler para Extraer las Estrcturas y Contenidos de Recursos Electrónicos. JISBD (2002)
Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro
Max-CSP Approach for Software Diagnosis. IBERAMIA (2002)
Carmelo Del Valle, Miguel Toro, Rafael Ceballos, Jesús S. Aguilar-Ruiz
A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning. IBERAMIA (2002)