Xiang Yin

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

Xiang Yin, John C. Knight
Formal Verification of Large Software Systems. NASA Formal Methods (2010)
Patrick J. Graydon, John C. Knight, Xiang Yin
Practical Limits on Software Dependability: A Case Study. Ada-Europe (2010)
Xiang Yin, John C. Knight, Westley Weimer
Exploiting refactoring in formal verification. DSN (2009)
Xiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer
Formal Verification by Reverse Synthesis. SAFECOMP (2008)
Xiang Yin
The echo approach to formal verification. ICSE (2006)
Elisabeth A. Strunk, Xiang Yin, John C. Knight
Echo: a practical approach to formal verification. FMICS (2005)