PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ceballos, Rafael"

Author of the publication

copydeleteadd this publication to your clipboard
Diagnosing Errors in DbC Programs Using Constraint Programming.

, , , and . CAEPIA, volume 4177 of Lecture Notes in Computer Science, page 200-210. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Rafael Sendek University of Stuttgart

Rafael Horn University of Stuttgart

Rafael Jarosch

Diego Rafael Alba University of Stuttgart

Rafael Antonio Lainez Reyes University of Stuttgart

 

Other publications of authors with the same name

A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets., , and . SECRYPT, page 430-441. INSTICC Press, (2008)Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets., , and . ARES, page 229-236. IEEE Computer Society, (2008)A compiled model for faults diagnosis based on different techniques., , , and . AI Commun., 20 (1): 7-16 (2007)A Topological-Based Method for Allocating Sensors by Using CSP Techniques., , , and . CAEPIA, volume 4177 of Lecture Notes in Computer Science, page 62-68. Springer, (2005)An integration of model-based techniques for determining the minimal diagnosis., , , and . Inteligencia Artif., 10 (31): 41-52 (2006)CSP-Based Firewall Rule Set Diagnosis using Security Policies., , and . ARES, page 723-729. IEEE Computer Society, (2007)Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets., , , and . SECURWARE, page 53-61. IEEE Computer Society, (2008)Constraint satisfaction techniques for diagnosing errors in design by contract software., , and . ACM SIGSOFT Software Engineering Notes, (2006)NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs., , , and . CAEPIA, volume 4788 of Lecture Notes in Computer Science, page 160-169. Springer, (2007)Improving the Diagnosability of Business Process Management Systems Using Test Points., , , and . Business Process Management Workshops, volume 66 of Lecture Notes in Business Information Processing, page 194-200. Springer, (2010)