Ying Jin

According to our database, Ying Jin authored at least 9 papers between 2003 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Defining the meaning of tabular mathematical expressions.

Ying Jin, David Lorge Parnas

Sci. Comput. Program., 2010

A concern-based approach to generating formal requirements specifications.

Ying Jin, Jing Zhang, Weiping Hao, Pengfei Ma, Yan Zhang, Haiyan Zhao, Hong Mei

Frontiers Comput. Sci. China, 2010

2009

Concern Based Approach to Generating SCR Requirement Specification: A Case Study.

Ying Jin, Jing Zhang, Weiping Hao, Pengfei Ma

Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

Applying PageRank Algorithm in Requirement Concern Impact Analysis.

Ying Jin, Jing Zhang, Pengfei Ma, Weiping Hao, Shutong Luo, Zepeng Li

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

Automatic Generation and Enforcement of Security Contract for Pervasive Application.

Ying Jin, Zepeng Li, Da Wei, Lei Liu

Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008

2007

Formal Verification of Protocol Properties of Sequential Java Programs.

Ying Jin

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2005

Operational semantics of ambient calculus.

Jing Zhang, Ying Jin, Degui Guo, Lei Liu, Chengzhi Jin

Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), 2005

Information Flow Security for Interactive Systems.

Ying Jin, Lei Liu, Xiaojuan Zheng

Proceedings of the Embedded and Ubiquitous Computing, 2005

2003

Formalizing Active Networks Security with Seal-Calculus.

Xiaojuan Zheng, Tao Xu, Ying Jin

Proceedings of the Parallel and Distributed Processing and Applications, 2003