Login / Signup
Wei Yang Tan
Publication Activity (10 Years)
Years Active: 2013-2014
Publications (10 Years): 0
Top Topics
Functional Decomposition
Reverse Engineer
Formal Models
Program Slicing
Top Venues
HOST
VSTTE
MEMOCODE
IEEE Trans. Emerg. Top. Comput.
</>
Publications
</>
Pramod Subramanyan
,
Nestan Tsiskaridze
,
Wenchao Li
,
Adrià Gascón
,
Wei Yang Tan
,
Ashish Tiwari
,
Natarajan Shankar
,
Sanjit A. Seshia
,
Sharad Malik
Reverse Engineering Digital Circuits Using Structural and Functional Analyses.
IEEE Trans. Emerg. Top. Comput.
2 (1) (2014)
Wei Yang Tan
,
Rohit Sinha
,
John L. Manferdelli
,
Sanjit A. Seshia
Formal Modeling and Verification of CloudProxy.
VSTTE
(2014)
Wenchao Li
,
Adrià Gascón
,
Pramod Subramanyan
,
Wei Yang Tan
,
Ashish Tiwari
,
Sharad Malik
,
Natarajan Shankar
,
Sanjit A. Seshia
WordRev: Finding word-level structures in a sea of bit-level gates.
HOST
(2013)
Cynthia Sturton
,
Rohit Sinha
,
Thurston H. Y. Dang
,
Sakshi Jain
,
Michael McCoyd
,
Wei Yang Tan
,
Petros Maniatis
,
Sanjit A. Seshia
,
David A. Wagner
Symbolic software model validation.
MEMOCODE
(2013)