Xinming Ye

32 papers B 3C 5Misc 1Journal 15Unranked 8
YearRankTypeTitle / Venue / Authors
2023 J jnl
Optimizing the Cross-Day Performance of Electromyogram Biometric Decoder.
IEEE Internet Things J.
Xinyu Jiang, Long Meng, Xiangyu Liu, Jiahao Fan, Xinming Ye, Chenyun Dai, Wei Chen
2022 J jnl
Cancelable HD-SEMG Biometric Identification via Deep Feature Learning.
IEEE J. Biomed. Health Informatics
Jiahao Fan, Xinyu Jiang, Xiangyu Liu, Xian Zhao, Xinming Ye, Chenyun Dai, Metin Akay, Wei Chen
2022 J jnl
Measuring Neuromuscular Electrophysiological Activities to Decode HD-sEMG Biometrics for Cross-Application Discrepant Personal Identification With Unknown Identities.
IEEE Trans. Instrum. Meas.
Xinyu Jiang, Xiangyu Liu, Jiahao Fan, Xinming Ye, Chenyun Dai, Edward A. Clancy, Wei Chen
2022 J jnl
Optimization of HD-sEMG-Based Cross-Day Hand Gesture Classification by Optimal Feature Extraction and Data Augmentation.
IEEE Trans. Hum. Mach. Syst.
Xinyu Jiang, Xiangyu Liu, Jiahao Fan, Xinming Ye, Chenyun Dai, Edward A. Clancy, Dario Farina, Wei Chen
2021 J jnl
Enhancing IoT Security via Cancelable HD-sEMG-Based Biometric Authentication Password, Encoded by Gesture.
IEEE Internet Things J.
Xinyu Jiang, Xiangyu Liu, Jiahao Fan, Xinming Ye, Chenyun Dai, Edward A. Clancy, Dario Farina, Wei Chen
2021 J jnl
Quantifying Spatial Activation Patterns of Motor Units in Finger Extensor Muscles.
IEEE J. Biomed. Health Informatics
Xinyu Jiang, Haoran Ren, Ke Xu, Xinming Ye, Chenyun Dai, Edward A. Clancy, Yuan-Ting Zhang, Wei Chen
2014 J jnl
Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets.
J. Appl. Math.
Jing Liu, Xinming Ye, Jiantao Zhou
2013 J jnl
A Model Reduction Method for Parallel Software Testing.
J. Appl. Math.
Tao Sun, Xinming Ye
2013 J jnl
Attack trace generation of cryptographic protocols based on coloured Petri nets model.
Int. J. Wirel. Mob. Comput.
Yunli Bai, Xinming Ye
2012 C conf
A Test Generation Method Based on Model Reduction for Parallel Software.
PDCAT
Tao Sun, Xinming Ye, Jing Liu
2012 — conf
Parallel Software Reuse Driven CPN Model Reduction and Analysis Approach.
COMPSAC Workshops
Tao Sun, Xinming Ye, Hongji Yang, Jing Liu
2012 B conf
Study of Interaction Property Testing of Distributed System Based on Petri Net.
SERVICES
Hua Li, Yi Xing, Yu Xue, Xinming Ye
2011 — conf
A Test Sequence Selection Method for Parallel Software Systems.
PAAP
Tao Sun, Xinming Ye, Jing Liu
2011 C conf
Colored Petri nets model based conformance test generation.
ISCC
Jing Liu, Xinming Ye, Jun Li
2011 Misc conf
Scalable CP-nets modeling for BitTorrent protocol.
SAC
Jing Liu, Haibo Wu, Xinming Ye, Jun Li
2010 C conf
Analyzing Performance for Complex Protocol using Validated CP-nets Models.
CIT
Jing Liu, Xinming Ye, Jun Li
2010 C conf
CP-Nets Based Methodology for Integrating Functional Verification and Performance Analysis of Network Protocol.
SNPD
Jing Liu, Xinming Ye, Jun Li
2010 B conf
Dynamic Differentiated Service Management for IP over Broadcasting Network.
WCNC
Jun Zhang, Hai Jiang, Zhijun Xu, Jun Li, Xinming Ye, Yi Sun
2010 C conf
Integrating functional verification and performance analysis for network protocols using CP-nets.
ISCC
Jing Liu, Xinming Ye, Jun Zhang, Jun Li, Yi Sun
2010 — conf
Test Sequence Generation from Combining Property Modeling and Program Slicing.
COMPSAC Workshops
Hua Li, Yong-guang Peng, Xinming Ye, Jing-yuan Yue
2009 — conf
Modeling Nondeterministic Feature with Petri Net for Network Protocol in Interoperability Testing.
CSIE (7)
Hua Li, Xinming Ye, Chengyong Wu, Chengbao Hang, Lingling Wang
2009 — conf
VLS: A Map-Based Vehicle Location Service for City Environments.
ICC
Xiang-yu Bai, Xinming Ye, Jun Li, Hai Jiang
2008 — conf
Security Verification of 802.11i 4-Way Handshake Protocol.
ICC
Jing Liu, Xinming Ye, Jun Zhang, Jun Li
2006 B conf
Topologically-Aware AAA Overlay Network in Mobile IPv6 Environment.
Networking
Jun Li, Xinming Ye, Ye Tian
2005 — conf
Authenticated stateful auto-configuration for Mobile IPv6 based on pre-IP access control.
WiMob (2)
Jun Li, Xinming Ye, Jing-lin Shi, Miao Wang
2003 J jnl
On reachability graphs of Petri nets.
Comput. Electr. Eng.
Xinming Ye, Jiantao Zhou, Xiaoyu Song
2001 J jnl
Fault diagnosis in hypercube multiprocessor systems.
Int. J. Comput. Math.
Xiaoyu Song, Xinming Ye, Jiantao Zhou
2001 J jnl
On conformance testing of non-deterministic systems.
Int. J. Comput. Math.
Xinming Ye, Jiantao Zhou, Xiaoyu Song, Yongmei Liu
1996 J jnl
An algorithm for determining minimal reduced-coverings of acyclic database schemes.
J. Comput. Sci. Technol.
Tieying Liu, Xinming Ye
1995 J jnl
A Fault-Detection Approach to the Conformance Testing of Nondeterministic Systems.
J. Parallel Distributed Comput.
To-Yat Cheung, Xinming Ye
1994 J jnl
A distributed algorithm for determining minimal covers of acyclic database schemes.
J. Comput. Sci. Technol.
Xinming Ye
1991 — conf
Generating Test Sequences and their Degrees of Indeterminism for Protocols.
PSTV
To-Yat Cheung, Youwen Wu, Xinming Ye