Rafael Ceballos

33 papers B 2C 2Journal 10Unranked 19

Year	Rank	Type	Title / 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