| Measuring Neuromuscular Electrophysiological Activities to Decode HD-sEMG Biometrics for Cross-Application Discrepant Personal Identification With Unknown Identities. | 0 | 0.34 | 2022 |
| Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets. | 1 | 0.35 | 2014 |
| A Model Reduction Method for Parallel Software Testing. | 0 | 0.34 | 2013 |
| Attack trace generation of cryptographic protocols based on coloured Petri nets model | 1 | 0.36 | 2013 |
| A Test Generation Method Based on Model Reduction for Parallel Software | 0 | 0.34 | 2012 |
| Study of Interaction Property Testing of Distributed System Based on Petri Net | 0 | 0.34 | 2012 |
| Parallel Software Reuse Driven CPN Model Reduction and Analysis Approach | 0 | 0.34 | 2012 |
| Colored Petri nets model based conformance test generation | 3 | 0.68 | 2011 |
| Scalable CP-nets modeling for BitTorrent protocol | 0 | 0.34 | 2011 |
| A Test Sequence Selection Method for Parallel Software Systems | 2 | 0.39 | 2011 |
| CP-Nets Based Methodology for Integrating Functional Verification and Performance Analysis of Network Protocol | 0 | 0.34 | 2010 |
| Integrating functional verification and performance analysis for network protocols using CP-nets | 0 | 0.34 | 2010 |
| Analyzing Performance for Complex Protocol using Validated CP-nets Models | 2 | 0.37 | 2010 |
| Dynamic Differentiated Service Management for IP over Broadcasting Network. | 0 | 0.34 | 2010 |
| Test Sequence Generation from Combining Property Modeling and Program Slicing | 1 | 0.37 | 2010 |
| VLS: a map-based vehicle location service for city environments | 18 | 0.83 | 2009 |
| Modeling Nondeterministic Feature with Petri Net for Network Protocol in Interoperability Testing | 1 | 0.40 | 2009 |
| Security Verification Of 802.11i 4-Way Handshake Protocol | 6 | 0.51 | 2008 |
| Topologically-Aware AAA overlay network in mobile IPv6 environment | 0 | 0.34 | 2006 |
| Authenticated stateful auto-configuration for Mobile IPv6 based on pre-IP access control. | 1 | 0.36 | 2005 |
| On reachability graphs of Petri nets | 6 | 0.50 | 2003 |
| On Conformance Testing Of Non-Deterministic Systems | 0 | 0.34 | 2001 |
| Fault Diagnosis In Hypercube Multiprocessor Systems | 0 | 0.34 | 2001 |
| A Formal Description Technology: Graphics E-LOTOS | 0 | 0.34 | 1999 |
| An algorithm for determining minimal reduced-coverings of acyclic database schemes | 0 | 0.34 | 1996 |
| A fault-detection approach to the conformance testing of nondeterministic systems | 4 | 0.53 | 1995 |
| A distributed algorithm for determining minimal covers of acyclic database schemes | 0 | 0.34 | 1994 |
| Generating Test Sequences and their Degrees of Indeterminism for Protocols | 6 | 0.91 | 1991 |
