Teaching
Research Interests
- Distributed Software Engineering, Formal Methods
- Multi-Agent System (MAS), Intelligent Agent, Data Mining
- Service-Oriented Architecture (SOA), Ontology-Based Techniques
- Model-Based Software Development, Electronic Commerce
- Web Service Realibility, Web Services Security
- Reliability Engineering, Formal Verification and Validation
- I am also affiliated with the Biomedical Engineering/Biotechnology (BMEBT) PhD Program (Student Handbook).
Click
Here for a Detailed Description of My Research Interest
Current and Past Projects
Selected Publications
- Benjamin J. Ford, Haiping Xu, Christopher K. Bates, and Sol M.
Shatz, "Visual Specification
of Layered Bidding Strategies for Autonomous Bidding Agents,"
To appear in Journal of Computers (JCP),
Vol. 5, No. 6, 2010.
- Ryan Robidoux, Haiping Xu, Liudong Xing, and MengChu Zhou, "Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets," To appear in IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans (SMC-A), Vol. 40, No. 2, 2010.
- Haiping Xu, Christopher K. Bates, and Sol M. Shatz, "Real-Time Model Checking for Shill Detection in Live Online Auctions," In Proceedings of the International Conference on Software Engineering Research and Practice (SERP'09), July 13-16, 2009, Las Vegas, Nevada, USA, pp. 134-140.
- Haiping Xu, Liudong Xing, and Ryan Robidoux, "DRBD:
Dynamic Reliability Block Diagrams for System Reliability Modeling,"
International Journal of Computers and Applications (IJCA),
Vol. 31, No. 2, 2009, pp. 132-141.
- Abhinay Reddyreddy and Haiping Xu, "Securing
Service-Oriented Systems Using State-Based XML Firewall," In Proceedings
of the 20th International Conference on Software Engineering and Knowledge
Engineering (SEKE'2008),
July 1-3, 2008, Redwood City, San Francisco Bay, California, USA,
pp. 512-518.
- Haiping Xu, Sol M. Shatz, and Christopher K. Bates, "A
Framework for Agent-Based Trust Management in Online Auctions,"
In Proceedings of the 5th International Conference on Information
Technology: New Generations (ITNG
2008), April 7-9, 2008, Las Vegas, Nevada, USA, pp. 149-155.
- Haiping Xu, Mihir Ayachit, and Abhinay Reddyreddy, "Formal
Modeling and Analysis of XML Firewall for Service-Oriented Systems,"
International Journal of Security and Networks (IJSN),
Vol. 3, No. 3, 2008, pp. 147-160.
- Haiping Xu and Yi-Tsung Cheng, "Model
Checking Bidding Behaviors in Internet Concurrent Auctions,"
International Journal of Computer Systems Science & Engineering
(IJCSSE),
July 2007, Vol. 22, No. 4, pp. 179-191.
- Haiping Xu, Xiaoqin Zhang, and Rinkesh Patel, "Developing
Role-Based Open Multi-Agent Software Systems," International
Journal of Computational Intelligence Theory and Practice (IJCITP),
June 2007, Vol. 2, No. 1, pp. 39-56.
- Xiaoqin Zhang, Haiping Xu, and Bhavesh Shrestha, "An
Integrated Role-Based Approach for Modeling, Designing and Implementing
Multi-Agent Systems," Journal of the Brazilian Computer
Society (JBCS),
Special Issue on Software Engineering for Multi-Agent Systems, July
2007, Vol. 13, No. 2, pp. 45-60.
- Haiping Xu, Zhiguo Zhang, and Sol M. Shatz, "A
Security Based Model for Mobile Agent Software Systems,"
International Journal of Software Engineering and Knowledge Engineering
(IJSEKE),
August 2005, Vol. 15, No. 4, pp. 719-746.
- Haiping Xu and Sol M. Shatz, "ADK:
An Agent Development Kit Based on a Formal Model for Multi-Agent Systems,"
Journal of Automated Software Engineering (AUSE),
October 2003, Vol. 10, No. 4, pp. 337-365.
- Haiping Xu and Sol M. Shatz, "A
Framework for Model-Based Design of Agent-Oriented Software,"
IEEE Transactions on Software Engineering (IEEE
TSE), January 2003, Vol. 29, No. 1, pp. 15-30.
- Haiping Xu, "A Model-Based
Approach for Development of Multi-Agent Software Systems,"
Ph.D. Thesis, Department of Computer Science, University of
Illinois at Chicago, March 2003. Outstanding
Ph.D. Thesis Award 2004, Thesis Supervisor: Professor
Sol M. Shatz (UIC News,
Jiaxing Daily).
Click Here for a Complete List
of My Publications
Recent Committee Work
- CS Undergraduate Curriculum and Program Committee (2003 ~ Present)
- CS Graduate Curriculum and Program Committee (2003 ~ Present)
- Faculty Senate Committees: Admissions Committee (2008 ~
Present)
- Faculty Senate Committees: Library Committee (2004 ~ 2007)
- Program Committee: 9th International Conference on Parallel and
Distributed Computing and Networks (PDCN
2010), Innsbruck, Austria, February 2010.
- Program Committee: 22nd International Conference on Software Engineering
and Knowledge Engineering (SEKE
2010), Redwood City, San Francisco Bay, USA, July 2010.
- Track Chair/Committee: 7th International Conference on Information
Technology: New Generations (ITNG
2010), Circuits
and System Design Track, E-Commerce
Track, Las Vegas, Nevada, USA, April 2010.
- Program Committee: 12th International Conference on Enterprise
Information Systems (ICEIS 2010),
Funchal, Madeira - Portugal, June 2010.
- Program Committee: Workshop on Adaptive Collaboration (AC 2010),
International Symposium on Collaborative Technologies and Systems
(CTS
2010), Chicago, Illinois, USA, May 2010.
- Program Committee: International Conference on Software Engineering
Research and Practice (SERP'10),
WorldComp'10,
Las Vegas, Nevada, USA, July 2010.
- Program Committee: International Conference on Artificial Intelligence
(ICAI'10),
WorldComp'10,
Las Vegas, Nevada, USA, July 2010.
- Program Committee: 5th International Conference on Software and
Data Technologies (ICSOFT 2010),
Athens, Greece, July 2010.
Click Here for a Complete List of
My Committee Work
Professional Affiliations and Honors
Personal Interests
Curriculum Vitae (Pdf) Photos Travels Calendar
|