Xinming Ye

Jiantao Zhou

J. Appl. Math., 2014

2013

A Model Reduction Method for Parallel Software Testing.

[BibT_eX]

[DOI]

Tao Sun

J. Appl. Math., 2013

Attack trace generation of cryptographic protocols based on coloured Petri nets model.

[BibT_eX]

[DOI]

Yunli Bai

Int. J. Wirel. Mob. Comput., 2013

2012

Study of Interaction Property Testing of Distributed System Based on Petri Net.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE World Congress on Services, 2012

A Test Generation Method Based on Model Reduction for Parallel Software.

[BibT_eX]

[DOI]

Tao Sun

Proceedings of the 13th International Conference on Parallel and Distributed Computing, 2012

Parallel Software Reuse Driven CPN Model Reduction and Analysis Approach.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

2011

Scalable CP-nets modeling for BitTorrent protocol.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

A Test Sequence Selection Method for Parallel Software Systems.

[BibT_eX]

[DOI]

Tao Sun

Proceedings of the Fourth International Symposium on Parallel Architectures, 2011

Colored Petri nets model based conformance test generation.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE Symposium on Computers and Communications, 2011

2010

Dynamic Differentiated Service Management for IP over Broadcasting Network.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE Wireless Communications and Networking Conference, 2010

CP-Nets Based Methodology for Integrating Functional Verification and Performance Analysis of Network Protocol.

[BibT_eX]

[DOI]

Proceedings of the 11th ACIS International Conference on Software Engineering, 2010

Integrating functional verification and performance analysis for network protocols using CP-nets.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010

Test Sequence Generation from Combining Property Modeling and Program Slicing.

[BibT_eX]

[DOI]

Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

Analyzing Performance for Complex Protocol using Validated CP-nets Models.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009

VLS: A Map-Based Vehicle Location Service for City Environments.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2009

Modeling Nondeterministic Feature with Petri Net for Network Protocol in Interoperability Testing.

[BibT_eX]

[DOI]

Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

2008

Security Verification of 802.11i 4-Way Handshake Protocol.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2008

2006

Topologically-Aware AAA Overlay Network in Mobile IPv6 Environment.

[BibT_eX]

[DOI]

Ye Tian

Proceedings of the NETWORKING 2006, 2006

2005

Authenticated stateful auto-configuration for Mobile IPv6 based on pre-IP access control.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Wireless And Mobile Computing, 2005

2003

On reachability graphs of Petri nets.

[BibT_eX]

[DOI]

Jiantao Zhou

Xiaoyu Song

Comput. Electr. Eng., 2003

2001

On conformance testing of non-deterministic systems.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2001

Fault diagnosis in hypercube multiprocessor systems.

[BibT_eX]

[DOI]

Xiaoyu Song

Jiantao Zhou

Int. J. Comput. Math., 2001

1996

An algorithm for determining minimal reduced-coverings of acyclic database schemes.

[BibT_eX]

[DOI]

Tieying Liu

J. Comput. Sci. Technol., 1996

1995

A Fault-Detection Approach to the Conformance Testing of Nondeterministic Systems.

[BibT_eX]

[DOI]

To-Yat Cheung

J. Parallel Distributed Comput., 1995

1994

A distributed algorithm for determining minimal covers of acyclic database schemes.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1994

1991

Generating Test Sequences and their Degrees of Indeterminism for Protocols.

[BibT_eX]

To-Yat Cheung

Youwen Wu