FIU Home College of Engineering and Computing
Search:

Name: Xudong He, Professor
Office Info: ECS 212B, 305-348-1831
E-mail: hexcis.fiu.edu
Homepage: http://www.cis.fiu.edu/~hex
Office Hours: TUE/ THUR. 2:00pm-4:00pm

Director, Center for Advanced Distributed System Engineering, http://cadse.cis.fiu.edu/
Contact, GAANN, http://www.cis.fiu.edu/gaann/

Research Interests
Software Engineering,
Formal Specification & Verification,
Software Testing,
Petri Nets.

Also, please take a look at
Curriculum Vitae and Research overview
Background Education
1989 - Ph.D., Computer Science, Virginia Polytechnic Institute & State University
1984 - M.S., Computer Science, Nanjing University, China
1982 - B.S., Computer Science, Nanjing University, China


Professional Experience
05/05 - present
  Professor, School of Computing and Information Sciences, Florida International University, Miami, FL 33199
05/01 - 04/05
  Associate Professor, School of Computing and Information Sciences, Florida International University, Miami, FL 33199
08/00 - present
  Director, Center for Advanced Distributed System Engineering, School of Computing and Information Sciences, Florida International University, Miami, FL 33199
01/00 - 04/01
  Assistant Professor, School of Computing and Information Sciences, Florida International University, Miami, FL 33199
09/98 - 04/99
  Visiting Associate Professor, School of Computing and Information Sciences, Florida International University, Miami, FL 33199
08/95 - 12/99
  Associate Professor, Department of Computer Science, North Dakota State University
07/97 - 07/99
  Adjunct Research Professor, Department of Computer Science, Nanjing University
09/89 - 07/95
  Assistant Professor, Department of Computer Science, North Dakota State University


Professional Activities
  • Program Committees
    • Organizing Chair, 26th International Conference of Applications and Theory of Petri Nets (ICATPN), 2005.
    • 16th International Conference on Software Engineering and Knowledge Engineering (SEKE), 2005.
    • 3rd Workshop on Verification and Validation of Enterprise Information Systems (WEIS), 2005.
    • 1st International Workshop on Quality Assurance and Testing of Web-based Applications, 2004.
    • 25th International Conference of Applications and Theory of Petri Nets (ICATPN), 2004
    • 15th IEEE International Conferences on Tools with Artificial Intelligence (ICTAI), 2003.
    • IEEE International Conference on Information Reuse and Integration (IRI), 2003 & 2004
    • 1st IEEE Multimedia Software Engineering Conference (MSE), 2002
    • 16th IFIP World Computer Congress (WCC), 2000
    • 20th, 21st, 22nd, 23rd, 24th, 25th Int'l Computer Software and Applications Conf. (COMPSAC), 1996 - 2001.
    • 3rd, 5th IEEE High-Assurance Systems Eng. Symp. (HASE), 1998 & 2000.
    • Vice Program Chair, 21st Int'l Computer Software and Applications Conf. (COMPSAC), 1997.

  • Currricula Committee
    • Member of the Discrete Structure Group of the Joint IEEE Computer Society/ACM Task Force on the "Year 2001 Model Curricula for Computing" (CC-2001), 1998 - 2001.

  • Reviewer
    • National Science Foundation - Software Engineering Division Research Proposals
    • ACM Transactions on Software Engineering and Methodology
    • Formal Aspects of Computing
    • IEEE Transactions on Software Engineering
    • IEEE Transactions on Data and Knowledge Engineering
    • IEEE Transactions on Parallel and Distributed Systems
    • IEEE Transactions on Systems, Man, and Cybernetics
    • IEEE Transactions on Robotics and Automation
    • International Journal of Foundations of Computer Science
    • Information and Software Technology
    • Journal of Systems & Software
    • Annals of Software Engineering
    • The Computer Journal
    • International Journal of Software Engineering and Knowledge Engineering
    • IEEE Computer
    • IEEE Software
    • Many international conferences

  • Membership:
    • ACM
    • IEEE Computer Society - Senior member


Selected Publications
(or see the Full Listings)
  1. X. He and T. Murata: "High-Level Petri Nets - Extensions, Analysis, and Applications", The Electrical Engineering Handbook (ed. Wai-Kai Chen), Elsevier Academic Press, 2005, 459-476.

  2. H. Zhu and X. He: "A Methodology for Component Integration Testing", Component-Based Software Testing (ed. Sami Beydeda), Springer, 2005, 239-272.

  3. X. He, H. Yu, T. Shi, J. Ding, and Y. Deng: "Formally Analyzing Software Architectural Specifications Using SAM", Journal of Systems and Software, vol.71, no.1-2, 2004, 11-29.

  4. X. He, W. Chu, and H. Yang: "A New Approach to Verify Rule-Based Systems using Petri Nets", Information and Software Technology, vol.45, no.10, 2003, 663-670.

  5. H. Zhu and X. He: "A Methodology for Testing High-Level Petri Nets", Information and Software Technology, vol.44, 2002, 473-489.

  6. D. Xu, X. He, and Y. Deng: "Schedulability Analysis of Real-Time Systems Using Time Petri Nets", IEEE Transaction on Software Engineering, vol.28, no.10, 2002, 984-996.

  7. X. He and Y. Deng: "A Framework for Developing and Analyzing Software Architecture Specifications in SAM", The Computer Journal, vol.45, no.1, 2002, 111-128.

  8. X. He: "PZ Nets - A Formal Method Integrating Petri Nets with Z", Information and Software Technology, vol.43, no.1, 2001, 1-18.

  9. X. He and Y. Ding: "Object Orientation in Hierarchical Predicate Transition Nets", Lecture Notes in Computer Science, vol.2001, 2001, 196-215.

  10. X. He and Y. Deng: "Specifying Software Architectural Connectors in SAM", International Journal of Software Engineering and Knowledge Engineering, vol.10, no.4, 2000, 411-431.