FIU Home
About CADSE
Research
Recent Publications

People
Opportunities
Training
Funding
Contact Info
Links



CADSE Home

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)


  2. Presentations at International Conferences and Universities

    3. 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


  3. 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


  4. Visiting Scientists at CADSE
      5. 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 webmaster@cadse.cs.fiu.edu