Fall 2009

CIS 360-01 - Algorithms and Data Structures (Textbook)
CIS 560-01 - Theoretical Computer Science (Textbook)

Past Courses

CIS 115-01 - Computer Programming with C
CIS 181-01 - Object-Oriented Programming II
CIS 360-01 - Algorithms and Data Structures
CIS 361-01 - Models of Computation
CIS 481-01 - Parallel & Distributed Software Systems
CIS 560-01 - Theoretical Computer Science (Comprehensive Exam)
CIS 563-01 - Multi-Agent Software Systems
CIS 582-01 - Advanced Software Engineering (Job Market)
CIS 602-01 - Special Topics in Computer Science: Software
Engineering of Distributed Systems

Undergraduate Graduation Check-Off (Download Form1, Form2)

Click Here for a List of Past Courses Taught

Master's Project/Thesis
CIS 600-01 - Master's Project (Download Form1, Form2)
CIS 690-01 - Master's Thesis (Download Form1, Guide, SigPage)

Click Here for a List of Graduate Students Supervised

• Software Engineering, Distributed Computing
• Multi-Agent Systems (MAS), Intelligent Agents
• Mobile Agent Systems, Wireless Sensor Networks
• Formal Methods, Model-Based Software Development
• Electronic Commerce, Internet Security, Web Services
• Reliability Engineering, Formal Verification and Validation
• Peer-to-Peer (P2P) Computing, Ubiquitous Computing.
• I am also affiliated with the Biomedical Engineering/Biotechnology (BMEBT) PhD Program (Student Handbook).
  
  Click Here for a Detailed Description of My Research Interest
  

• Ontology-Based Dynamic Web Services Composition
• Ontology-Based Dynamic Web Services Discovery & Invocation
• ATM™: Agent-Based Trust Management for Trust Re-Evaluation
• Formal Verification of Dynamic Reliability Block Diagram (DRBD)
• S-WALL™: State-Based XML Firewall for Service-Oriented Systems
• Building a Travel Reservation System Using BPEL4WS (Slides)
• RADE™: Role-Based Agent Development Environment (An Introduction)
• A Service-Oriented Peer-to-Peer System for Resource Sharing (Slides)
• MASEA 1.0: A Multi-Agent System for Electronic Auctions (Slides)
• OSPS: An Office Supplies Purchasing System Using Web Services
• ADK 1.0: The Model-Based Agent-Development Kit (A Brief Introduction)
• CS Web Editor: for automatically updating CS Dept web pages at UIC.
  
  Click Here for a List of My Recent Funding and Grant Activities

• Haiping Xu, Christopher K. Bates, and Sol M. Shatz, "Real-Time Model Checking for Shill Detection in Live Online Auctions," To appear in Proceedings of the International Conference on Software Engineering Research and Practice (SERP'09), July 13-16, 2009, Las Vegas, Nevada, USA.
• 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

• 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 Co-Chair: International Conference on Software Engineering Theory and Practice (SETP-09), Orlando, FL, USA, July 2009.
• Program Committee: International Conference on Software Engineering Research and Practice (SERP'09), WorldComp'09, Las Vegas, Nevada, USA, July 2009. (Call for Papers: A Special Session on Agent-Based Systems: Research and Practice)
• Session Chair: International Conference on Software Engineering Research and Practice (SERP'09), Las Vegas, Nevada, USA, July 2009.
• Program Committee: 21st International Conference on Software Engineering and Knowledge Engineering (SEKE'2009), Boston, USA, July 2009.
• International Program Committee: 13th International Conference on Software Engineering and Applications (SEA 2009), Cambridge, Massachusetts, USA, November 2009.
• Program Committee: 4th International Conference on Software and Data Technologies (ICSOFT 2009), Sofia, Bulgaria, July 2009.
• Program Committee: 4th International Conference on Frontier of Computer Science and Technology (FCST 2009), Shanghai, China, December 2009.
• Program Committee: 9th International Conference on Parallel and Distributed Computing and Networks (PDCN 2010), Innsbruck, Austria, February 2010.
  
  Click Here for a Complete List of My Committee Work

• Senior Member of the IEEE, IEEE Computer Society (Plaque)
• Senior Member of the Association of Computing Machinery (ACM) (Certificate)
• Member of the American Federation of Teachers (AFT), AFL-CIO
• Associate Editor on Journal Editorial Boards:
  • International Journal of Computers and Applications (IJCA)
  • The Open Software Engineering Journal (TOSEJ)
• Inclusion in the 11th Edition of Who's Who Among America's Teachers, 2006/2007 (Certificate)
• Outstanding Ph.D. Thesis Award, University of Illinois, 2004.
• University Fellowship, University of Illinois at Chicago, 2001.
• Dayton Area Graduate Studies Institute (DAGSI) Scholarship, 1998.
• Member of Zhejiang University Juvenile Class'85 for Gifted Students
  

I enjoy playing tennis. I am about a 4.0-level player.

Curriculum Vitae (Pdf) Photos Travels Calendar