|
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
Current Course (Spring 2008)
CS3773 Software
Engineering
CS1713 Introduction to Computer Science
|