Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Hongwei Zeng
2010 – today
- 2013
[j1]Yang Liu, Huaikou Miao, Hongwei Zeng, Yan Ma, Pan Liu: Nondeterministic Probabilistic Petri Net - A New Method to Study Qualitative and Quantitative Behaviors of System. J. Comput. Sci. Technol. 28(1): 203-216 (2013)- 2012
- [e1]Huaikou Miao, Roger Y. Lee, Hongwei Zeng, Jongmoon Baik (Eds.): 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, Shanghai, China, May 30 - June 1, 2012. IEEE 2012, ISBN 978-1-4673-1536-4
- 2011
- [c10]Ying Chen, Ye Tian, Hongwei Zeng: Test Generation by Using Component Composition Abstraction Refinement. ACIS-ICIS 2011: 307-311
- [c9]Yang Liu, Huaikou Miao, Hongwei Zeng, Zhuang Li: Probabilistic Petri Net and its Logical Semantics. SERA 2011: 73-78
- [c8]Honghao Gao, Huaikou Miao, Hongwei Zeng: Research on Web Service Composition Using Probabilistic Abstraction Refinement. TASE 2011: 161-168
- 2010
- [p1]Hongwei Zeng, Huaikou Miao: Deadlock Detection for Parallel Composition of Components. Computer and Information Science 2010: 23-34
2000 – 2009
- 2009
- [c7]Huaikou Miao, Pan Liu, Jia Mei, Hongwei Zeng: A New Approach to Automated Redundancy Reduction for Test Sequences. PRDC 2009: 93-98
- 2007
- [c6]Huaikou Miao, Hongwei Zeng: Model Checking-based Verification of Web Application. ICECCS 2007: 47-55
- [c5]
- [c4]Zhong-sheng Qian, Huaikou Miao, Hongwei Zeng: A Practical Web Testing Model for Web Application Testing. SITIS 2007: 434-441
- [c3]Hongwei Zeng, Huaikou Miao, Jing Liu: Specification-based Test Generation and Optimization Using Model Checking. TASE 2007: 349-355
- 2006
- [c2]
- [c1]Zhicheng Wen, Huaikou Miao, Hongwei Zeng: Generating Proof Obligation to Verify Object-Z Specification. ICSEA 2006: 38
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-06 21:01 CET by the dblp team