Ying Jin

Publication Activity (10 Years)

Years Active: 2003-2010
Publications (10 Years): 0

Publications

Ying Jin, David Lorge Parnas
Defining the meaning of tabular mathematical expressions. Sci. Comput. Program. 75 (11) (2010)
Ying Jin, Jing Zhang, Weiping Hao, Pengfei Ma, Yan Zhang, Haiyan Zhao, Hong Mei
A concern-based approach to generating formal requirements specifications. Frontiers Comput. Sci. China 4 (2) (2010)
Ying Jin, Jing Zhang, Weiping Hao, Pengfei Ma
Concern Based Approach to Generating SCR Requirement Specification: A Case Study. CSIE (7) (2009)
Ying Jin, Jing Zhang, Pengfei Ma, Weiping Hao, Shutong Luo, Zepeng Li
Applying PageRank Algorithm in Requirement Concern Impact Analysis. COMPSAC (1) (2009)
Ying Jin, Zepeng Li, Da Wei, Lei Liu
Automatic Generation and Enforcement of Security Contract for Pervasive Application. EUC (2) (2008)
Ying Jin
Formal Verification of Protocol Properties of Sequential Java Programs. COMPSAC (1) (2007)
Ying Jin, Lei Liu, Xiaojuan Zheng
Information Flow Security for Interactive Systems. EUC (2005)
Jing Zhang, Ying Jin, Degui Guo, Lei Liu, Chengzhi Jin
Operational semantics of ambient calculus. SOSE (2005)
Xiaojuan Zheng, Tao Xu, Ying Jin
Formalizing Active Networks Security with Seal-Calculus. ISPA (2003)