Gaoyan Xie

Assistant Professor
Department of Computer and Information Science
University of Massachusetts Dartmouth
Office: Dion 319C
Snail Mail: 285 Old Westport Rd. North Dartmouth, MA 02747-2300.
Phone: (508) 910-6543
Fax: (508) 999-9144
Email: gxie@umassd.edu

Background

I joined the Department of Computer and Information Science at University of Massachusetts Dartmouth in the Fall of 2005 after I received my Ph.D in Computer Science from Washington State University in July 2005. From July 1999 to July 2000, I was a software engineer at Nanjing Automation Research Institute (NARI), China. I received my M.Eng. and B.S. both in Computer Science from Nanjing University, China in 1999 and 1996 respectively.

Research Interests

My primary research interest lies in software engineering with an emphasis on fundamental studies for computer-aided verification and software testing. Besides that, I also have strong interests in some theoretical problems related to the verification of infinite-state systems, the design and implementation of object-oriented programming languages, software design methods, software architectures, as well as the design and implementation of operating systems.

Courses

Referred Publications

  1. Gaoyan Xie and Zhe Dang.
    Testing Systems of Concurrent Black-boxes---an Automata-Theoretic and Decompositional Approach.
    To appear in Proceedings of the 5th International Workshop on Formal Approaches To Testing Of Software (FATES'05), Edinburg, UK, July 11, 2005
  2. Zhe Dang, Oscar Ibarra, Cheng Li and Gaoyan Xie.
    Model checking of P systems.
    To appear in Proceedings of the 4th International Conference on Unconventional Computing (UC'05), Sevilla, Spain, October 3-7, 2005
  3. Gaoyan Xie and Zhe Dang.
    CTL Model-checking for Systems with Unspecified Components. [PDF] [PS]
    To appear in Proceedings of the 3rd Workshop on Specification and Verification of Component-based Systems at ACM SIGSOFT 2004/FSE-12 (SAVCBS04), Newport Beach, California, October 31-November 1, 2004.
  4. Zhe Dang, Oscar H. Ibarra, Pierlugi S. Pietro, and Gaoyan Xie.
    Real-Counter Automata and Applications to Verification . [PDF] [PS]
    To appear in Proceedings of the 24th Conference on Foundations of Software Technology and Theoretical Computer Science ( FSTTCS'04), Chennai (Madras) India, December 16-18, 2004.
  5. Gaoyan Xie and Zhe Dang.
    An Automata-theoretic Approach for Model-checking Systems with Unspecified Components . [PDF] [PS]
    In Proceedings of the 4th International Workshop on Formal Approaches To Testing Of Software (FATES'04), Linz Austria, September 21, 2004.
  6. Gaoyan Xie.
    Decompositional Verification of Component-based System---A Hybrid Approach. [PDF] [PS]
    In Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE'04 Doctoral Symposium), Linz, Austria, pp. 414-417, September 20, 2004.
  7. Gaoyan Xie, Cheng Li, and Zhe Dang.
    Testability of Oracle Automata. [PDF] [PS]
    In Proceedings of the 9th International Conference on Implementation and Application of Automata (CIAA'04), Kingston, Ontario, Canada, July 22-24, 2004.
  8. Gaoyan Xie, Cheng Li, and Zhe Dang.
    Linear Reachability Problems and Minimal Solutions to Linear Diophantine Equation Systems. [PDF] [PS]
    To appear in Theoretical Computer Science.
  9. Gaoyan Xie and Zhe Dang.
    Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components. [PDF]
    Unpublished.
  10. Gaoyan Xie, Cheng Li, and Zhe Dang.
    New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations. [PDF] [PS]
    In Proceedings of the 8th International Conference on Implementation and Application of Automata (CIAA'03), Santa Barbara, California, July 16-18, 2003.
  11. Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, and Pierlugi S. Pietro.
    Dense Counter Machines and Verification Problems. [PDF] [PS]
    In Proceedings of the 15th International Conference on Computer-Aided Verification ( CAV'03), Boulder, Colorado July 8 - 12, 2003.
  12. Gaoyan Xie, Zhe Dang, and Oscar H. Ibarra.
    A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite State Systems. [PDF] [PS]
    In Proceedings of the 30th International Colloquium on Automata, Languages and Programming Eindhoven (ICALP'03) , The Netherlands, June 30 - July 4, 2003.
  13. Fredrick T. Sheldon, Gaoyan Xie, Orest Pilskalns, and Zhihe Zhou.
    A Review of Some Rigorous Software Design and Analysis Tools.
    In Software Focus Vol. 2(4): 140-150 (2001).
  14. Yu Li, Gaoyan Xie, Yongsen Xu, and David L. Shang.
    OO Language Transframe and Its Environment MagicFrame.
    In Journal of Nanjing University (in Chinese), Vol. 36(2), 2000.
  15. Yu Li, Yongsen Xu, Gaoyan Xie, and Zhiyuan Zhan.
    Strategies and Techniques of Freeze/Melt.
    In Proceedings of 31st International Conference on Technology of Object-Oriented Language and Systems ( TOOLs'99), Nanjing, China, September 22 - 25, 1999.
  16. Xie Gaoyan, Li Yu, and Xu Yongsen.
    Type Safety and Type Dependency of Object-Oriented Programming Languages.
    In Proceedings of the Second International Symposium of Future Software Technology(ISFST'97), Japan Software Engineer Association, Xiamen, China, October, 1997.

Unreferred Articles

  1. Gaoyan Xie, Yongsen Xu, Yu Li, Qian Li.
    Codebugger - A Software Tool for Cooperative Debugging.
    In ACM SIGPLAN Notices Vol. 35(2): 54-60 (2000).
  2. Yu Li, Gaoyan Xie, Yongsen Xu, Yi Yang.
    The Security Problem of Nested Classes.
    In ACM SIGPLAN Notices Vol. 35(3): 34-38 (2000).
Google
WWW UMASS Dartmouth