Automated Field-based Decomposition to Accelerate Model Checking FPGA-based TCP/IP. - Tianqi Fang; Lisong Xu; Witawas Srisa-an (ICC, 2020)

Efficient Verification of Timing-Related Network Functions in High-Speed Hardware. - Tianqi Fang; Lisong Xu; Witawas Srisa-an (INFOCOM, 2023)

Evaluation of the ProgHW/SW Architectural Design Space of Bandwidth Estimation. - Tianqi Fang; Lisong Xu; Witawas Srisa-an; Jay Patel (PAM, 2023)