Yuanjie Si

According to our database, Yuanjie Si authored at least 8 papers between 2009 and 2015.

Collaborative distances:

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

2015

A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata.

Ting Wang, Jun Sun, Xinyu Wang, Yang Liu, Yuanjie Si, Jin Song Dong, Xiaohu Yang, Xiaohong Li

IEEE Trans. Software Eng., 2015

2014

Model checking with fairness assumptions using PAT.

Yuanjie Si, Jun Sun, Yang Liu, Jin Song Dong, Jun Pang, Shao Jie Zhang, Xiaohu Yang

Frontiers Comput. Sci., 2014

2013

Combining model checking and testing with an application to reliability prediction and distribution.

Lin Gui, Jun Sun, Yang Liu, Yuanjie Si, Jin Song Dong, Xinyu Wang

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction.

Yuanjie Si, Jun Sun, Yang Liu, Ting Wang

Proceedings of the Formal Methods and Software Engineering, 2013

2010

Minimal role mining method for Web service composition.

Chao Huang, Jianling Sun, Xinyu Wang, Yuanjie Si

J. Zhejiang Univ. Sci. C, 2010

A QoS ontology cooperated with feature models for non-functional requirements elicitation.

Ting Wang, Yuanjie Si, Xiao Xuan, Xinyu Wang, Xiaohu Yang, Shanping Li, Aleksander J. Kavs

Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

2009

Selective Regression Test for Access Control System Employing RBAC.

Chao Huang, Jianling Sun, Xinyu Wang, Yuanjie Si

Proceedings of the Advances in Information Security and Assurance, 2009

Preprocessing the noise in legacy user permission assignment data for role mining - An industrial practice.

Chao Huang, Jianling Sun, Xinyu Wang, Yuanjie Si, Di Wu

Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009