Reachability analysis of protocols with FIFO channels. - Son T. Vuong; Donald D. Cowan (SIGCOMM, 1983)

UNISPEX - A Unified Model for Protocol Specification and Verification. - Son T. Vuong; Donald D. Cowan (INFOCOM, 1984)

CSP and CSP Nets: A Dual Model for Protocol Specification and Verification. - Wolfgang Jürgensen; Son T. Vuong (PSTV, 1984)

Formal specification and validation of ISO transport protocol components, using petri nets. - Wolfgang Jürgensen; Son T. Vuong (Comput. Commun. Rev., 1984)

Experience with Interprocess Communication in the Distributed Operating System, Team Shoshin. - Donald Acton; Huay-Yong Wang; Son T. Vuong (ICC, 1986)

Validation of the Ferry-Clip Local Testing System using an Estelle-C Compiler. - Son T. Vuong; Wendy Y. L. Chan (FORTE, 1988)

Semiautomatic Implementation of Protocols Using an Estelle-C Compiler. - Son T. Vuong; Allen C. Lau; R. Isaac Chan (IEEE Trans. Software Eng., 1988)

A Formal Specification, in LOTOS, of a Simplified Cellular Mobile Communication System. - Richard C. Cam; Son T. Vuong (FORTE, 1989)

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)

On Test Sequence Generation for Protocols. - Wendy Y. L. Chan; Son T. Vuong; Mabo Robert Ito (PSTV, 1989)

A low-cost and portable local area network for interconnecting PC's using electric power lines. - Son T. Vuong; A. H. T. Ma (IEEE J. Sel. Areas Commun., 1989)

Protocol Trace Analysis Based on Formal Specifications. - Myungchul Kim; Samuel T. Chanson; Son T. Vuong (FORTE, 1991)

On Test Coverage Metrics for Communication Protocols. - Son T. Vuong; Jadranka Alilovic-Curgus (Protocol Test Systems, 1991)

Architecture and design of a portable protocol tester. - W. B. Davis; Samuel T. Chanson; Gerald Neufeld; Son T. Vuong; Mabo Robert Ito (IEEE Netw., 1991)

Automated Test Case Selection Based on Test Coverage Metrics. - M. McAllister; Son T. Vuong; Jadranka Alilovic-Curgus (Protocol Test Systems, 1992)

Introduction to Algebraic Specifications Based on the Language ACT ONE. - Jan de Meer; Rudolf Roth; Son T. Vuong (Comput. Networks ISDN Syst., 1992)

An Overview of ASN.1. - Gerald W. Neufeld; Son T. Vuong (Comput. Networks ISDN Syst., 1992)

Multi-party and interoperability testing using the Ferry Clip approach. - Samuel T. Chanson; Son T. Vuong; Hendra Dany (Comput. Commun., 1992)

TESTGEN+: An Integrated Environment for Protocol Test Suite Generation, Selection and Validation. - Son T. Vuong; Sangho Lee 003 (FORTE, 1993)

A framework for interoperability testing of network protocols. - Jadranka Alilovic-Curgus; Son T. Vuong (ICNP, 1993)

Concurrency Model and Its Application to Formal Protocol Specifications. - Myungchul Kim; Samuel T. Chanson; Son T. Vuong (INFOCOM, 1993)

On the Design for Testability of Communication Software. - Samuel T. Chanson; Antonio Alfredo Ferreira Loureiro; Son T. Vuong (ITC, 1993)

A Metric Based Theory of Test Selection and Coverage. - Jadranka Alilovic-Curgus; Son T. Vuong (PSTV, 1993)

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)

A Framework for the Design for Testability of Communication Protocols. - Son T. Vuong; Antonio Alfredo Ferreira Loureiro; Samuel T. Chanson (Protocol Test Systems, 1993)

On Tools Supporting the Use of Formal Description Techniques in Protocol Development. - Samuel T. Chanson; Antonio Alfredo Ferreira Loureiro; Son T. Vuong (Comput. Networks ISDN Syst., 1993)

On finite covering of infinite spaces for protocol test selection. - Masaaki Mori; Son T. Vuong (PSTV, 1994)

TESTGEN: An environment for protocol test suite generation and selection. - Son T. Vuong; H. Janssen; Y. Lu; C. Mathieson; B. Do (Comput. Commun., 1994)

Petri net models for describing multimedia synchronization requirements. - Son T. Vuong; Kendra M. L. Cooper; Mabo Robert Ito (ICNP, 1995)

Improving the UIOv-method for protocol conformance testing. - Wen-Huei Chen; Chuan Yi Tang; Son T. Vuong (Comput. Commun., 1995)

