Pham Ngoc Hung Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama: On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification. IEICE Transactions 95-A(9): 1451-1460 (2012)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Le Ba Cuong, Pham Ngoc Hung: A Method for Generating Models of Black-Box Components. KSE 2012: 217-222
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama: An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification. RIVF 2012: 1-6
2010
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama: A Minimized Assumption Generation Method for Component-Based Software Verification. IEICE Transactions 93-D(8): 2172-2181 (2010)
2009
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama: Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. IEICE Transactions 92-A(11): 2772-2780 (2009)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama: A Minimized Assumption Generation Method for Component-Based Software Verification. ICTAC 2009: 277-291
2008
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pham Ngoc Hung, Takuya Katayama: Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. APSEC 2008: 479-486

Coauthor Index

1Toshiaki Aoki
[j3] [c3] [j2] [j1] [c2]
2Le Ba Cuong
[c4]
3Takuya Katayama
[j3] [c3] [j2] [j1] [c2] [c1]
4Viet Ha Nguyen
[j3] [c3] [j2]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 07:10:17 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page