| Detecting Energy Bugs in Android Apps Using Static Analysis. | 3 | 0.38 | 2017 |
| 基于UPPAAL的WSNs数据收集协议的建模与分析 (Modeling and Analyzing of WSNs Data Gathering Protocol Based on UPPAAL). | 0 | 0.34 | 2016 |
| XML Schema特征提取算法 (XML Schema Features Extraction Algorithm). | 0 | 0.34 | 2015 |
| Choreography Scenario-Based Test Data Generation | 0 | 0.34 | 2014 |
| Program verification and testing technologies | 0 | 0.34 | 2014 |
| Towards Conformance Testing of Choreography Based on Scenario | 1 | 0.63 | 2013 |
| Invariants synthesis over a combined domain for automated program verification | 2 | 0.38 | 2013 |
| Algorithms for checking channel passing in web service choreography | 1 | 0.35 | 2013 |
| Performance Analysis of Data Gathering Protocol Using PRISM | 0 | 0.34 | 2012 |
| Generating Scenarios from Web Service Choreography. | 0 | 0.34 | 2011 |
| Analysis of WS-BPEL Processes in PRISM | 2 | 0.37 | 2011 |
| A Probabilistic QoS Model-Checking for Dynamic Routing Protocol | 1 | 0.35 | 2010 |
| Global-to-local approach to rigorously developing distributed system with exception handling | 0 | 0.34 | 2009 |
| A Formal Model for Channel Passing in Web Service Composition | 3 | 0.47 | 2008 |
| Reasoning about Channel Passing in Choreography | 8 | 0.62 | 2008 |
| Correct Channel Passing by Construction | 1 | 0.35 | 2008 |
| A Formal Model of Human Workflow | 12 | 0.71 | 2008 |
| Towards the theoretical foundation of choreography | 84 | 2.99 | 2007 |
| Towards the Formal Model and Verification of Web Service Choreography Description Language | 27 | 1.68 | 2006 |
| Patterns with Algebraic Properties in BPEL0 | 1 | 0.42 | 2006 |
| A Formal Model forWeb Service Choreography Description Language (WS-CDL) | 34 | 1.87 | 2006 |
| Type checking choreography description language | 11 | 0.87 | 2006 |
