Pengcheng Zhang's Homepage


	Pengcheng Zhang
	Postdoctoral reseacher.
	Email: pchzhang at nju.edu.cn or pchzhang at hhu.edu.cn
	Dept. of Computer Science & Technology
	Nanjing University,
	MMW-708, 22 Hankou Rd., Nanjing, Jiangsu 210093, China


[SEG Group]	[Biography]	[Education]	[Publication]

Biography:
	I am a Postdoctoral Researcher in the SEG Group led by Prof. Xuandong Li in Nanjing University. I am also a Lecturer in College of Computer and Information Engineering, Hohai University. My research areas is Software Engineering including Modeling, Analysis, and Verification of Component Based Systems, Software Architectures, Complex and Timed Systems, Service-Oriented Systems and Cyber Physical Systems.
	[Top]

Education:
	07/2010-01/2011, Research Fellow, Dipartimento di Informatica, University of L’Aquila, Italy. Supervisor: Prof. Henry Muccini.

	03/2009-05/2009, Visiting Researcher, Faculty of ICT, Swinburne University of Technology, Australia. Supervisor: Prof. Lars Grunske.

	09/2005-12/2009, Candidate for Doctoral degree in Computer Software and Theory, School of Computer Science and Engineering, Southeast University, Nanjing, Jiangsu, P.R.China. Supervisors: Prof. Bixin Li and Prof. Baowen Xu.

	09/2002-06/2005, Candidate for Master degree in Computer Software and Theory, College of Computer and Information Engineering, Hohai University, Nanjing, Jiangsu, P.R.China. Supervisors: Prof. Yuelong Zhu and Prof. Jun Feng.

	09/1998-06/2002, Bachelor degree in Computer Science and Technology, College of Computer and Information Engineering, Hohai University, Nanjing, Jiangsu, P.R.China. Supervisor: Prof. Yuelong Zhu.
	[Top]

Publications:

	*Pengcheng Zhang, Wenrui Li, Dingsheng Wan, Lars Grunske. Monitoring of probabilistic timed property sequence chart. In Software: Practice and Experience,* 2011, 41(7):841–866.**

	Wenrui Li, Zhijian Wang, Pengcheng Zhang *Formal Semantics of Universal Modal Sequence Diagram . In Journal of Software (in Chinese),* 2011, 22(4):659-675.**

	*Pengcheng Zhang, Henry Muccini, Yuelong Zhu, Bixin Li. Model and verification of WS-CDL based on UML Diagrams, In International Journal of Software Engineering and Knowledge Engineering.* 2010, 20(8):1119-1149.**

	*Pengcheng Zhang, Henry Muccini, Bixin Li. A classification and comparison of model checking software architecture techniques , In Journal of System and Software.* 2010, 83(5): 723-744.**

	*Pengcheng Zhang, Bixin Li, Lars Grunske. Timed property sequence chart . In Journal of System and Software, 2010, 83(3):371-390.*

	*Pengcheng Zhang, Bixin Li, Wenrui Li. Syntax and Semantics of Timed Property Sequence Chart . In Journal of Software (in Chinese),* 2010,21(11):2752-2767.**

	Pengcheng Zhang, Zhiyong Su, Yuelong Zhu, Wenrui Li, Bixin Li. WS-PSC Monitor: A tool chain for monitoring temporal and timing properties in composite service based on property sequence chart . In 1'st International Conference on Runtime Verification (RV 2010), 2010, LNCS 6418, pp. 485–489, Springer Press.

	Pengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li. A formal syntax for probabilistic timed property sequence charts . In Proceeding of the 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), 2009, pp 500-504, Auckland, New Zealand, IEEE Computer Society Press.

	Lars Grunske, Pengcheng Zhang. Monitoring probabilistic properties . In The 17th joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2009), 2009, pp. 183–192, ACM Press.

	Pengcheng Zhang, Yu Zhou, Bixin Li, Baowen Xu. Property sequence chart: formal syntax and semantics . In Journal of Computer Research and Development(In Chinese), 2008, 45(2):318-328.

	Pengcheng Zhang, Bixin Li, Zhiyong Su, Mingjie Sun. Extending PSC for monitoring the timed properties in composite services . In Proceedings of 15th Asia-Pacific Software Engineering Conference (APSEC 2008), pp 335-342, IEEE Computer Society Press.

	Pengcheng Zhang, Bixin Li, Mingjie Sun. A timed extension of property sequence chart . In 11th IEEE High Assurance Systems Engineering Symposium (HASE 2008). 2008, pp 197-206, IEEE Computer Society Press.

	Pengcheng Zhang. Bixin Li, Henry Muccini, Yu Zhou, Mingjie Sun, Data-enriched modeling and verification of WS-CDL based on UML models . In 2008 IEEE International Conference on Web Services (ICWS 2008),2008, pp 752-753, IEEE Computer Society Press.

	Pengcheng Zhang, Bixin Li, Mingjie Sun, and Xufang Gong. A PSC-based approach to monitor the timed properties in web service compositions . In 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), 2008, pp 112-115, IEEE Computer Society Press.

	Pengcheng Zhang, Bixin Li, Henry Muccini and Mingjie Sun. An approach to monitor scenario-based temporal properties in web service compositions . In Doctoral Consortium on Data Engineering and Web Technology Research, in conjunction with APWeb (APWeb 2008), Lecture Notes in Computer Science, 2008, 4977:144-154, Springer Press.


Last Updated June 18, 2011