Rafael Ceballos

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