Peng Wu

other persons with the same name:

• Peng Wu

	2009
9		Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu: Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus. IEEE Trans. Software Eng. 35(2): 209-223 (2009)
	2007
8		Daguang Liu, Peng Wu, Huimin Lin: Symbolic Test Generation Using a Temporal Logic with Constrained Events. Formal Methods and Hybrid Real-Time Systems 2007: 467-471
7		Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu: Model checking the probabilistic pi-calculus. QEST 2007: 169-178
6		Peng Wu, Catuscia Palamidessi, Huimin Lin: Symbolic Bisimulations for Probabilistic Systems. QEST 2007: 179-188
	2006
5		Yuxin Deng, Jun Pang, Peng Wu: Measuring Anonymity with Relative Entropy. Formal Aspects in Security and Trust 2006: 65-79
4		Peng Wu, Huimin Lin: Model-based Testing of Concurrent Programs with Predicate Sequencing Constraints. International Journal of Software Engineering and Knowledge Engineering 16(5): 727-746 (2006)
	2005
3		Peng Wu: Iterative Metamorphic Testing. COMPSAC (1) 2005: 19-24
2		Peng Wu, Dongmei Zhang: Compositional Modelling and Verification of IPv6 Mobility. FORTE 2005: 553-556
1		Peng Wu, Huimin Lin: Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints. QSIC 2005: 3-10

Coauthor Index

1	Yuxin Deng	[5]
2	Huimin Lin	[1] [4] [6] [8]
3	Daguang Liu	[8]
4	Gethin Norman	[7] [9]
5	Catuscia Palamidessi	[6] [7] [9]
6	Jun Pang	[5]
7	David Parker	[7] [9]
8	Dongmei Zhang	[2]

Colors in the list of coauthors