Specification of synchronization requirements for distributed multimedia systems. - Son T. Vuong; Kendra M. L. Cooper; Mabo Robert Ito (MMSD, 1996)

TESTVAL, a tool for protocol test validation and the validation of a LAPB test suite as an example. - Son T. Vuong; Sangho Lee 003; Myungchul Kim (Comput. Commun., 1996)

Generalized Metric Based Test Selection and Coverage Measure for Communication Protocols. - Jinsong Zhu; Son T. Vuong (FORTE, 1997)

Satellite link margin and availability issues. - Xuyen T. Vuong; Son T. Vuong (IEEE Trans. Broadcast., 1997)

Evaluation of Test Coverage for Embedded System Testing. - Jinsong Zhu; Son T. Vuong; Samuel T. Chanson (IWTCS, 1998)

Supporting universal personal computing on the Internet with Java and CORBA. - Jinsong Zhu; Maria Törö; Victor C. M. Leung; Son T. Vuong (Concurr. Pract. Exp., 1998)

Model-Checking a Secure Gorup Communication Protocol: A Case Study. - Alan J. Hu; Rui Li; Xizheng Shi; Son T. Vuong (FORTE, 1999)

Coverage analysis for embedded testing and an application. - Jinsong Zhu; Son T. Vuong (FORTE, 1999)

Design for testability of communication protocols that support coordination loss. - Antonio A. F. Loureiro; Samuel T. Chanson; Son T. Vuong; Osvaldo Carvalho (ICC, 1999)

A superimposition algorithm for application-aware adaptation in mobile computing. - Antonio A. F. Loureiro; Samuel T. Chanson; Son T. Vuong; Osvaldo Carvalho; Geraldo R. Mateus (ICC, 1999)

The Challenge of QoS Verification. - Jan de Meer; Son T. Vuong (IWTCS, 1999)

Concurrency Model for Distributed Systems. - Myungchul Kim; Samuel T. Chanson; Son T. Vuong (J. Parallel Distributed Comput., 1999)

Dynamic-Distributed Differentiated Service for Multimedia Applications. - Dam Q. Hai; Son T. Vuong (DSN, 2000)

WebMC: A Web-Based Middleware for Mobile Computing. - Son T. Vuong; Naizhi Li (International Conference on Internet Computing, 2000)

Multipoint-to-Point Routing with QoS Guarantees Using Mobile Agents. - Sergio González-Valenzuela; Victor C. M. Leung; Son T. Vuong (MATA, 2001)

Evaluation of Migration Strategies for Mobile Agents in Network Routing. - Sergio González-Valenzuela; Son T. Vuong (MATA, 2002)

ECSP: An Efficient Cluster Based P2P Architecture. - Son T. Vuong; Juan Li (International Conference on Internet Computing, 2003)

Efficient Formation of Dynamic Bluetooth Scatternet via Mobile Agent Processing. - Sergio González-Valenzuela; Son T. Vuong; Victor C. M. Leung (MATA, 2003)

Efa: An Efficient Content Routing Algorithm in Large Peer-to-Peer Overlay Networks. - Son T. Vuong; Juan Li (Peer-to-Peer Computing, 2003)

A remotely controlled Bluetooth enabled environment. - Satyajit Chakrabarti; Liyun Wu; Son T. Vuong; Victor C. M. Leung (CCNC, 2004)

A remote controlled wireless enabled environment. - Satyajit Chakrabarti; Liyun Wu; Son T. Vuong; Victor C. M. Leung (CCNC, 2004)

FedGrid: An HLA Approach to Federating Grids. - Son T. Vuong; Xiaojuan Cai; Juan Li; Sukanta Pramanik; Duncan Suttles; Reggie Chen (International Conference on Computational Science, 2004)

BLAZE: A Mobile Agent Paradigm for VoIP Intrusion Detection Systems. - Kapil Singh; Son T. Vuong (ICETE (2), 2004)

On Vulnerability Testing of VoIP Software - The MEGACO/H.248 System as an Example. - Son T. Vuong; Xiaojuan Cai; Ling Yun; Wing-Keong Woo (ICETE (2), 2004)

APHIDS: A Mobile Agent-Based Programmable Hybrid Intrusion Detection System. - Ken Deeter; Kapil Singh; Steve Wilson; Luca Filipozzi; Son T. Vuong (MATA, 2004)

AgentViz: A Visualization System for Mobile Agents. - Ken Deeter; Son T. Vuong (MATA, 2004)

An efficient clustered architecture for P2P networks. - Juan Li; Son T. Vuong (J. Interconnect. Networks, 2004)

