- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j6 |      | Ruoyu Zhang, Shiqiu Huang, Zhengwei Qi, Haibing Guan: Static program analysis assisted dynamic taint tracking for software vulnerability discovery. Computers & Mathematics with Applications 63(2): 469-480 (2012) |
| j5 | | Miao Yu, Zhengwei Qi, Qian Lin, Xianming Zhong, Bingyu Li, Haibing Guan: Vis: Virtualization enhanced live forensics acquisition for native system. Digital Investigation 9(1): 22-33 (2012) |
| j4 | | Zhengwei Qi, Bingyu Li, Qian Lin, Miao Yu, Mingyuan Xia, Haibing Guan: SPAD: Software Protection Through Anti-Debugging Using Hardware-Assisted Virtualization. J. Inf. Sci. Eng. 28(5): 813-827 (2012) |
| j3 | | Qian Lin, Zhengwei Qi, Jiewei Wu, Yaozu Dong, Haibing Guan: Optimizing virtual machines using hybrid virtualization. Journal of Systems and Software 85(11): 2593-2603 (2012) |
| c38 | | Lukás Marek, Alex Villazón, Yudi Zheng, Danilo Ansaloni, Walter Binder, Zhengwei Qi: DiSL: a domain-specific language for bytecode instrumentation. AOSD 2012: 239-250 |
| c37 | | Lukás Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tuma, Zhengwei Qi: Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis. APLAS 2012: 256-263 |
| c36 | | Haoliang Dong, Wei Sun, Bin Wang, Haiyang Sun, Zhengwei Qi, Haibing Guan, Yaozu Dong: Memvisor: Application Level Memory Mirroring via Binary Translation. CLUSTER 2012: 562-565 |
| c35 | | Junqing Wang, Miao Yu, Bingyu Li, Zhengwei Qi, Haibing Guan: Hypervisor-based protection of sensitive files in a compromised system. SAC 2012: 1765-1770 |
| c34 | | Danilo Ansaloni, Walter Binder, Christoph Bockisch, Eric Bodden, Kardelen Hatun, Lukás Marek, Zhengwei Qi, Aibek Sarimbekov, Andreas Sewe, Petr Tuma, Yudi Zheng: Challenges for Refinement and Composition of Instrumentations: Position Paper. Software Composition 2012: 86-96 |
| c33 | | Yudi Zheng, Danilo Ansaloni, Lukás Marek, Andreas Sewe, Walter Binder, Alex Villazón, Petr Tuma, Zhengwei Qi, Mira Mezini: Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation. TOOLS (50) 2012: 353-368 |
| 2011 | ||
| c32 | | Miao Yu, Qian Lin, Bingyu Li, Zhengwei Qi, Haibing Guan: Vis: virtualization enhanced live acquisition for native system. APSys 2011: 13 |
| c31 | | Yongqiang Gao, Zhengwei Qi, Yubin Wu, Rui Wang, Liang Liu, Jitao Xu, Haibing Guan: A Power and Performance Management Framework for Virtualized Server Clusters. GreenCom 2011: 170-175 |
| c30 | | Ruoyu Zhang, Shan Huang, Zhengwei Qi: Efficient Taint Analysis with Taint Behavior Summary. CMC 2011: 11-14 |
| c29 | | Rui Wang, Fengqian Gao, Qiang Huang, Zhengwei Qi, Haibing Guan: Apad: A QoS Guarantee System for Virtualized Enterprise Servers. CMC 2011: 81-84 |
| c28 | | Qiang Huang, Fengqian Gao, Rui Wang, Zhengwei Qi: Power Consumption of Virtual Machine Live Migration in Clouds. CMC 2011: 122-125 |
| c27 | | Ruoyu Zhang, Shiqiu Huang, Zhengwei Qi, Haibing Guan: Combining Static and Dynamic Analysis to Discover Software Vulnerabilities. IMIS 2011: 175-181 |
| c26 | | Zhuo Wang, Zhushou Tang, Kan Zhou, Ruoyu Zhang, Zhengwei Qi, Haibing Guan: DsVD: An Effective Low-Overhead Dynamic Software Vulnerability Discoverer. ISADS 2011: 372-377 |
| c25 | | Min Zhu, Miao Yu, Mingyuan Xia, Bingyu Li, Peijie Yu, Shang Gao, Zhengwei Qi, Liang Liu, Ying Chen, Haibing Guan: VASP: virtualization assisted security monitor for cross-platform protection. SAC 2011: 554-559 |
| c24 | | Jun Nakajima, Qian Lin, Sheng Yang, Min Zhu, Shang Gao, Mingyuan Xia, Peijie Yu, Yaozu Dong, Zhengwei Qi, Kai Chen, Haibing Guan: Optimizing virtual machines using hybrid virtualization. SAC 2011: 573-578 |
| c23 | | Qian Lin, Mingyuan Xia, Miao Yu, Peijie Yu, Min Zhu, Shang Gao, Zhengwei Qi, Kai Chen, Haibing Guan: SPAD: software protection through anti-debugging using hardware virtualization. SAC 2011: 623-624 |
| 2010 | ||
| j2 | | Haibing Guan, Bo Liu, Zhengwei Qi, Yindong Yang, Hongbo Yang, Alei Liang: CoDBT: A multi-source dynamic binary translator using hardware-software collaborative techniques. Journal of Systems Architecture - Embedded Systems Design 56(10): 500-508 (2010) |
| c22 | | Kan Zhou, Shiqiu Huang, Zhengwei Qi, Jian Gu, Beijun Shen: Enhance Information Flow Tracking with Function Recognition. e-Forensics 2010: 179-184 |
| c21 | | Peijie Yu, Mingyuan Xia, Qian Lin, Min Zhu, Shang Gao, Zhengwei Qi, Kai Chen, Haibing Guan: Real-time Enhancement for Xen Hypervisor. EUC 2010: 23-30 |
| c20 | | Mingyuan Xia, Miao Yu, Qian Lin, Zhengwei Qi, Haibing Guan: Enhanced Privilege Separation for Commodity Software on Virtualized Platform. ICPADS 2010: 275-282 |
| c19 | | Gengbiao Chen, Zhuo Wang, Ruoyu Zhang, Kan Zhou, Shiqiu Huang, Kangqi Ni, Zhengwei Qi, Kai Chen, Haibing Guan: A Refined Decompiler to Generate C Code with High Readability. WCRE 2010: 150-154 |
| 2009 | ||
| c18 | | Deen Zheng, Zhengwei Qi, Alei Liang, Hongbo Yang, Haibing Guan, Liang Liu: A Heuristic Policy-based System Call Interposition in Dynamic Binary Translation. MASS 2009: 831-835 |
| c17 | | Zhengwei Qi, Alei Liang, Haibing Guan, Ming Wu, Zheng Zhang: A Hybrid Model Checking and Runtime Monitoring Method for C++ Web Services. NCM 2009: 745-750 |
| c16 | | Zhengwei Qi, Liang Liu, Fuyuan Zhang, Haibing Guan, Hao Wang, Ying Chen: FLTL-MC: Online High Level Program Analysis for Web Services. SERVICES I 2009: 171-178 |
| c15 | | Fuyuan Zhang, Zhengwei Qi, Haibing Guan, Xuezheng Liu, Mao Yang, Zheng Zhang: FiLM: A Runtime Monitoring Tool for Distributed Systems. SSIRI 2009: 40-46 |
| 2008 | ||
| c14 | | Yin Qian, Sai Zhang, Zhengwei Qi: Mining Change Patterns in AspectJ Software Evolution. CSSE (2) 2008: 108-111 |
| c13 | | Zhengwei Qi, Liang Liu, Alei Liang, Hao Wang, Ying Chen: An Online Model Checking Tool for Safety and Liveness Bugs. ICPADS 2008: 493-500 |
| 2007 | ||
| c12 | | Feilong Tang, Minglu Li, Minyi Guo, Zhengwei Qi, Yi Wang, Yanqin Yang, Daqiang Zhang: Transaction Management for Grid Workflow Applications. GCC 2007: 705-712 |
| 2006 | ||
| j1 | | Zhengwei Qi, Minglu Li, Cheng Fu, Dongyu Shi, Jinyuan You: Membrane Calculus: a formal method for Grid transactions. Concurrency and Computation: Practice and Experience 18(14): 1799-1809 (2006) |
| 2005 | ||
| c11 | | Dongyu Shi, Jinyuan You, Zhengwei Qi: Building Graphical Model Based System in Sensor Networks. EUC Workshops 2005: 218-227 |
| 2004 | ||
| c10 | | Zhengwei Qi, Cheng Fu, Dongyu Shi, Jinyuan You: The P-System Based Model for Mobile Transactions. CIT 2004: 534-539 |
| c9 | | Zhengwei Qi, Ruonan Rao, Guangtao Xue, Jinyuan You: A New Formal Model Based on P-System for Mobile Transactions. IEEE SCC 2004: 16-22 |
| c8 | | Dongyu Shi, Zhengwei Qi, Cheng Fu, Jinyuan You: An Information Retrieval Model based on Probabilistic network. IEEE SCC 2004: 423-426 |
| c7 | | Cheng Fu, Zhengwei Qi, Jinyuan You: A BioAmbients Based Framework for Chain-Structured Biomolecules Modelling. CIS 2004: 455-459 |
| c6 | | Zhengwei Qi, Xiao Xie, Baowen Zhang, Jinyuan You: Integrating X/Open DTP into Grid Services for Grid Transaction Processing. FTDCS 2004: 128-134 |
| c5 | | Zhengwei Qi, Cheng Fu, Dongyu Shi, Jinyuan You, Minglu Li: Membrane Calculus: A Formal Method for Grid Transactions. GCC 2004: 73-80 |
| c4 |  | Zhengwei Qi, Ruonan Rao, Yao Shen, Jinyuan You: WebTP: A Case Study of Web Transaction Processing. PDPTA 2004: 881-886 |
| 2003 | ||
| c3 | | Feilong Tang, Minglu Li, Jian Cao, Qianni Deng, Jiadi Yu, Zhengwei Qi: GSPD: A Middleware That Supports Publication and Discovery of Grid Services. GCC (1) 2003: 738-745 |
| c2 | | Zhengwei Qi, Jinyuan You, Ying Jin, Feilong Tang: GridTP Services for Grid Transaction Processing. GCC (2) 2003: 891-894 |
| c1 | | Zhengwei Qi, Jinyuan You, Hongyan Mao: P Systems and Petri Nets. Workshop on Membrane Computing 2003: 286-303 |
Colors in the list of coauthors
Last update Tue May 21 03:40:36 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page