Generating Test Sequences and their Degrees of Indeterminism for Protocols. - To-Yat Cheung; Youwen Wu; Xinming Ye (PSTV, 1991)

A distributed algorithm for determining minimal covers of acyclic database schemes. - Xinming Ye (J. Comput. Sci. Technol., 1994)

A Fault-Detection Approach to the Conformance Testing of Nondeterministic Systems. - To-Yat Cheung; Xinming Ye (J. Parallel Distributed Comput., 1995)

An algorithm for determining minimal reduced-coverings of acyclic database schemes. - Tieying Liu; Xinming Ye (J. Comput. Sci. Technol., 1996)

Fault diagnosis in hypercube multiprocessor systems. - Xiaoyu Song; Xinming Ye; Jiantao Zhou 002 (Int. J. Comput. Math., 2001)

On conformance testing of non-deterministic systems. - Xinming Ye; Jiantao Zhou 002; Xiaoyu Song; Yongmei Liu 009 (Int. J. Comput. Math., 2001)

On reachability graphs of Petri nets. - Xinming Ye; Jiantao Zhou 002; Xiaoyu Song (Comput. Electr. Eng., 2003)

Authenticated stateful auto-configuration for Mobile IPv6 based on pre-IP access control. - Jun Li 002; Xinming Ye; Jing-lin Shi; Miao Wang (WiMob (2), 2005)

Topologically-Aware AAA Overlay Network in Mobile IPv6 Environment. - Jun Li 002; Xinming Ye; Ye Tian (Networking, 2006)

Security Verification of 802.11i 4-Way Handshake Protocol. - Jing Liu 003; Xinming Ye; Jun Zhang 001; Jun Li 002 (ICC, 2008)

Modeling Nondeterministic Feature with Petri Net for Network Protocol in Interoperability Testing. - Hua Li; Xinming Ye; Chengyong Wu; Chengbao Hang; Lingling Wang (CSIE (7), 2009)

VLS: A Map-Based Vehicle Location Service for City Environments. - Xiang-yu Bai; Xinming Ye; Jun Li 002; Hai Jiang 004 (ICC, 2009)

Analyzing Performance for Complex Protocol using Validated CP-nets Models. - Jing Liu 003; Xinming Ye; Jun Li 002 (CIT, 2010)

Test Sequence Generation from Combining Property Modeling and Program Slicing. - Hua Li; Yong-guang Peng; Xinming Ye; Jing-yuan Yue (COMPSAC Workshops, 2010)

Integrating functional verification and performance analysis for network protocols using CP-nets. - Jing Liu 003; Xinming Ye; Jun Zhang 001; Jun Li 002; Yi Sun 004 (ISCC, 2010)

CP-Nets Based Methodology for Integrating Functional Verification and Performance Analysis of Network Protocol. - Jing Liu 003; Xinming Ye; Jun Li 002 (SNPD, 2010)

Dynamic Differentiated Service Management for IP over Broadcasting Network. - Jun Zhang 001; Hai Jiang 004; Zhijun Xu; Jun Li 002; Xinming Ye; Yi Sun 004 (WCNC, 2010)

Colored Petri nets model based conformance test generation. - Jing Liu 003; Xinming Ye; Jun Li 002 (ISCC, 2011)

A Test Sequence Selection Method for Parallel Software Systems. - Tao Sun 002; Xinming Ye; Jing Liu 003 (PAAP, 2011)

Scalable CP-nets modeling for BitTorrent protocol. - Jing Liu 003; Haibo Wu 001; Xinming Ye; Jun Li 002 (SAC, 2011)

Parallel Software Reuse Driven CPN Model Reduction and Analysis Approach. - Tao Sun 002; Xinming Ye; Hongji Yang; Jing Liu 003 (COMPSAC Workshops, 2012)

A Test Generation Method Based on Model Reduction for Parallel Software. - Tao Sun 002; Xinming Ye; Jing Liu 003 (PDCAT, 2012)

Study of Interaction Property Testing of Distributed System Based on Petri Net. - Hua Li; Yi Xing; Yu Xue; Xinming Ye (SERVICES, 2012)

Attack trace generation of cryptographic protocols based on coloured Petri nets model. - Yunli Bai; Xinming Ye (Int. J. Wirel. Mob. Comput., 2013)

A Model Reduction Method for Parallel Software Testing. - Tao Sun 002; Xinming Ye (J. Appl. Math., 2013)

Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets. - Jing Liu 003; Xinming Ye; Jiantao Zhou 002 (J. Appl. Math., 2014)

Enhancing IoT Security via Cancelable HD-sEMG-Based Biometric Authentication Password, Encoded by Gesture. - Xinyu Jiang; Xiangyu Liu; Jiahao Fan; Xinming Ye; Chenyun Dai; Edward A. Clancy; Dario Farina; Wei Chen 015 (IEEE Internet Things J., 2021)

Quantifying Spatial Activation Patterns of Motor Units in Finger Extensor Muscles. - Xinyu Jiang; Haoran Ren; Ke Xu 006; Xinming Ye; Chenyun Dai; Edward A. Clancy; Yuan-Ting Zhang; Wei Chen 015 (IEEE J. Biomed. Health Informatics, 2021)

Optimization of HD-sEMG-Based Cross-Day Hand Gesture Classification by Optimal Feature Extraction and Data Augmentation. - Xinyu Jiang; Xiangyu Liu; Jiahao Fan; Xinming Ye; Chenyun Dai; Edward A. Clancy; Dario Farina; Wei Chen 015 (IEEE Trans. Hum. Mach. Syst., 2022)

Measuring Neuromuscular Electrophysiological Activities to Decode HD-sEMG Biometrics for Cross-Application Discrepant Personal Identification With Unknown Identities. - Xinyu Jiang; Xiangyu Liu; Jiahao Fan; Xinming Ye; Chenyun Dai; Edward A. Clancy; Wei Chen 015 (IEEE Trans. Instrum. Meas., 2022)

Cancelable HD-SEMG Biometric Identification via Deep Feature Learning. - Jiahao Fan; Xinyu Jiang; Xiangyu Liu; Xian Zhao; Xinming Ye; Chenyun Dai; Metin Akay; Wei Chen 015 (IEEE J. Biomed. Health Informatics, 2022)

Optimizing the Cross-Day Performance of Electromyogram Biometric Decoder. - Xinyu Jiang; Long Meng; Xiangyu Liu; Jiahao Fan; Xinming Ye; Chenyun Dai; Wei Chen 015 (IEEE Internet Things J., 2023)