Peng WU

Peng WU	Associate Research Professor Ph.D. in Computer Software and Theory, 2005
`Contact Address:`	`Lab of Computer Science, P.O.Box 8718, Beijing 100190, China`
`Office:`	`Room 325, Building 5#, Institute of Software, Chinese Academy of Science, 4 ZHONG GUAN CUN NAN SI JIE, Beijing 100190, China`
`Telephone:`	`+86 (10)6266 1622 Fax: +86 (10)6266 1627`
`Email:`	`wp(at)ios(dot)ac(dot)cn`

Research Interests: Concurrency, Model Checking, Testing

Publications ( DBLP) - Software - Links

Journals

Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu. Model Checking Optimisation-Based Congestion Control Models. Fundamenta Informaticae, 2010, 102(1): 77 - 96 [abstract+full-text]
Gethin Norman, Catuscia Palamidessi, David Parker and Peng Wu. Model Checking Probabilistic and Stochastic Extensions of the Pi-calculus. IEEE Transactions on Software Engineering, 2009, 35(2): 209 - 223 [full-text][MMCsp]
Peng Wu, Huimin Lin, Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints. International Journal of Software Engineering and Knowledge Engineering, 2006, 16(5): 727 - 746 [abstract+full-text/WorldScientific][PSCL]
Peng Wu. Analyzing Interoperability of Protocols Using Model Checking. The Chinese Journal of Electronics, 2005, 14(3): 453 - 457 (A preliminary version was accepted by the 1st International Workshop on Automated Technology for Verification and Analysis (ATVA 2003), National Taiwan University, Dec. 10 - 13, 2003)
Peng Wu, Xiaochun Shi, Jiangjun Tang, Huimin Lin, T. Y. Chen. Metamorphic Testing and Special Case Testing: A Case Study. Journal of Software, 2005, 16(7): 1210 - 1220 [abstract + full-text][MTest]
Peng Wu. Interpreting pi-Calculus with Spin/Promela. Computer Science, 2003, 8: 7 - 9, Supplement(the Proceedings of National Conference on Theoretical Computer Science, Qingdao, China, Aug. 3 - 7, 2003 [An English version][pi2promela]
Peng Wu, Qiang Gao, Implementation of Home Networking: Technical Research, Accepted by Computer Engineering and Application, 2001

Conferences & Workshop Proceedings

Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu. Assume-Guarantee Verification with Local Specifications. In Proc. 12th International Conference on Formal Engineering Methods (ICFEM 2010), LNCS 6447, pp. 204 - 219, Shanghai, China, Nov. 17 - 19, 2010 [abstract + full-text/SpringerLink]
Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu. Model Checking Optimisation-Based Congestion Control Models. In the Proceedings of the 12th International Workshop on Concurrency, Specification and Programming (CS&P 2009), pp. 386 - 397, Krakow, Poland, Sep. 28 - 30, 2009 [full-text]
Peng Wu, Catuscia Palamidessi and Huimin Lin. Symbolic Bisimulations for Probabilistic Systems. In the proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST 2007), pp. 179 - 188, Edinburgh, Scotland, Sep. 16 - 19, 2007 [report version]
Gethin Norman, Catuscia Palamidessi, David Parker and Peng Wu. Model Checking the Probabilistic pi-Calculus. In the proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST 2007), pp. 169 - 178, Edinburgh, Scotland, Sep. 16 - 19, 2007 [full-text][MMCsp]
Peng Wu, Daguang Liu and Huimin Lin. Symbolic Test Generation Using a Temporal Logic with Constrained Events. Position Paper. In the Proceedings of the 19th IFIP International Conference on Testing of Communicating Systems and the 7th International Workshop on Formal Approaches to Testing of Software (TESTCOM/FATES 2007), Tallinn, Estonia, Jun. 26-29, 2007 [PSCL]
Yuxin Deng, Jun Pang, Peng Wu. Measuring Anonymity with Relative Entropy. In the Proceedings of the 4th International Workshop on Formal Aspects in Security and Trust (FAST 2006), LNCS pp. 65 - 79, Ontario, Canada, Aug. 26 - 27, 2006
Peng Wu, Dongmei Zhang. Compositional Modelling and Verification of IPv6 Mobility. In the Proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2005), LNCS 3731, pp. 553 - 556, National Taiwan University, Oct. 2 - 5, 2005 [abstract + full-text/SpringerLink]
Peng Wu, Huimin Lin. Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints. In the Proceedings of the 5th International Conference On Quality Software (QSIC 2005), pp. 3 - 10, Melbourne, Australia, Sep. 19 - 20, 2005 [abstract + full-text/IEEE][PSCL]
Peng Wu. Iterative Metamorphic Testing. In the Proceedings of 29th Annual International Computer Software and Applications Conference(COMPSAC 2005), pp. 19 - 24, Edinburgh, UK, Jul. 26 - 28, 2005 [abstract + full-text/IEEE][MTest]
Peng Wu, Dongmei Zhang. Compositional Analysis of Mobile Network Protocols. Accepted by International Workshop on Software Verification and Validation (SVV 2004), Seattle, USA, Nov. 8, 2004
Peng Wu, Dongmei Zhang. Compositional Analysis of Mobile IP with Symbolic Transition Graph. In the Proceedings of 16th International Conference on Computer Communication (ICCC 2004), pp.1481 - 1488, Beijing, China, Sep. 15 - 17, 2004 [full-text]
Peng Wu, Jiangjun Tang, Xiaochun Shi. Software Reliability Model and Engineering. In the Proceedings of National Conference on Reliability Technologies in National Defense Industry, pp.134 - 141, Beijing, China, Nov. 4 - 7, 2003
Peng Wu, Qiang Gao. Incompleteness of Bluetooth Protocol Conformance Test Cases. In the Proceedings of SPIE, Conference on Asia-Pacific Optical and Wireless Communications: Wireless and Mobile Communications (APOC 2001), Vol.4586, pp.266 - 273, Beijing, China, Nov. 12 - 15 [abstract + full-text/SPIE]

