Tian ZHANG


	Tian ZHANG
	Professor, Ph.D.
	Department of Computer Science & Technology Nanjing University, China

[Introduction] [Teaching] [Interest] [Publication] [Seminar] [SEG] [Correspondence]

Introduction

I am a professor in the Department of Computer Science & Technology at Nanjing University, China. At the same time, I am also a research member of the Software Engineering Group (SEG) led by Prof. Xuandong Li , my Ph.D. supervisor. I received the B.Sc. (CUMT), M.Eng. (NJU) and Ph.D. (NJU) degrees in Computer Science in 2001, 2004 and 2009, respectively. From Sep 2007 to Sep 2008, I worked in the INRIA AtlanMod team led by Prof. Jean Bï¿½zivin, my co-supervisor in France. Currently, I am working at SnT of Luxembourg University as a visiting scholar in the SVV Lab led by Prof. Lionel Briand. The visiting period is from March to September, 2013.

Teaching

Research Interest

My overall research interests relate to model driven aspects of software engineering, with the aim of facilitating the rapid and reliable development and maintenance of both large and small software systems. My recent work is focusing on MDE based embedded systems, including patterns driven MDE development, bridging heterogeneous models, formal support for design and analysis.

Publication & Technique Report

Selected papers and technique reports are list below:

1. Journal Papers

Tian Zhang, Frédéric Jouault, Jean Bï¿½zivin and Xuandong Li (2008)
An MDE-based method for bridging different design notations, NASA Innovations in Systems and Software Engineering, Springer London, 2008.(pdf)
Tian Zhang, Frï¿½dï¿½ric Jouault, Christian Attiogb? Jean Bï¿½zivin and Xuandong Li (2008)
MDE based Model Transformation: from MARTE to FIACRE, accepted by Journal of Software (in Chinese), 2008.
Tian Zhang, Yan Zhang, Xiaofeng Yu, Linzhang Wang and Xuadong Li (2007)
MDA Based Design Patterns Modeling and Model Transformation, Journal of Software (in Chinese), 2008, 19 (9): 2203-2217.
Yu Xiaofeng, Zhang Yan, Zhang Tian, Wang Linzhang, Hu Jun, Zhao JianHua, Li Xuandong (2007)
A model-driven development framework for enterprise Web services. Information Systems Frontiers, Springer Netherlands, 2007. 9(4). 391-409. (pdf)
Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guo-liang Zheng (2006)
Scenario based Component Behavior Deriving. (in Chinese) Journal of Software, 2007, 18(1):50-61. (pdf)

2. Conference Papers

Tian Zhang, Frédéric Jouault, Jean Bï¿½zivin and Xuandong Li (2008)
An MDE-based method for bridging different design notations, 1st IEEE International UML&FM workshop (hosted by ICFEM 2008), Japan, 2008.
Tian Zhang, Frï¿½dï¿½ric Jouault, Jean Bézivin, Zhao Jianhua (2008)
A MDE Based Approach for Bridging Formal Models, Proc. of 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE08). IEEE Computer Society.(pdf)
Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li and Guoliang Zheng (2006)
In: Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM 2006). LNCS 4260. Springer-Verlag, Berlin Heidelberg New York, 2006. 206-225
Xiaofeng Yu, Jun Hu, Yan Zhang, Tian Zhang, Xuandong Li, Linzhang Wang (2006)
A Model Driven Development Framework for Enterprise Web Services. In: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006). IEEE Computer Society.
Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng (2006)
Deriving Available Behavior All Out from Incompatible Component Compositions. In: Proceedings of the 2nd International Workshop on Formal Aspects of Component Software (FACS 2005). Electronic Notes in Theoretical Computer Science, Vol. 160. Elsevier, 2006. 349-361
Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Xuandong Li, Guoliang Zheng (2005)
Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications. In: Proceedings of the 2005 IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2005). LNCS 3824. Springer-Verlag, Berlin Heidelberg New York, 2005. 395-404
Hu Jun, Yu Xiaofeng, Zhang Yan, Zhang Tian, Wang Linzhang, Li Xuandong, Zheng Guoliang (2005)
Scenario-based Verification for Component-based Embedded Software De- signs. In: Proceedings of the 34th International Conference on Parallel Processing Workshops (ICPP 2005 Workshops), IEEE Computer Society, 2005. 240-247
Tian Zhang and Xiaomei Zheng (2003)
Dynamic agent based e-commerce model. 2003 International Conference on Management of e-Commerce and e-Government (ICMeCG 2003), JS&T Press. 2003, 58-63

2. Others

Jianhuan Zhao, Tian Zhang et al. (2006)
Translate the book "Model Driven Architecture with Executable UML" into Chinese, China Machine Press, 2006
Tian Zhang (2006)
Technique Report: Model driven architecture: Principles and practice. SEG seminar. (pdf)
Tian Zhang (2005)
Technique Report: Brief Introduction to UML 2.0 (pat I) (part II) (part III), SEG seminar, October 2005.

Seminar

We usually have seminar at Room 504, MengMinwei Building II every Wednesday. The topic of seminar is mainly round software engineering, model checking, formal methods, model driven development, software testing, etc. Our seminar is open to all faculties and students in our department.

Software Engineering Group

Software Engineering Group is founded by Prof. Guoliang Zheng and Prof. Xuandong Li in 90's last century. Many outstanding scholars and researchers in computer science and technology have collaborated or been trained by SEG. Now SEG has many projects with financial support by National Science Fund for Distinguished Young Scholars of China, National Nature Science Foundation of China, National Grand Fundamental Research 973 Program of China.

Correspondence

Mail:	Tian Zhang	Office:	605, MengMinwei Science Building II, Main Campus of Nanjing University
	Software Engineering Group	Tel:	+86 25 83686697
	Nanjing University	Fax:	+86 25 83300710
	Hankou Road 22	URL:	http://http://cs.nju.edu.cn/zhangtian/
	Nanjing 210093, China	Email:	ztluck#nju.edu.cn or ztluck#gmail.com