| 2005 |
|---|
| 14 | APHIDS++: Evolution of A Programmable Hybrid Intrusion Detection System. Mohammed S. Alam, Abhishek Gupta, Jake Wires, Son T. Vuong. MATA 2005, 22-31. Web SearchBibTeXDownload |
| 1999 |
|---|
| 13 | Model-Checking a Secure Gorup Communication Protocol: A Case Study. Alan J. Hu, Rui Li, Xizheng Shi, Son T. Vuong. FORTE 1999, 469-478. Web SearchBibTeX |
| 12 | Concurrency Model for Distributed Systems. Myungchul Kim, Samuel T. Chanson, Son T. Vuong. J. Parallel Distrib. Comput. (59): 445-464 (1999). Web SearchBibTeXDownload |
| 1998 |
|---|
| 11 | Evaluation of Test Coverage for Embedded System Testing. Jinsong Zhu, Son T. Vuong, Samuel T. Chanson. IWTCS 1998, 111-126. Web SearchBibTeX |
| 1996 |
|---|
| 10 | TESTVAL, a tool for protocol test validation and the validation of a LAPB test suite as an example. Son T. Vuong, Sangho Lee, Myungchul Kim. Computer Communications (19): 804-812 (1996). Web SearchBibTeXDownload |
| 1993 |
|---|
| 9 | On Tools Supporting the Use of Formal Description Techniques in Protocol Development. Samuel T. Chanson, Antonio Alfredo Ferreira Loureiro, Son T. Vuong. Computer Networks and ISDN Systems (25): 723-739 (1993). Web SearchBibTeXDownload |
| 8 | TESTGEN+: An Integrated Environment for Protocol Test Suite Generation, Selection and Validation. Son T. Vuong, Sangho Lee. FORTE 1993, 319-334. Web SearchBibTeX |
| 7 | Concurrency Model and Its Application to Formal Protocol Specifications. Myungchul Kim, Samuel T. Chanson, Son T. Vuong. INFOCOM 1993, 766-773. Web SearchBibTeX |
| 6 | On the Design for Testability of Communication Software. Samuel T. Chanson, Antonio Alfredo Ferreira Loureiro, Son T. Vuong. ITC 1993, 190-199. Web SearchBibTeX |
| 5 | The UBC Protocol Testing Environment. Samuel T. Chanson, Hendra Dany, Myungchul Kim, Qin Li, Ying Lu, Son T. Vuong, Sijian Zhang, Limin Zhou, Jinsong Zhu. Protocol Test Systems 1993, 215-230. Web SearchBibTeX |
| 4 | A Framework for the Design for Testability of Communication Protocols. Son T. Vuong, Antonio Alfredo Ferreira Loureiro, Samuel T. Chanson. Protocol Test Systems 1993, 89-108. Web SearchBibTeX |
| 1992 |
|---|
| 3 | Multi-party and interoperability testing using the Ferry Clip approach. Samuel T. Chanson, Son T. Vuong, Hendra Dany. Computer Communications (15): 153-168 (1992). Web SearchBibTeXDownload |
| 1991 |
|---|
| 2 | Protocol Trace Analysis Based on Formal Specifications. Myungchul Kim, Samuel T. Chanson, Son T. Vuong. FORTE 1991, 393-408. Web SearchBibTeX |
| 1989 |
|---|
| 1 | A Software Environment for OSI Protocol Testing Systems. R. Isaac Chan, Brian R. Smith, Gerald W. Neufeld, Samuel T. Chanson, W. B. Davis, Son T. Vuong, H. L. See, S. Chan. PSTV 1989, 303-314. Web SearchBibTeX |
