Refereed Research Publications

  1. Using ZOOM Approach to Support Model-Driven Development Xiaoping Jia, Adam Steele, Hongming Liu, Lizhang Qin, and Chris Jones. The 2004 International Conference on Software Engineering Research and Practice (SERP 2004) June 21-24, 2004, Las Vegas, Nevada, USA. [pdf]
  2. Incorporating UIDLs into Model-Driven Development Xiaoping Jia and Adam Steele. The 1st workshop on XML-based User Interface Description Language, May 2004, Gallipoli, Italy.
  3. A Hypothesis-Based Approach to Detecting Runtime Violations Xiaoping Jia, Lizhang Qin, and Hongming Liu. The 2nd International Workshop on Verification and Validation of Enterprise Information Systems, April 2004, Porto, Portugal. [pdf]
  4. An Integrated Event-Driven Framework Supporting Model-Driven Development Lizhang Qin, Hongming Liu, Chris Jones and Xiaoping Jia. Proc. of 2004 Midwest Software Engineering Conference (MSEC'04), Chicago, IL, April, 2004. [pdf]
  5. A Formal Foundation Supporting Model-Driven Development - ZOOM Approach Hongming Liu, Lizhang Qin, Chris Jones and Xiaoping Jia. Proc. of the 5th DePaul CTI Research Symposium (CTIRS 2003). November 2003, Chicago, IL, USA. pp.41-50. [pdf]
  6. Static and Dynamic Contract Verifiers for Java Hongming Liu, Lizhang Qin, Jing Wang, Naveen Vemuri and Xiaoping Jia. Proc. of the 7th IASTED International Conference on Software Engineering and Applications (SEA 2003). November 2003, Marina del Rey, CA, USA. pp.593-598. [pdf]
  7. An Agile Approach to Capturing Requirements and Traceability Christopher Lee, Luigi Guadagno, and Xiaoping Jia, Proc. of the 2nd International Workshop on Traceability in Emerging Forms of Software Engineering, October 7, 2003, Montreal, Canada, pp.17-23. [pdf]
  8. Formal Structured Specifications for Web Applications Hongming Liu, Lizhang Qin and Xiaoping Jia. Proc. of the 2003 Midwest Software Engineering Conference(MSEC'03) June 2003, Chicago, IL, USA. pp.88-97. [pdf]
  9. A Toolset for Design By Contract For Java Jing Wang, Lizhang Qin, Naveen Vemuri and Xiaoping Jia. Proc. of the 2003 Midwest Software Engineering Conference(MSEC' 03) June 2003, Chicago, IL, USA. pp.100-113. [pdf]
  10. Hypothesis-Based Approach To Detecting Runtime Violations In Java Program Using Automated Theorem Prover Xiaoping Jia, Lizhang Qin and Hongming Liu. Proceedings of the 2003 Midwest Software Engineering Conference(MSEC'03) June 2003, Chicago, IL, USA. pp.114-125.
  11. Rigorous and Automatic Testing of Web Applications Xiaoping Jia and Hongming Liu. Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002). November 2002, Cambridge, MA, USA. pp.280-285. [pdf]
  12. A Generic Invariant-Based Tool for Detecting Runtime Errors in Java Programs Sotiris Skevoulis and Xiaoping Jia. Proceedings of the 37th Conference on Technology of Object-Oriented Languages and Systems} (TOOLS 2000). November 2000, Sydney, Australia. pp.36-44. [pdf]
  13. A Generic Approach of Static Analysis for Detecting Runtime Exceptions in Java Programs. Xiaoping Jia, and Sotiris Skevoulis. Proceedings of the 23rd Annual IEEE International Computer Software and Application Conference (COMPSAC 1999). October 1999, Phoenix, AZ. pp.67-72. [pdf]
  14. Detecting Null Pointer Violations in Java Programs. Xiaoping Jia, Sushant Sawant, Jenny Zhou, and Sotiris Skevoulis. Proceedings of the 23rd Annual IEEE International Computer Software and Application Conference (COMPSAC 1999). October 1999, Phoenix, AZ. pp.456-461. [pdf]
  15. Applying Static Analysis for Detecting Null Pointers in Java Programs. Xiaoping Jia, Sushant Sawant, Jenny Zhou, and Sotiris Skevoulis. Proceedings of the 5th International Conference on Information Systems Analysis and Synthesis (ISAS'99). August 1999, Orlando, FL. pp.454-460. [pdf]
  16. Code Synthesis based on Object-Oriented Design Models and Formal Specifications. Xiaoping Jia, and Sotiris Skevoulis. Proceedings of the 22nd Annual IEEE International Computer Software and Application Conference (COMPSAC 1998). August 1998, Vienna, Austria, pp.390-396. [pdf]
  17. A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development, Xiaoping Jia. Proceedings of the 21st Annual IEEE International Computer Software and Applications Conference (COMPSAC 1997). August 1997, Washington, D.C., USA. pp.240--245. [pdf]
  18. An Approach to Animating Z Specifications. Xiaoping Jia. Proceedings of the 19th Annual IEEE International Computer Software and ApplicationConference (COMPSAC 1995). August 1995, Dallas, TX. pp.108-113. [pdf]
  19. Model-Based Formal Specification Directed Testing of Abstract Data Types. Xiaoping Jia. Proceedings of the 17th Annual IEEE International Computer Software and Application Conference (COMPSAC 1993), Phoenix, Arizona, November 1993, pp.360-366. [pdf]
  20. PROOF: A Parallel Object-Oriented Functional Computation Model. Stephen Yao and Xiaoping Jia. Journal of Parallel and Distributed Computing. Vol. 12, July 1991, pp.202-212.
  21. Software Design for Distributed Parallel Computing Systems. Stephen Yao and Xiaoping Jia. Journal of Computer Communications, Vol. 15, No. 4, May 1992, pp.213-224.
  22. An Object-Oriented Approach to Software Development for Parallel Processing Systems. Stephen Yao and Xiaoping Jia. Proceedings of the 15th Annual IEEE International Computer Software and Applications Conference (COMPSAC 1991), Tokyo, Japan, September 1991, pp.453-458.
  23. Trends in Software Design for Distributed Computing Systems. Stephen Yao and Xiaoping Jia. Proceedings of the 2nd IEEE International Workshop on the Future Trends of Distributed Computing Systems, Sept. 1990, pp.154-160.
  24. Visual Languages and Software Specifications. Stephen Yao and Xiaoping Jia. Proceedings of IEEE 1988 International Conference on Computer Languages, Miami Beach, Florida, Oct. 9-13, 1988, pp.322-328.
  25. FPE/1: An Incremental Programming Environment. Xiaoping Jia and Jia-Hua Qian. Proceedings of the 11th Annual IEEE International Computer Software and Applications Conference (COMPSAC 1987), Japan, Oct. 7-9, 1987, pp.58-64.
  26. Incremental Evaluation of Attributed Grammars for Incremental Programming Environments. Jia-Hua Qian and Xiaoping Jia. Proceedings of the 9th Annual IEEE International Computer Software and Applications Conference (COMPSAC 1985), Chicago, Illinois, Oct. 9-11, 1985, pp.342-349.

Other Research Publications

  1. VENUS: A Code Generation Tool, User Guide, Xiaoping Jia, August 1998.
  2. Venus: An Object-Oriented Development Tool --- Synthesizing C++ Code from Object-Oriented Models and Specifications, A White Paper, Xiaoping Jia and Sotiris Skevoulis  November 1997.
  3. ZTC: A Type Checker for Z, User's Guide, Xiaoping Jia. May 1995.
  4. A Tutorial of ZANS -- A Z Animation System, Xiaoping Jia. May 1995.
  5. TDA: A Toolkit for Program Testing and Debugging, User's Guide. Xiaoping Jia. February 1995.