Technical Reports

Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu. Assume-Guarantee Verification for Distributed Systems with Local Specifications. Research Note RN/10/01, Department of Computer Science, University College London. February 2010 [full-text]
Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu. Model Checking Optimisation-Based Congestion Control Models. Research Note RN/09/02, Department of Computer Science, University College London. March 2009 [full-text]
Gethin Norman, Catuscia Palamidessi, David Parker and Peng Wu. Translating the Probabilistic pi-Calculus to PRISM. Technical Report CSR-07-02, School of Computer Science, University of Birmingham. March 2007 [full-text]
Peng Wu, Dongmei Zhang. Compositional Analysis of Mobile Network Protocols. Technical Report ISCAS-LCS-05-02, Lab of Computer Science, Institute of Software, Chinese Academy of Sciences, March 2005 [full-text]

Theses

Peng Wu, Model Checking and Testing of Concurrent Systems, Ph.D. Thesis, Jun. 28, 2005 [abstract]
Peng Wu, Validation, Implementation and Conformance Testing of Bluetooth SDP, M.S. Thesis, Jun. 2001 [abstract]

Software

Pi2promela [download+manual][reference], a compiler from pi-calculus to Promela.
MTest [reference 1 2], an integrated metamorphic testing environment that supports special case tesing, random testing and n-iterative metamorphic testing.
PSCL-Based Symbolic Test Generator [download+manual][reference 1 2 3], a symbolic test case generator based on predicate sequencing constraint logic(PSCL).
MMCsp [download+manual][reference 1 2], an extension of MMC for a simple probabilistic pi-calculus.

Links

Projects: Printemp (Information Theory, Anonymity), ProNoBis (Probabilistic pi-Calculus, Model Checking), Bedwyr (Case Study: Value-Passing CCS, pi-Calculus, Bisimulation, MUTE)
COMPSAC'05 ETAPS'06 POPL'07 TESTCOM/FATES'07 QEST'07 FCST'09 CS&P'09 Dagstuhl Seminar 10051 ICFEM'10