other persons with the same name:
2009 | ||
---|---|---|
9 | EE | 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 | EE | 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 | EE | Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu: Model checking the probabilistic pi-calculus. QEST 2007: 169-178 |
6 | EE | Peng Wu, Catuscia Palamidessi, Huimin Lin: Symbolic Bisimulations for Probabilistic Systems. QEST 2007: 179-188 |
2006 | ||
5 | EE | Yuxin Deng, Jun Pang, Peng Wu: Measuring Anonymity with Relative Entropy. Formal Aspects in Security and Trust 2006: 65-79 |
4 | EE | 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 | EE | Peng Wu: Iterative Metamorphic Testing. COMPSAC (1) 2005: 19-24 |
2 | EE | Peng Wu, Dongmei Zhang: Compositional Modelling and Verification of IPv6 Mobility. FORTE 2005: 553-556 |
1 | EE | Peng Wu, Huimin Lin: Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints. QSIC 2005: 3-10 |
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] |