| 2008 |
|---|
| 66 | EE | Juan Li,
Son T. Vuong:
SOON: A Scalable Self-organized Overlay Network for Distributed Information Retrieval.
DSOM 2008: 1-13 |
| 65 | EE | Sergio González-Valenzuela,
Son T. Vuong,
Victor C. M. Leung:
A self-adaptive placement protocol for mobile directories in MANETs.
MSWiM 2008: 403-410 |
| 2007 |
|---|
| 64 | EE | Juan Li,
Son T. Vuong:
OntSum: A Semantic Query Routing Scheme in P2P Networks Based on Concise Ontology Indexing.
AINA 2007: 94-101 |
| 63 | EE | Mohammed S. Alam,
Son T. Vuong:
APHIDS++: A Mobile Agent Based Intrusion Detection System.
COMSWARE 2007 |
| 62 | EE | Juan Li,
Son T. Vuong:
An Ontological Framework for Large-Scale Grid Resource Discovery.
ISCC 2007: 757-762 |
| 2006 |
|---|
| 61 | EE | Sergio González-Valenzuela,
Son T. Vuong,
Victor C. M. Leung:
A mobile code platform for distributed task control in wireless sensor networks.
MobiDE 2006: 83-86 |
| 60 | EE | Juan Li,
Son T. Vuong:
Grid resource discovery based on semantic P2P communities.
SAC 2006: 754-758 |
| 59 | EE | Xin Liu,
Son T. Vuong:
A Cost-Effective Peer-to-Peer Architecture for Large-Scale On-Demand Media Streaming.
Journal of Multimedia 1(2): 38-49 (2006) |
| 2005 |
|---|
| 58 | EE | Juan Li,
Son T. Vuong:
Grid Resource Discovery Using Semantic Communities.
GCC 2005: 657-667 |
| 57 | EE | Juan Li,
Son T. Vuong:
Semantic overlay network for grid resource discovery.
GRID 2005: 288-291 |
| 56 | EE | Juan Li,
Son T. Vuong:
A Scalable Semantic Routing Architecture for Grid Resource Discovery.
ICPADS (1) 2005: 29-35 |
| 55 | EE | Xin Liu,
Jun Wang,
Son T. Vuong:
A Category Overlay Infrastructure for Peer-to-Peer Content Search.
IPDPS 2005 |
| 54 | EE | Xin Liu,
Son T. Vuong:
Supporting Low-Cost Video-on-Demand in Heterogeneous Peer-to-Peer Networks.
ISM 2005: 523-533 |
| 53 | EE | Mohammed S. Alam,
Abhishek Gupta,
Jake Wires,
Son T. Vuong:
APHIDS++: Evolution of A Programmable Hybrid Intrusion Detection System.
MATA 2005: 22-31 |
| 52 | EE | Anthony (Peiqun) Yu,
Son T. Vuong:
MOPAR: a mobile peer-to-peer overlay architecture for interest management of massively multiplayer online games.
NOSSDAV 2005: 99-104 |
| 51 | EE | Juan Li,
Son T. Vuong:
Ontology-Based Clustering and Routing in Peer-to-Peer Networks.
PDCAT 2005: 791-795 |
| 50 | EE | Juan Li,
Son T. Vuong:
A Semantics-Based Routing Scheme for Grid Resource Discovery.
e-Science 2005: 438-445 |
| 2004 |
|---|
| 49 | EE | Juan Li,
Son T. Vuong:
An Efficient Clustered Architecture for P2P Networks.
AINA (1) 2004: 278-283 |
| 48 | | Son T. Vuong,
Xiaojuan Cai,
Ling Yun,
Wing-Keong Woo:
On Vulnerability Testing of VoIP Software - The MEGACO/H.248 System as an Example.
ICETE (2) 2004: 216-222 |
| 47 | | Kapil Singh,
Son T. Vuong:
BLAZE: A Mobile Agent Paradigm for VoIP Intrusion Detection Systems.
ICETE (2) 2004: 238-245 |
| 46 | EE | Son T. Vuong,
Xiaojuan Cai,
Juan Li,
Sukanta Pramanik,
Duncan Suttles,
Reggie Chen:
FedGrid: An HLA Approach to Federating Grids.
International Conference on Computational Science 2004: 889-896 |
| 45 | EE | Ken Deeter,
Kapil Singh,
Steve Wilson,
Luca Filipozzi,
Son T. Vuong:
APHIDS: A Mobile Agent-Based Programmable Hybrid Intrusion Detection System.
MATA 2004: 244-253 |
| 44 | EE | Ken Deeter,
Son T. Vuong:
AgentViz: A Visualization System for Mobile Agents.
MATA 2004: 339-348 |
| 43 | EE | Juan Li,
Son T. Vuong:
An efficient clustered architecture for P2P networks.
Journal of Interconnection Networks 5(3): 279-298 (2004) |
| 2003 |
|---|
| 42 | | Son T. Vuong,
Juan Li:
ECSP: An Efficient Cluster Based P2P Architecture.
International Conference on Internet Computing 2003: 860-865 |
| 41 | EE | Sergio González-Valenzuela,
Son T. Vuong,
Victor C. M. Leung:
Efficient Formation of Dynamic Bluetooth Scatternet via Mobile Agent Processing.
MATA 2003: 1-10 |
| 40 | EE | Son T. Vuong,
Juan Li:
Efa: An Efficient Content Routing Algorithm in Large Peer-to-Peer Overlay Networks.
Peer-to-Peer Computing 2003: 216-217 |
| 2002 |
|---|
| 39 | EE | Sergio González-Valenzuela,
Son T. Vuong:
Evaluation of Migration Strategies for Mobile Agents in Network Routing.
MATA 2002: 141-150 |
| 2001 |
|---|
| 38 | EE | Sergio González-Valenzuela,
Victor C. M. Leung,
Son T. Vuong:
Multipoint-to-Point Routing with QoS Guarantees Using Mobile Agents.
MATA 2001: 63-72 |
| 2000 |
|---|
| 37 | EE | Dam Q. Hai,
Son T. Vuong:
Dynamic-Distributed Differentiated Service for Multimedia Applications.
DSN 2000: 586- |
| 36 | | Son T. Vuong,
Naizhi Li:
WebMC: A Web-Based Middleware for Mobile Computing.
International Conference on Internet Computing 2000: 157-164 |
| 1999 |
|---|
| 35 | | Jinsong Zhu,
Son T. Vuong:
Coverage analysis for embedded testing and an application.
FORTE 1999: 377-386 |
| 34 | | Alan J. Hu,
Rui Li,
Xizheng Shi,
Son T. Vuong:
Model-Checking a Secure Gorup Communication Protocol: A Case Study.
FORTE 1999: 469-478 |
| 33 | | Jan de Meer,
Son T. Vuong:
The Challenge of QoS Verification.
IWTCS 1999: 287-298 |
| 32 | | Myungchul Kim,
Samuel T. Chanson,
Son T. Vuong:
Concurrency Model for Distributed Systems.
J. Parallel Distrib. Comput. 59(3): 445-464 (1999) |
| 1998 |
|---|
| 31 | | Jinsong Zhu,
Son T. Vuong,
Samuel T. Chanson:
Evaluation of Test Coverage for Embedded System Testing.
IWTCS 1998: 111-126 |
| 30 | | Jinsong Zhu,
Maria Törö,
Victor C. M. Leung,
Son T. Vuong:
Supporting universal personal computing on the Internet with Java and CORBA.
Concurrency - Practice and Experience 10(11-13): 1007-1013 (1998) |
| 1997 |
|---|
| 29 | | Jinsong Zhu,
Son T. Vuong:
Generalized Metric Based Test Selection and Coverage Measure for Communication Protocols.
FORTE 1997: 299-314 |
| 1996 |
|---|
| 28 | EE | Son T. Vuong,
Sangho Lee,
Myungchul Kim:
TESTVAL, a tool for protocol test validation and the validation of a LAPB test suite as an example.
Computer Communications 19(9-10): 804-812 (1996) |
| 1995 |
|---|
| 27 | | Son T. Vuong,
Samuel T. Chanson:
Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994
Chapman & Hall 1995 |
| 26 | EE | Son T. Vuong,
Kendra Cooper,
Mabo Robert Ito:
Petri net models for describing multimedia synchronization requirements.
ICNP 1995: 260- |
| 25 | EE | Wen-Huei Chen,
Chuan Yi Tang,
Son T. Vuong:
Improving the UIOv-method for protocol conformance testing.
Computer Communications 18(9): 609-619 (1995) |
| 1994 |
|---|
| 24 | | Masaaki Mori,
Son T. Vuong:
On finite covering of infinite spaces for protocol test selection.
PSTV 1994: 237-251 |
| 1993 |
|---|
| 23 | | Son T. Vuong,
Sangho Lee:
TESTGEN+: An Integrated Environment for Protocol Test Suite Generation, Selection and Validation.
FORTE 1993: 319-334 |
| 22 | | Myungchul Kim,
Samuel T. Chanson,
Son T. Vuong:
Concurrency Model and Its Application to Formal Protocol Specifications.
INFOCOM 1993: 766-773 |
| 21 | | Samuel T. Chanson,
Antonio Alfredo Ferreira Loureiro,
Son T. Vuong:
On the Design for Testability of Communication Software.
ITC 1993: 190-199 |
| 20 | | Jadranka Alilovic-Curgus,
Son T. Vuong:
A Metric Based Theory of Test Selection and Coverage.
PSTV 1993: 289-304 |
| 19 | | Samuel T. Chanson,
Hendra Dany,
Myungchul Kim,
Qin Li,
Ying Lu,
Son T. Vuong,
Sijian Zhang,
Limin Zhou,
Jinsong Zhu:
The UBC Protocol Testing Environment.
Protocol Test Systems 1993: 215-230 |
| 18 | | Son T. Vuong,
Antonio Alfredo Ferreira Loureiro,
Samuel T. Chanson:
A Framework for the Design for Testability of Communication Protocols.
Protocol Test Systems 1993: 89-108 |
| 17 | | Samuel T. Chanson,
Antonio Alfredo Ferreira Loureiro,
Son T. Vuong:
On Tools Supporting the Use of Formal Description Techniques in Protocol Development.
Computer Networks and ISDN Systems 25(7): 723-739 (1993) |
| 1992 |
|---|
| 16 | | M. McAllister,
Son T. Vuong,
Jadranka Alilovic-Curgus:
Automated Test Case Selection Based on Test Coverage Metrics.
Protocol Test Systems 1992: 93-104 |
| 15 | EE | Samuel T. Chanson,
Son T. Vuong,
Hendra Dany:
Multi-party and interoperability testing using the Ferry Clip approach.
Computer Communications 15(3): 153-168 (1992) |
| 1991 |
|---|
| 14 | | Myungchul Kim,
Samuel T. Chanson,
Son T. Vuong:
Protocol Trace Analysis Based on Formal Specifications.
FORTE 1991: 393-408 |
| 13 | | Son T. Vuong,
Jadranka Alilovic-Curgus:
On Test Coverage Metrics for Communication Protocols.
Protocol Test Systems 1991: 31-45 |
| 12 | | Jan de Meer,
Rudolf Roth,
Son T. Vuong:
Introduction to Algebraic Specifications Based on the Language ACT ONE.
Computer Networks and ISDN Systems 23(5): 363-392 (1991) |
| 11 | | Gerald W. Neufeld,
Son T. Vuong:
An Overview of ASN.1.
Computer Networks and ISDN Systems 23(5): 393-415 (1991) |
| 1990 |
|---|
| 10 | | Son T. Vuong:
Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989
North-Holland 1990 |
| 1989 |
|---|
| 9 | | Richard C. Cam,
Son T. Vuong:
A Formal Specification, in LOTOS, of a Simplified Cellular Mobile Communication System.
FORTE 1989: 485-499 |
| 8 | | Wendy Y. L. Chan,
Son T. Vuong,
Mabo Robert Ito:
On Test Sequence Generation for Protocols.
PSTV 1989: 119-130 |
| 7 | | R. Isaac Chan,
Brian R. Smith,
Gerald W. Neufeld,
Samuel T. Chanson,
W. B. Davis,
Son T. Vuong,
H. L. See,
S. Chan:
A Software Environment for OSI Protocol Testing Systems.
PSTV 1989: 303-314 |
| 1988 |
|---|
| 6 | | Son T. Vuong,
Wendy Y. L. Chan:
Validation of the Ferry-Clip Local Testing System using an Estelle-C Compiler.
FORTE 1988: 337-351 |
| 5 | EE | Son T. Vuong,
Allen C. Lau,
R. Isaac Chan:
Semiautomatic Implementation of Protocols Using an Estelle-C Compiler.
IEEE Trans. Software Eng. 14(3): 384-393 (1988) |
| 1986 |
|---|
| 4 | | Donald Acton,
Huay-Yong Wang,
Son T. Vuong:
Experience with Interprocess Communication in the Distributed Operating System, Team Shoshin.
ICC 1986: 1444-1448 |
| 1984 |
|---|
| 3 | | Son T. Vuong,
Donald D. Cowan:
UNISPEX - A Unified Model for Protocol Specification and Verification.
INFOCOM 1984: 318-327 |
| 2 | | Wolfgang Jürgensen,
Son T. Vuong:
CSP and CSP Nets: A Dual Model for Protocol Specification and Verification.
PSTV 1984: 253-277 |
| 1 | EE | Wolfgang Jürgensen,
Son T. Vuong:
Formal specification and validation of ISO transport protocol components, using petri nets.
Computer Communication Review 14(2): 75-82 (1984) |
