![FIU Home](/images/fiu.gif)
![About CADSE](/images/about.gif)
![Research](/images/research.gif)
![Recent Publications](images/recpub.gif)
![](/images/activ2.gif)
![People](/images/people.gif)
![Opportunities](/images/opp.gif)
![Training](/images/train.gif)
![Funding](/images/fund.gif)
![Contact Info](/images/contact.gif)
![Links](/images/related.gif)
![](/images/wnew1_up.gif)
![](/images/site1_up.gif)
![CADSE Home](/images/sidelogo2.gif)
|
![](/images/clear.gif) |
![](/images/activ_ban.gif)
Please select the activity you wish to view:
Research Activities
- Program Committees
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)
- Presentations at International Conferences and Universities
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
- 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
- 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 webmaster@cadse.cs.fiu.edu
|