Rafael Ceballos

Orcid: 0000-0001-7144-8011

According to our database1, Rafael Ceballos authored at least 31 papers between 2002 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules.
Expert Syst. Appl., 2021

Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing.
IEEE Access, 2021

2016
Hybrid Diagnosis Applied to Multiple Instances in Business Processes.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2016

2010
Improving the Diagnosability of Business Process Management Systems Using Test Points.
Proceedings of the Business Process Management Workshops, 2010

2009
A Heuristic Process for Local Inconsistency Diagnosis in Firewall Rule Sets.
J. Networks, 2009

Model-Based Development of firewall rule sets: Diagnosing model inconsistencies.
Inf. Softw. Technol., 2009

Developing a labelled object-relational constraint database architecture for the projection operator.
Data Knowl. Eng., 2009

Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall ACLs.
Proceedings of the SECRYPT 2009, 2009

On the Complexity of Program Debugging Using Constraints for Modeling the Program's Syntax and Semantics.
Proceedings of the Current Topics in Artificial Intelligence, 2009

2008
Firewall Rule Set Inconsistency Characterization by Clustering.
Proceedings of the Security in Information Systems, 2008

Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates.
Proceedings of the Second International Conference on Emerging Security Information, 2008

Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets.
Proceedings of the Second International Conference on Emerging Security Information, 2008

A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets.
Proceedings of the SECRYPT 2008, 2008

AFPL, an Abstract Language Model for Firewall ACLs.
Proceedings of the Computational Science and Its Applications - ICCSA 2008, International Conference, Perugia, Italy, June 30, 2008

Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets.
Proceedings of the The Third International Conference on Availability, 2008

2007
A compiled model for faults diagnosis based on different techniques.
AI Commun., 2007

NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs.
Proceedings of the Current Topics in Artificial Intelligence, 2007

CSP-Based Firewall Rule Set Diagnosis using Security Policies.
Proceedings of the The Second International Conference on Availability, 2007

2006
Constraint satisfaction techniques for diagnosing errors in design by contract software.
ACM SIGSOFT Softw. Eng. Notes, 2006

An integration of model-based techniques for determining the minimal diagnosis.
Inteligencia Artif., 2006

2005
An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way.
Proceedings of the MICAI 2005: Advances in Artificial Intelligence, 2005

Diagnosing Errors in DbC Programs Using Constraint Programming.
Proceedings of the Current Topics in Artificial Intelligence, 2005

A Topological-Based Method for Allocating Sensors by Using CSP Techniques.
Proceedings of the Current Topics in Artificial Intelligence, 2005

2004
Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering.
Proceedings of the Advances in Artificial Intelligence, 2004

Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-based Diagnosis.
Proceedings of the Constraint Databases, 2004

2003
CSP y Bases de Datos Restrictivas.
Inteligencia Artif., 2003

CSP aplicados a la diagnosis basada en modelos.
Inteligencia Artif., 2003

Arquitectura para la Consulta a Bases de Datos Restrictivas.
Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

2002
Arquitectura de un Crawler para Extraer las Estrcturas y Contenidos de Recursos Electrónicos.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning.
Proceedings of the Advances in Artificial Intelligence, 2002

Max-CSP Approach for Software Diagnosis.
Proceedings of the Advances in Artificial Intelligence, 2002


  Loading...