Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Rafael Ceballos
2010 – today
- 2010
[c20]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
2000 – 2009
- 2009
- [j8]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)
- [j7]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)
- [j6]Sergio Pozo, Rafael Ceballos, Rafael M. Gasca: A Heuristic Process for Local Inconsistency Diagnosis in Firewall Rule Sets. JNW 4(8): 698-710 (2009)
- [c19]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
- [c18]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
- 2008
- [c17]Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca: Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets. ARES 2008: 229-236
- [c16]Sergio Pozo, Rafael Ceballos, Rafael M. Gasca: AFPL, an Abstract Language Model for Firewall ACLs. ICCSA (2) 2008: 468-483
- [c15]Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca: A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets. SECRYPT 2008: 430-441
- [c14]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
- [c13]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
- [c12]Sergio Pozo, Rafael Ceballos, Rafael M. Gasca: Firewall Rule Set Inconsistency Characterization by Clustering. WOSIS 2008: 138-144
- 2007
- [j5]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)
- [c11]Sergio Pozo, Rafael Ceballos, Rafael M. Gasca: CSP-Based Firewall Rule Set Diagnosis using Security Policies. ARES 2007: 723-729
- [c10]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
- 2006
- [j4]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)
- [j3]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)
- 2005
- [c9]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
- [c8]Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Diana Borrego: Diagnosing Errors in DbC Programs Using Constraint Programming. CAEPIA 2005: 200-210
- [c7]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
- [c6]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
- [c5]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
- [j2]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)
- [j1]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)
- [c4]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
- 2002
- [c3]Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro: Max-CSP Approach for Software Diagnosis. IBERAMIA 2002: 172-181
- [c2]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
- [c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-03-13 19:52 CET by the dblp team