BlueMobile - a mobile IP based handoff system for Bluetooth, 802.11 and GPRS links. - Satyajit Chakrabarti; Son T. Vuong; Anirban Sinha; Rajashree Paul (CCNC, 2005)

A Semantics-Based Routing Scheme for Grid Resource Discovery. - Juan Li; Son T. Vuong (e-Science, 2005)

Grid Resource Discovery Using Semantic Communities. - Juan Li; Son T. Vuong (GCC, 2005)

Semantic overlay network for grid resource discovery. - Juan Li; Son T. Vuong (GRID, 2005)

A Scalable Semantic Routing Architecture for Grid Resource Discovery. - Juan Li; Son T. Vuong (ICPADS (1), 2005)

A Category Overlay Infrastructure for Peer-to-Peer Content Search. - Xin Liu; Jun Wang; Son T. Vuong (IPDPS, 2005)

Supporting Low-Cost Video-on-Demand in Heterogeneous Peer-to-Peer Networks. - Xin Liu; Son T. Vuong (ISM, 2005)

MOPAR: a mobile peer-to-peer overlay architecture for interest management of massively multiplayer online games. - Anthony (Peiqun) Yu; Son T. Vuong (NOSSDAV, 2005)

Ontology-Based Clustering and Routing in Peer-to-Peer Networks. - Juan Li; Son T. Vuong (PDCAT, 2005)

A peer-to-peer framework for cost-effective on-demand media streaming. - Xin Liu; Jun Wang; Son T. Vuong (CCNC, 2006)

A mobile code platform for distributed task control in wireless sensor networks. - Sergio González-Valenzuela; Son T. Vuong; Victor C. M. Leung (MobiDE, 2006)

Grid resource discovery based on semantic P2P communities. - Juan Li; Son T. Vuong (SAC, 2006)

A Cost-Effective Peer-to-Peer Architecture for Large-Scale On-Demand Media Streaming. - Xin Liu; Son T. Vuong (J. Multim., 2006)

OntSum: A Semantic Query Routing Scheme in P2P Networks Based on Concise Ontology Indexing. - Juan Li; Son T. Vuong (AINA, 2007)

An Ontological Framework for Large-Scale Grid Resource Discovery. - Juan Li; Son T. Vuong (ISCC, 2007)

A scheme for balancing heterogeneous request load in DHT-based P2P systems. - Juan Li; Billy Chi-Hong Cheung; Son T. Vuong (QSHINE, 2007)

A Recommendation System for Segmented Video-Streaming Content utilizing Categorized Events and Stimuli. - Billy Chi-Hong Cheung; Son T. Vuong (DMS, 2008)

On-Demand P2P Media Streaming Over the Internet. - Son T. Vuong (DMS, 2008)

SOON: A Scalable Self-organized Overlay Network for Distributed Information Retrieval. - Juan Li; Son T. Vuong (DSOM, 2008)

A self-adaptive placement protocol for mobile directories in MANETs. - Sergio González-Valenzuela; Son T. Vuong; Victor C. M. Leung (MSWiM, 2008)

A Mobile-Directory Approach to Service Discovery in Wireless Ad Hoc Networks. - Sergio González-Valenzuela; Son T. Vuong; Victor C. M. Leung (IEEE Trans. Mob. Comput., 2008)

A Novel Web-enabled Healthcare Solution on HealthVault System. - Lingxia Liao; Min Chen 003; Son T. Vuong; Xiaorong Lai (WICON, 2010)

Programmable agents for efficient topology formation of Bluetooth scatternets. - Sergio González-Valenzuela; Son T. Vuong; Victor C. M. Leung (Int. J. Wirel. Mob. Comput., 2010)

A DHT-based hierarchical overlay for Peer-to-Peer MMOGs over MANETs. - Anthony (Peiqun) Yu; Son T. Vuong (IWCMC, 2011)

WiFi positioning overview. - Lingxia Liao; Kai Lin; Xiaofei Wang; Xiaorong Lai; Son T. Vuong (Int. J. Commun. Networks Distributed Syst., 2011)

Leveraging Service Discovery in MANETs with Mobile Directories. - Sergio González-Valenzuela; Son T. Vuong; Victor C. M. Leung (Comput. J., 2012)

A Novel Web-enabled Healthcare Solution on HealthVault System. - Lingxia Liao; Min Chen 003; Joel J. P. C. Rodrigues; Xiaorong Lai; Son T. Vuong (J. Medical Syst., 2012)

Enabling low bit-rate and reliable video surveillance over practical wireless sensor network. - Min Chen 003; Sergio González-Valenzuela; Huasong Cao; Yan Zhang 002; Son T. Vuong (J. Supercomput., 2013)