Rafael Ceballos

	2010
28		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: 194-200
	2009
27		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: 22-31
26		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: 42-53
25		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): 146-172 (2009)
24		Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca: Model-Based Development of firewall rule sets: Diagnosing model inconsistencies. Information & Software Technology 51(5): 894-915 (2009)
23		Sergio Pozo, Rafael Ceballos, Rafael M. Gasca: A Heuristic Process for Local Inconsistency Diagnosis in Firewall Rule Sets. JNW 4(8): 698-710 (2009)
	2008
22		Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca: Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets. ARES 2008: 229-236
21		Sergio Pozo, Rafael Ceballos, Rafael M. Gasca: AFPL, an Abstract Language Model for Firewall ACLs. ICCSA (2) 2008: 468-483
20		Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca: A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets. SECRYPT 2008: 430-441
19		Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca: Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates. SECURWARE 2008: 381-390
18		Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca: Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets. SECURWARE 2008: 53-61
17		Sergio Pozo, Rafael Ceballos, Rafael M. Gasca: Firewall Rule Set Inconsistency Characterization by Clustering. WOSIS 2008: 138-144
	2007
16		Sergio Pozo, Rafael Ceballos, Rafael M. Gasca: CSP-Based Firewall Rule Set Diagnosis using Security Policies. ARES 2007: 723-729
15		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: 160-169
14		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): 7-16 (2007)
	2006
13		Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego: Constraint satisfaction techniques for diagnosing errors in design by contract software. ACM SIGSOFT Software Engineering Notes 31(2): (2006)
12		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 Artificial, Revista Iberoamericana de Inteligencia Artificial 10(31): 41-52 (2006)
	2005
11		Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Diana Borrego: Diagnosing Errors in DbC Programs Using Constraint Programming. CAEPIA 2005: 200-210
10		Rafael Ceballos, Victor Cejudo, Rafael M. Gasca, Carmelo Del Valle: A Topological-Based Method for Allocating Sensors by Using CSP Techniques. CAEPIA 2005: 62-68
9		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: 1082-1092
	2004
8		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: 75-89
7		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: 942-952
	2003
6		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: 593-602
5		Rafael Ceballos, Carmelo Del Valle, María Teresa Gómez López, Rafael M. Gasca: CSP aplicados a la diagnosis basada en modelos. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 7(20): 137-150 (2003)
4		María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle, Rafael Ceballos: CSP y Bases de Datos Restrictivas. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 7(20): 151-163 (2003)
	2002
3		Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro: Max-CSP Approach for Software Diagnosis. IBERAMIA 2002: 172-181
2		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: 835-844
1		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: 259-269

Coauthor Index

1	Jesús S. Aguilar-Ruiz	[2]
2	Diana Borrego	[11] [13] [28]
3	Victor Cejudo	[10]
4	Rafael M. Gasca (Rafael Martinez Gasca)	[1] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [28]
5	Sergio Pozo Hidalgo (Sergio Pozo)	[7] [9] [16] [17] [18] [19] [20] [21] [22] [23] [24] [26]
6	María Teresa Gómez López	[4] [5] [6] [7] [8] [12] [14] [15] [25] [28]
7	Mihai Nica	[27]
8	Miguel Toro	[2] [3]
9	Fco. Fernando de la Rosa Troyano	[1]
10	Carmelo Del Valle	[1] [2] [3] [4] [5] [6] [8] [9] [10] [11] [12] [14] [15] [25]
11	Angel Jesus Varela-Vaca	[18] [19] [26]
12	Jörg Weber	[27]
13	Franz Wotawa	[27]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page