- Qiu Zongyan, Hong Ali, and Liu Yijing,
Modular Verification of OO Programs with Interfaces (Technical Report). 2012.5. PDF
- Qiu Zongyan, Liu Yijing, and Long Quan,
WP Semantics for OO Programs and Its Applications (Technical Report). 2012.2. PDF
- Liu Yijing and Qiu Zongyan,
OO Separation Logic and Specification/Verification of OO Programs (Technical Report), 2011.10. PDF
- Lei Jinjiang and Qiu Zongyan,
Verification of Lock-free Scalable Synchronous Queue (Technical Report). 2011.5. PDF
- Shu Qin, Qiu Zongyan, and Wang Shuling,
A Confinement Framework for OO Programs (Technical Report). 2011.3. PDF
- Yijing Liu, Hong Ali, and Qiu Zongyan,
Specification Predicates: Linking Abstract Specification to Implementation (Technical Report). 2011.3. PDF
- Yijing Liu and Qiu Zongyan,
A Separation Logic for OO programs (Technical Report). 2010.7. PDF
- Qiu Zongyan, Wang Shuling and Quan Long,
Sequential ¦ĚJava: Formal Foundations (Technical Report). 2007. PDF
|