The following publications are possibly variants of this publication:
- Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based SoftwarePham Ngoc Hung, Takuya Katayama. apsec 2008: 479-486 [doi]
- Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based SoftwarePham Ngoc Hung, Toshiaki Aoki, Takuya Katayama. ieicet, 92-A(11):2772-2780, 2009. [doi]
- A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based SoftwareHoang Viet Tran, Pham Ngoc Hung. kse 2021: 1-6 [doi]
- A Minimized Assumption Generation Method for Component-Based Software VerificationPham Ngoc Hung, Toshiaki Aoki, Takuya Katayama. ictac 2009: 277-291 [doi]
- A Minimized Assumption Generation Method for Component-Based Software VerificationPham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama. ieicet, 93-D(8):2172-2181, 2010. [doi]