Yuanjie Si

Model checking with fairness assumptions using PAT

Yuanjie Si, Jun Sun, Yang Liu et al. · Frontiers of Computer Science · 2013 · 43 citations · Full text

Engineering, Fairness Assumptions, Automated Reasoning +7

Security Policy Management for Systems Employing Role Based Access Control Model

Chao Huang, Jianling Sun, Xinyu Wang et al. · Information Technology Journal · 2009 · 17 citations

Access Control Model, Secure Network Access, Engineering +11

An architecture-based reliability estimation framework through component composition mechanisms

Yuanjie Si, Xiaohu Yang, Xinyu Wang et al. · 2010 · 17 citations

Software Maintenance, Software Reliability Testing, Component Composition Mechanisms +19

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

Ting Wang, Jun Sun, Xinyu Wang et al. · IEEE Transactions on Software Engineering · 2014 · 11 citations

Engineering, Verification, Computer-aided Verification +17

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

Ting Wang, Yuanjie Si, Xuan Xiao et al. · 2010 · 10 citations

Engineering, Business Intelligence, Requirement Modeling +20