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 |