Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol. - Wei Wang 062; Dongyao Ji (FORTE, 2008)

Cascade 2.0. - Wei Wang 062; Clark W. Barrett; Thomas Wies (VMCAI, 2014)

Cascade - (Competition Contribution). - Wei Wang 062; Clark W. Barrett (TACAS, 2015)

Partition Memory Models for Program Analysis. - Wei Wang 062 (2016)

Partitioned Memory Models for Program Analysis. - Wei Wang 062; Clark W. Barrett; Thomas Wies (VMCAI, 2017)