We stand with Ukraine  

Xiang Yin

Affiliations:
  • University of Virginia, Department of Computer Science, Charlottesville, VA, USA


According to our database1, Xiang Yin authored at least 6 papers between 2005 and 2010.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Formal Verification of Large Software Systems.
[BibTeX]
Xiang Yin
,
John C. Knight
Proceedings of the Second NASA Formal Methods Symposium, 2010

Practical Limits on Software Dependability: A Case Study.
[BibTeX]
[DOI]
Patrick J. Graydon
,
John C. Knight
,
Xiang Yin
Proceedings of the Reliable Software Technologiey, 2010

2009
Exploiting refactoring in formal verification.
[BibTeX]
[DOI]
Xiang Yin
,
John C. Knight
,
Westley Weimer
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008
Formal Verification by Reverse Synthesis.
[BibTeX]
[DOI]
Xiang Yin
,
John C. Knight
,
Elisabeth A. Nguyen
,
Westley Weimer
Proceedings of the Computer Safety, 2008

2006
The echo approach to formal verification.
[BibTeX]
[DOI]
Xiang Yin
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005
Echo: a practical approach to formal verification.
[BibTeX]
[DOI]
Elisabeth A. Strunk
,
Xiang Yin
,
John C. Knight
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005


  Loading...