FIU Home
Recent Publications

Contact Info


Please select the activity you wish to view:
Research Activities
  1. Program Committees

  2. Dr. Xudong He served on the following program committees during 2000 - 2005:
    • 25th International Conference of Applications and Theory of Petri Nets (ICATPN), 2004
    • 15th IEEE International Conferences on Tools with Artificial Intelligence, 2003.
    • 2003 IEEE International Conference on Information Reuse and Integration (IRI), 2003
    • 1st IEEE Multimedia Software Engineering Conference (MSE), 2002
    • 25th Int'l Computer Software and Applications Conf. (COMPSAC'2001)
    • 16th IFIP World Computer Congress (WCC'2000)
    • 24th Int'l Computer Software and Applications Conf. (COMPSAC'2000)
    • 5th IEEE High-Assurance Systems Eng. Symp. (HASE'2000)

  3. Presentations at International Conferences and Universities

  4. Dr. Xudong He gave presentations and chaired sessions at:
    • 12th Int'l Software Engineering and Knowledge Engineering Conference (SEKE'2000), Chicago, June 2000
    • 16th IFIP World Computer Congress (WCC'2000), Beijing, China, August 2000
    • 24th Int'l Computer Software and Applications Conf. (COMPSAC'2000), Taipei, Taiwan, Oct. 2000
    • Department of Computer Science and Technology, Nanjing University, China, August 2000

  5. CADSE Sponsored Seminars
    • "An Agent Specification Language", Dr. Hong Zhu, Oxford Brookes Univ., England, May 2000
    • "Design Specification for Distributed Object Software", Dr. Sol Shatz, Univ. of Illinois at Chicago, Dec. 2000
    • "Possibilistic Performance Analysis of Concurrent Systems Using Fuzzy-Timing Petri Nets", Dr. Tadao Murata, Univ. of Illinois at Chicago, Feb. 2001

  6. Visiting Scientists at CADSE
    • Dr. Hong Zhu from the Oxford Brookes University in England visited CADSE during April ~ May 2000, and March ~ April 2001 and collaborated with Dr. Xudong He on a software testing theory for concurrent systems.

Education and Outreach
Dr. Nagarajan Prabakar gave talks to the following high school students:
  • Miami Sunset Senior High School, Feb. 2001
  • MAST Academy, Key Biscayne, March 2001
  • Braddock High School, Miami, March 2001

For problems or questions about this web, contact