Weiyun Lu

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 1

Top Topics

Static Analysis

Formal Verification

Fault Localization

Bounded Model Checking

Top Venues

EuroS&P Workshops

Microprocess. Microsystems

Publications

Weiyun Lu, Bahman Sistany, Amy P. Felty, Philip J. Scott
Towards Formal Verification of Program Obfuscation. EuroS&P Workshops (2020)
Weiyun Lu, Martin Radetzki
Concurrent and comparative fault simulation in SystemC and its application in robustness evaluation. Microprocess. Microsystems 37 (2) (2013)
Weiyun Lu, Martin Radetzki
Efficient Fault Simulation of SystemC Designs. DSD (2011)