Author of the publication

Symbolic execution based test-patterns generation algorithm for hardware Trojan detection.

, , , , , and . Computers & Security, (2018)

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

A Machine Learning Approach for the Curation of Biomedical Literature - KDD Cup 2002 (Task 1)., , , , , , , , , and 1 other author(s). SIGKDD Explorations, 4 (2): 93-94 (2002)A Machine Learning Approach for the Curation of Biomedical Literature., , , , , , , and . ECIR, volume 2633 of Lecture Notes in Computer Science, page 597-604. Springer, (2003)Applying rough sets to market timing decisions., and . Decis. Support Syst., 37 (4): 583-597 (2004)Classifying Market States with WARS., and . IDEAL, volume 1983 of Lecture Notes in Computer Science, page 280-285. Springer, (2000)Topic Detection Using MFSs., , , and . IEA/AIE, volume 4031 of Lecture Notes in Computer Science, page 342-352. Springer, (2006)A Modified Chi2 Algorithm for Discretization., and . IEEE Trans. Knowl. Data Eng., 14 (3): 666-670 (2002)A discretization method for rough sets theory., and . Intell. Data Anal., 5 (5): 431-438 (2001)Symbolic execution based test-patterns generation algorithm for hardware Trojan detection., , , , , and . Computers & Security, (2018)Economic and financial prediction using rough sets model., and . European Journal of Operational Research, 141 (3): 641-659 (2002)An Efficient Virtual Nodes-based APIT Localization Algorithm with Low Computational Cost., , , and . DSL, page 1-4. IEEE, (2018)