Wei Wang

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 1

Top Topics

Computational Power

Object Recognition

Multiresolution

International Competition

Top Venues

Publications

Wei Wang, Clark W. Barrett, Thomas Wies
Partitioned Memory Models for Program Analysis. VMCAI (2017)
Wei Wang, Clark W. Barrett
Cascade - (Competition Contribution). TACAS (2015)
Wei Wang, Clark W. Barrett, Thomas Wies
Cascade 2.0. VMCAI (2014)
Wei Wang, Dongyao Ji
Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol. FORTE (2008)