Author of the publication

Efficient Techniques for Automatic Verification-Oriented Test Set Optimization.

, , and . International Journal of Parallel Programming, 34 (1): 93-109 (2006)

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

Simulation-based verification of network protocols performance., , , , , and . CHARME, volume 105 of IFIP Conference Proceedings, page 236-251. Chapman & Hall, (1997)Evolving Warriors for the Nano Core., , and . CIG, page 272-278. IEEE, (2006)TURAN: Evolving non-deterministic players for the iterated prisoner's dilemma., , , and . IEEE Congress on Evolutionary Computation, page 21-27. IEEE, (2014)Evolving assembly programs: how games help microprocessor validation., , and . IEEE Trans. Evolutionary Computation, 9 (6): 695-706 (2005)Efficient Techniques for Automatic Verification-Oriented Test Set Optimization., , and . International Journal of Parallel Programming, 34 (1): 93-109 (2006)On the Mitigation of Hardware Trojan Attacks in Embedded Processors by Exploiting a Hardware-Based Obfuscator., , , and . IVSW, page 31-37. IEEE, (2018)Automatic Completion and Refinement of Verification Sets for Microprocessor Cores., , and . EvoWorkshops, volume 3449 of Lecture Notes in Computer Science, page 205-214. Springer, (2005)Chromatic Selection - An Oversimplified Approach to Multi-objective Optimization.. EvoApplications, volume 9028 of Lecture Notes in Computer Science, page 681-689. Springer, (2015)Multi-objective Evolutionary Algorithms for Influence Maximization in Social Networks., , , , and . EvoApplications (1), volume 10199 of Lecture Notes in Computer Science, page 221-233. (2017)Promoting Diversity in Evolutionary Algorithms: an Updated Bibliography., and . GECCO (Companion), page 943-944. ACM, (2016)