Yuanjie Si

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 1

Top Topics

Formal Specification

Temporal Properties

Top Venues

Frontiers Comput. Sci.

IEEE Trans. Software Eng.

Publications

Ting Wang, Jun Sun, Xinyu Wang, Yang Liu, Yuanjie Si, Jin Song Dong, Xiaohu Yang, Xiaohong Li
A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata. IEEE Trans. Software Eng. 41 (1) (2015)
Yuanjie Si, Jun Sun, Yang Liu, Jin Song Dong, Jun Pang, Shao Jie Zhang, Xiaohu Yang
Model checking with fairness assumptions using PAT. Frontiers Comput. Sci. 8 (1) (2014)
Lin Gui, Jun Sun, Yang Liu, Yuanjie Si, Jin Song Dong, Xinyu Wang
Combining model checking and testing with an application to reliability prediction and distribution. ISSTA (2013)
Yuanjie Si, Jun Sun, Yang Liu, Ting Wang
Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction. ICFEM (2013)
Ting Wang, Yuanjie Si, Xiao Xuan, Xinyu Wang, Xiaohu Yang, Shanping Li, Aleksander J. Kavs
A QoS ontology cooperated with feature models for non-functional requirements elicitation. Internetware (2010)
Chao Huang, Jianling Sun, Xinyu Wang, Yuanjie Si
Minimal role mining method for Web service composition. J. Zhejiang Univ. Sci. C 11 (5) (2010)
Chao Huang, Jianling Sun, Xinyu Wang, Yuanjie Si, Di Wu
Preprocessing the noise in legacy user permission assignment data for role mining - An industrial practice. ICSM (2009)
Chao Huang, Jianling Sun, Xinyu Wang, Yuanjie Si
Selective Regression Test for Access Control System Employing RBAC. ISA (2009)