Efficient Fault Simulation of SystemC Designs. - Weiyun Lu; Martin Radetzki (DSD, 2011)

Concurrent and comparative fault simulation in SystemC and its application in robustness evaluation. - Weiyun Lu; Martin Radetzki (Microprocess. Microsystems, 2013)

Towards Formal Verification of Program Obfuscation. - Weiyun Lu; Bahman Sistany; Amy P. Felty; Philip J. Scott (EuroS&P Workshops, 2020)