- A SemanticsBased Approach for Mapping Specification Notations to Analysis Tools
- Understanding and Comparing ModelBased Specification Notations Jianwei Niu, Joanne M. Atlee, Nancy A. Day
- Composable Semantics for ModelBased Notations Jianwei Niu
- Mapping Template Semantics to SMV Yun Lu Joanne M. Atlee Nancy A. Day Jianwei Niu
- Template Semantics: A Parameterized Approach to SemanticsBased Model Compilation
- Template Semantics for ModelBased Notations Jianwei Niu, Student Member, IEEE, Joanne M. Atlee, Member, IEEE Computer Society, and Nancy A. Day
- Mapping Template Semantics to SMV Yun Lu Joanne M. Atlee Nancy A. Day Jianwei Niu
- This article was published in the above mentioned Springer issue. The material, including all portions thereof, is protected by copyright;
- Understanding and Comparing Model-Based Specification Notations Jianwei Niu, Joanne M. Atlee, Nancy A. Day
- Engineering Trust Management into Software Models , Jianwei Niu, William H. Winsborough
- Role Based Access Control and OWL , A. Joshi1
- Toward Practical Analysis for Trust Management Policy Jianwei Niu William H. Winsborough
- Semantic Criteria for Choosing a Language for Big-Step Models Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee
- Group-Centric Secure Information Sharing Models for Isolated Groups
- Role-based Trust Management Security Policy Analysis and Correction Environment (RT-SPACE)
- COLLECTIVE SPECIFICATION AND VERIFICATION OF BEHAVIOR MODELS AND OBJECT-ORIENTED
- Formalize UML 2 Sequence Diagrams Hui Shen, Aliya Virani, and Jianwei Niu
- Composable Semantics for Model-Based Notations Jianwei Niu
- Towards a Framework for Group-Centric Secure Collaboration
- High Assurance BPEL Process Models Mark Robinson, Hui Shen, Jianwei Niu
- Template Semantics: A Parameterized Approach to Semantics-Based Model Compilation
- A Semantics-Based Approach for Mapping Specification Notations to Analysis Tools
- Template Semantics for Model-Based Notations Jianwei Niu, Student Member, IEEE,
- Apply Model Checking to Security Analysis in Trust Management , Jianwei Niu, William H. Winsborough
- Refinement-based Design of a Group-centric Secure Information Sharing Model
- GitBAC: Flexible Access Control for Non-Modular Concerns
