| 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 |
