LSI

Inicio English home page Page d'acceuil en français
  Rafael Ceballos Guerrero

Profesor Colaborador
Dpto de Lenguajes y Sistemas
Informáticos
, Universidad de Sevilla
E-mail: ceballos (a) lsi. us. es

Teléfono: +34 954553865

 


  

Publicaciones   (DBLP)

Diagnosis Basada en Modelos | Colaboraciones | Todos

 

On the Complexity of Program Debugging Using Constraints for Modeling the Programs Syntax and Semantics  
F. Wotawa, J. Weber, M. Nica y R. Ceballos
13th CAEPIA. Selected Papers. Lecture Notes in Computer Science. Vol. 5988.(2010)

Model-Based Development of firewall rule sets: Diagnosing model inconsistencies  
S. Pozo, R. Ceballos y R.M. Gasca
Information and Software Technology. Vol. 51.(2009)

Developing a labelled object-relational constraint database architecture for the projection operator  
M. T. Gómez-López, R. Ceballos, R. M. Gasca y C. del Valle
Data and Knowledge Engineering. Vol. 68.(2009)

Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs  
R. M. Gasca, C. Del Valle, M. T. Gómez-López y R. Ceballos
12th CAEPIA. Selected Papers. Lecture Notes in Computer Science. Vol. 4788.(2008)

A compiled model for faults diagnosis based on different techniques  
R. Ceballos, M. T. Gómez-López, R. M. Gasca y C. del Valle
Artificial Intelligence Communications. Vol. 20.(2007)

Diagnosing Errors in DbC Programs Using Constraint Programming  
R. Ceballos, R. M. Gasca, C. Del Valle y D. Borrego
11th CAEPIA. Selected Papers. Lecture Notes in Computer Science. Vol. 4177.(2006)

A Topological-Based Method for Allocating Sensors by Using CSP Techniques  
R. Ceballos, V. Cejudo, R. M. Gasca y C. Del Valle
11th CAEPIA. Selected Papers. Lecture Notes in Computer Science. Vol. 4177.(2006)

The minimal diagnosis determination by using an integration of model-based techniques  
R. Ceballos, M. T. Gómez-López, R. M. Gasca y C. Del Valle
Inteligencia Artificial. Revista Iberoamericana de IA. Vol. 10.(2006)

Constraint satisfaction techniques for diagnosing errors in Design by Contract software  
R. Ceballos, R. M. Gasca y D. Borrego
ACM SIGSOFT Software Engineering Notes (SEN). Vol. 31.(2006)

An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way  
R. Ceballos, S. Pozo, C. Del Valle y R. M. Gasca
MICAI, Lecture Notes in Artificial Intelligence, LNAI 3789.(2005)

Constraint satisfaction techniques for diagnosing errors in Design by Contract software  
R. Ceballos, R. M. Gasca, C. Del Valle y D. Borrego
Specification and Verification of Component-Based Systems Workshop. ESEC/FSE'05, Lisbon, Portugal.(2005)

A model integration of DX and FDI methodologies  
R. Ceballos, M. T. Gomez-Lopez, R. M. Gasca y C. Del Valle
IJCAI-05, 2nd MONET Workshop on Model-Based Systems, Edinburgh, Scotland.(2005)

Diagnosis of inconsistency in contracts using Design by Contract  
R. Ceballos, F. de la Rosa y S. Pozo
IEEE Latin America Transactions.(2005)

Diagnosis de inconsistencia en contratos usando el diseño bajo contrato  
R. Ceballos, F. de la Rosa y S. Pozo
IX Jornadas de Ingeniería del Software y Bases de Datos (JISBD), Málaga, España, Malaga, Spain.(2004)

Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering  
M. T. Gómez-López, R. Ceballos, R. M. Gasca y Sergio Pozo
IX Conferencia Iberoamericana de Inteligencia Artificial, LNAI 3315.(2004)

Determination of Possible Minimal Conflict Sets Using Components Clusters and Grobner Bases  
R. Ceballos, M. T. Gómez-López, R. M. Gasca y C. Del Valle
15th International Workshop on Principles of Diagnosis, DX04, Carcassonne, France.(2004)

Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-based Diagnosis  
M. T. Gómez-López, R. Ceballos, R. M. Gasca y C. del Valle
Constraint Databases (CDB), Lecture Notes in Computer Science. Vol. 3074.(2004)

CSP aplicados a la diagnosis basada en modelos  
R. Ceballos, M. T. Gómez-López, R. M. Gasca y C. Del Valle
Inteligencia Artificial. Revista Iberoamericana de IA.(2003)

A constraint programming approach for software diagnosis  
R. Ceballos, R. M. Gasca, C. Del Valle y F. De La Rosa
AADEBUG, Ghent, Belgium.(2003)

An integration of FDI and DX approaches to polynomial models  
R. M. Gasca, C. del Valle, R. Ceballos y M. Toro
14th International Workshop on Principles of Diagnosis,DX03, Washington DC, USA.(2003)

Diagnosis software usando técnicas Max-CSP  
R. Ceballos, R. M. Gasca, C. del Valle y M. Toro
VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD), El Escorial, España, El Escorial, Spain.(2002)

Max-CSP approach for software diagnosis  
R. Ceballos, R.M. Gasca, C. Del Valle y M. Toro
VIII Conferencia Iberoamericana de Inteligencia Artificial, Sevilla (Spain). LNAI 2527.(2002)

A constraint-based methodology for software diagnosis  
R. Ceballos, R. M. Gasca, Carmelo Del Valle y Miguel Toro
Constraints in Formal Verification WorkShop, Eighth International Conference on Principles and Practice of Constraint Programming, CP2002, Ithaca, USA.(2002)