计算机软件与理论
计算机技术

网络与并发实时系统的设计与分析
网络与并发实时系统的设计与分析

2010-07--今 中国科学院软件研究所 副研究员

（1） Model Checking Optimisation-Based Congestion Control Models，Fundamenta Informaticae，2010，第4作者
（2） Model Checking Probabilistic and Stochastic Extensions of the Pi-calculus，IEEE Transactions on Software Engineering，2009，第4作者
（3） Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints，International Journal of Software Engineering and Knowledge Engineering，2006，第1作者
（4） Metamorphic Testing and Special Case Testing: A Case Study，Journal of Software，2005，第1作者
（5） Analyzing Interoperability of Protocols Using Model Checking，The Chinese Journal of Electronics，2005，第1作者

（1） 模型检测的理论、技术和工具，参与，国家，2009-01--2012-12

（1） Assume-Guarantee Verification with Local Specifications，ICFEM 2010，2010-11，Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu
（2） Model Checking Optimisation-Based Congestion Control Models，CS-P 2009，2009-09，Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu
（3） Model Checking the Probabilistic pi-Calculus，QEST 2007，2007-09，Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu
（4） Symbolic Bisimulations for Probabilistic Systems，QEST 2007，2007-09，Peng Wu, Catuscia Palamidessi, Huimin Lin
（5） Symbolic Test Generation Using a Temporal Logic with Constrained Events，TESTCOM/FATES 2007，2007-06，Peng Wu, Daguang Liu and Huimin Lin
（6） Measuring Anonymity with Relative Entropy，FAST 2006，2006-08，Yuxin Deng, Jun Pang, Peng Wu
（7） Compositional Modelling and Verification of IPv6 Mobility，FORTE 2005，2005-10，Peng Wu, Dongmei Zhang
（8） Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints，QSIC 2005，2005-09，Peng Wu, Huimin Lin
（9） Iterative Metamorphic Testing，COMPSAC 2005，2005-07，Peng Wu