| * | 2009 |
|---|
| 10 | EE | Wei Ye,
Wen Zhao,
Yu Huang,
Wenhui Hu,
Shikun Zhang,
Lifu Wang:
Formal Definition and Detection Algorithm for Passive Event in RFID Middleware.
APWeb/WAIM 2009: 538-543 |
| 2008 |
|---|
| 9 | EE | Haiqiang Dun,
Wen Zhao,
Yu Huang,
Shikun Zhang,
Lifu Wang:
Modeling and Analysis of WS-BPEL Business Processes Based on ServiceNet.
APSEC 2008: 265-272 |
| 8 | EE | Haiqiang Dun,
Haiying Xu,
Lifu Wang:
Transformation of BPEL Processes to Petri Nets.
TASE 2008: 166-173 |
| 7 | EE | Lifu Wang,
Partha Dasgupta:
Coprocessor-based hierarchical trust management for software integrity and digital identity protection.
Journal of Computer Security 16(3): 311-339 (2008) |
| 2007 |
|---|
| 6 | EE | Lifu Wang,
Partha Dasgupta:
Kernel and Application Integrity Assurance: Ensuring Freedom from Rootkits and Malware in a Computer System.
AINA Workshops (1) 2007: 583-589 |
| 5 | EE | Zhenyu Chen,
Zhihong Tao,
Baowen Xu,
Lifu Wang:
Implication-Based Approximating Bounded Model Checking.
FSEN 2007: 350-363 |
| 4 | EE | Tao Jia,
Wen Zhao,
Lifu Wang:
PrSH: A Belief Description Logic.
KES-AMSTA 2007: 31-41 |
| 2006 |
|---|
| 3 | EE | Xing-Qi Huang,
Lifu Wang,
Wen Zhao,
Shikun Zhang,
Chong-Yi Yuan:
A Workflow Process Mining Algorithm Based on Synchro-Net.
J. Comput. Sci. Technol. 21(1): 66-71 (2006) |
| 2005 |
|---|
| 2 | EE | Jian Cai,
Wen Zhao,
Shikun Zhang,
Lifu Wang:
Correctness Verification of synchronization based workflow model.
ICEBE 2005: 527-530 |
| 2004 |
|---|
| 1 | | Lifu Wang,
Kyung Dong Ryu:
Feasibility of Exploiting Virtual Machines for Grid Computing.
PDPTA 2004: 763-768 |
