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         Phone: 1-210-458-7360         Office: SB 4.01.36

I am an assistant professor in the Department of Computer Science at the University of Texa at San Antonio.

Research Interests

My research interests are in the area of software engineering, particularly in applying formal methods to develop quality software. My focus is on requirements engineering, semantics of specification notations, and automated software analysis.

Selected Publications

• Mark Reith, Jianwei Niu, William H. Winsborough. "Apply Model Checking to Security Analysis in Trust Management", accepted to IEEE International Workshop SECOBAP07, Dec. 2006.
• 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", Proceedings of the 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", Proceedings of the 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), Proceedings of the 25th 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", Proceedings of the 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)
  
• Jianwei Niu. "Composition primitives for Model-Based Notations" (abstract), Proceedings of the Graduate Student Research Conference, University of Waterloo, page 58, Waterloo, Canada, April 2002.
  

Teaching