Jianwei NIU         Department of Computer Science         The University of Texas at San Antonio         One UTSA Circle         San Antonio, Texas, 78249         E-mail: LastName AT cs.utsa.edu

I have been an assistant professor in the Department of Computer Science at the University of Texa at San Antonio since 2005.

Research Interests

My research interests are in the areas of software engineering and computing security, particularly in applying formal methods to develop dependable software systems. My focus is on requirements engineering, semantics of specification notations, and formal analysis of security policies and their enforcement mechanisms.

Research Activities and Grants

• PI, Texas Higher Education Coordinating Board Advanced Research Program (ARP), "Formal Methods in Security Policy Design and Maintenance", 2008 - 2010, $145,999. Co-PI, William H. Winsborough.
• PI, UTSA Tenure-Track Research Award Competition (TRAC), "Formal Analysis of Secure Information Sharing", 2008 - 2009, $22,000.
• PI, Microsoft Inc., "VSX: Scenario-Based Model-Driven Engineering Framewok", 2007- 2008. $15,000.

Selected Publications

• Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, and Jianwei Niu. "Semantic Criteria for Choosing a Language for Big-Step Models", to appear, 17th IEEE International Requirements Engineering Conference (RE), September 2009.
• A. Ram Krishnan, Ravi Sandhu, Jianwei Niu, and William H. Winsborough. "Formal Models for Group-Centric Secure Information Sharing", 14th ACM SIGSAC Symposium on Access Control Models and Technologies (SACMAT), pages 115-124, June 2009. (acceptance rate 31%)
• Mark Reith, Jianwei Niu, and William H. Winsborough. "Towards Practical Analysis for Trust Management Policy", 4th ACM SIGSAC Symposium on Information, Computer and Communications Security (ASIACCS), pages, 310-321, March 2009. (acceptance rate 22%)
• A. Ram Krishnan, Ravi Sandhu, Jianwei Niu, and William H. Winsborough. "A Conceptual Framework for Group-Centric Secure Information Sharing", 4th ACM SIGSAC Symposium on Information, Computer and Communications Security (ASIACCS) , pages 384-387, March 2009. (acceptance rate 28%)
• Hui Shen, Aliya Virani, and Jianwei Niu. "Formalizing UML2 Sequence Diagrams", 11th IEEE High Assurance Systems Engineering Symposium, pages 437-440, December 2008. (acceptance rate 31%)
• Ram Krishnan, Jianwei Niu, Ravi Sandhu, and William H. Winsborough. "Stale-Safe Security Properties for Group-Based Secure Information Sharing", 6th ACM Workshop on Formal Methods in Security Engineering (FMSE) co-located with the ACM Conference on Computer and Communications Security (CCS), pages 53-62, October 2008. (acceptance rate 30%)
• T. Finin, A. Joshi, L. Kagal, Jianwei Niu, R. Sandhu, W. Winsborough, and B. Thuraisingham. "ROWLBAC - Representing Role Based Access Control in OWL", 13th ACM symposium on Access Control Models and Technologies (SACMAT), pages 73-82, June 2008. (acceptance rate 25%)
• Mark Reith, Jianwei Niu, and William H. Winsborough. "Role-Based Trust Management Security Policy Analysis and Correction Environment (RT-SPACE)", 30th ACM/IEEE International Conference on Software Engineering (ICSE) Research Demonstration, pages 929-930, May 2008.
• Mark Reith, Jianwei Niu, and William H. Winsborough. "Engineering Trust Management into Software Models", 29th ACM/IEEE International Conference on Software EngineeEngineering (ICSE) Workshop on Modeling in Software Engineering (MISE07), 6 pages, May 2007. (acceptance rate 40%)
• Mark Reith, Jianwei Niu, William H. Winsborough. "Apply Model Checking to Security Analysis in Trust Management", IEEE International Workshop SECOBAP07, 10 pages, April 2007.
• Jianwei Niu. "Template Semantics: A Parameterized Approach to Semantics-Based Model Compilation", PhD thesis, University of Waterloo, May 2005. (ps)
  
• Yun Lu, Joanne M. Atlee, Nancy A. Day, and Jianwei Niu. "Mapping Template Semantics to SMV", 19th IEEE International Conference on Automated Software Engineering (ASE), pages 320-325, IEEE Computer Society, Linz, Austria, September 2004. (ps)
  
• Jianwei Niu, Joanne M. Atlee, and Nancy A. Day. "Template Semantics for Model-Based Notations", IEEE Transactions on Software Engineering, vol. 29, no.10, pages 866-882, October 2003. (ps)
  
• Jianwei Niu, Joanne M. Atlee, and Nancy A. Day. "Comparing and Understanding Model-Based Specification Notations", 11th IEEE International Requirements Engineering Conference(RE), pages 188-199, IEEE Computer Society, Monterey Bay, USA, September 2003. (acceptance rate 18.5%) (ps)
  
• Jianwei Niu. "A Semantics-Based Approach for Mapping Specification Notations to Analysis Tools" (abstract), International Conference on Software Engineering (ICSE) Doctoral Symposium , page 762, IEEE Computer Society, Portland, USA, May 2003. (ps)
  
• Jianwei Niu, Joanne M. Atlee, and Nancy A. Day. "Composable Semantics for Model-Based Notations", 10th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), pages 149-158, ACM Press, Charleston, USA, November 2002. (acceptance rate 13%) (ps)
  

Teaching