Author of the publication

Constraint satisfaction techniques for diagnosing errors in design by contract software.

, , and . SAVCBS@ESEC/FSE, page 11. ACM, (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.

 

Other publications of authors with the same name

Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules., , , and . Expert Syst. Appl., (2021)A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets., , and . SECRYPT, page 430-441. INSTICC Press, (2008)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)Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets., , and . ARES, page 229-236. IEEE Computer Society, (2008)Constraint satisfaction techniques for diagnosing errors in design by contract software., , and . ACM SIGSOFT Softw. Eng. Notes, (2006)Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing., , , , , and . IEEE Access, (2021)Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets., , , and . SECURWARE, page 53-61. IEEE Computer Society, (2008)CSP-Based Firewall Rule Set Diagnosis using Security Policies., , and . ARES, page 723-729. IEEE Computer Society, (2007)AFPL, an Abstract Language Model for Firewall ACLs., , and . ICCSA (2), volume 5073 of Lecture Notes in Computer Science, page 468-483. Springer, (2008)CSP y Bases de Datos Restrictivas., , , and . Inteligencia Artif., 7 (20): 151-163 (2003)