Bo-Yuan Huang

Bo-Yuan Huang

Intel Corporation - California / United States
Others
AD Scientific Index ID: 5421909
-
person_outline Bo-Yuan Huang's MOST POPULAR ARTICLES
1-) Instruction-level abstraction (ila) a uniform specification for system-on-chip (soc) verificationBY Huang, H Zhang, P Subramanyan, Y Vizel, A Gupta, S MalikACM Transactions on Design Automation of Electronic Systems (TODAES) 24 (1 …, 2018702018
2-) Intelligent REST API data fuzzingP Godefroid, BY Huang, M PolishchukProceedings of the 28th ACM joint meeting on European software engineering …, 2020482020
3-) Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardwareBY Huang, S Ray, A Gupta, JM Fung, S MalikProceedings of the 55th Annual Design Automation Conference, 1-6, 2018362018
4-) Resource allocation in D2D communication-A game theoretic approachBY Huang, ST Su, CY Wang, CW Yeh, HY Wei2014 IEEE International Conference on Communications Workshops (ICC), 483-488, 2014362014
5-) Template-based parameterized synthesis of uniform instruction-level abstractions for SoC verificationP Subramanyan, BY Huang, Y Vizel, A Gupta, S MalikIEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2017252017