Author of the publication

Functional test generation guided by steady-state probabilities of abstract design.

, , , , and . DATE, page 1-4. European Design and Automation Association, (2014)

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

Task Scheduling in Cloud Computing Based on Cross Entropy Method., , and . GRMSE (1), volume 698 of Communications in Computer and Information Science, page 196-202. Springer, (2016)Gram-based Attentive Neural Ordinary Differential Equations Network for Video Nystagmography Classification., , , , , , , , and . ICCV, page 21282-21291. IEEE, (2023)SASH: Efficient secure aggregation based on SHPRG for federated learning., , , , , and . UAI, volume 180 of Proceedings of Machine Learning Research, page 1243-1252. PMLR, (2022)Adversarial Testing: A Novel On-Line Testing Method for Deep Learning Processors., , , , and . ATS, page 1-6. IEEE, (2023)SeGa: A Trojan Detection Method Combined With Gate Semantics., , , , and . ATS, page 43-48. IEEE, (2021)Low-cost rapid prototyping of flexible plastic paper based microfluidic devices., , , and . NEMS, page 175-178. IEEE, (2013)DHSA: efficient doubly homomorphic secure aggregation for cross-silo federated learning., , , , , and . J. Supercomput., 79 (3): 2819-2849 (2023)BMC-Based Temperature-Aware SBST for Worst-Case Delay Fault Testing Under High Temperature., , , , , and . IEEE Trans. Very Large Scale Integr. Syst., 30 (11): 1677-1690 (2022)SATAM: A SAT Attack Resistant Active Metering Against IC Overbuilding., , , , and . IEEE Trans. Emerg. Top. Comput., 10 (4): 2025-2041 (2022)Compression/Scan Co-design for Reducing Test Data Volume, Scan-in Power Dissipation, and Test Application Time., , , , and . IEICE Trans. Inf. Syst., 89-D (10): 2616-2625 (2006)