| 2008 |
|---|
| 6 | EE | Haiqiang Dun,
Haiying Xu,
Lifu Wang:
Transformation of BPEL Processes to Petri Nets.
TASE 2008: 166-173 |
| 5 | 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 |
|---|
| 4 | 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 |
| 3 | EE | Zhenyu Chen,
Zhihong Tao,
Baowen Xu,
Lifu Wang:
Implication-Based Approximating Bounded Model Checking.
FSEN 2007: 350-363 |
| 2 | EE | Tao Jia,
Wen Zhao,
Lifu Wang:
PrSH: A Belief Description Logic.
KES-AMSTA 2007: 31-41 |
| 2004 |
|---|
| 1 | | Lifu Wang,
Kyung Dong Ryu:
Feasibility of Exploiting Virtual Machines for Grid Computing.
PDPTA 2004: 763-768 |
