 |
 |
Haiping Xu   Assistant Professor Dion 302E Education
|
Teaching
-
Fall 2008
CIS
181-01 - Object-Oriented Programming II (Textbook)
CIS 560-01 - Theoretical Computer Science (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 361-01 - Models of Computation (Download Form1)
CIS 481-01 - Parallel & Distributed Software Systems
CIS 560-01 - Theoretical Computer Science
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
Click Here for a List of Past Courses Taught
CIS 181-01 - Object-Oriented Programming II
CIS 361-01 - Models of Computation (Download Form1)
CIS 481-01 - Parallel & Distributed Software Systems
CIS 560-01 - Theoretical Computer Science
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
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)
Click Here for a List of Graduate Students Supervised
CIS 690-01 - Master's Thesis (Download Form1)
Click Here for a List of Graduate Students Supervised
Research Interests
- 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.
Click Here for a Detailed Description of My Research Interest
Current and Past Projects
- Ontology-Based Dynamic Web Services Composition
- Protecting Service-Oriented Systems from XML-Based Attacks
- ATM™: Agent-Based Trust Management for Trust Re-Evaluation
- Formal Verification of Dynamic Reliability Block Diagram (DRBD)
- Prototyping a Trustworthy Agent Based Online Auction System (Slides)
- Petri Net Based XML Firewall Security Model for Web Services (Slides)
- Building a Travel Reservation System Using BPEL4WS (Slides) (Example)
- 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
Selected Publications
- 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," To appear in International Journal of Security and Networks (IJSN), Vol. 3, No. 3, 2008.
- Haiping Xu and Liudong Xing, "Formal Semantics and Verification of Dynamic Reliability Block Diagrams for System Reliability Modeling," In Proceedings of the 11th International Conference on Software Engineering and Applications (SEA 2007), November 19-21, 2007, Cambridge, Massachusetts, USA, pp. 155-162.
- 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 (Fall 2003 ~ Present)
- CS Graduate Curriculum and Program Committee (Fall 2003 ~ Present)
- Faculty Senate Committees: Admissions Committee (Fall 2008 ~ Present)
- Faculty Senate Committees: Library Committee (Fall 2004 ~ Fall 2007)
- Program Committee Co-Chair: International Conference on Software Engineering Theory and Practice (SETP-08), Orlando, FL, USA, July 2008.
- Program Committee: 10th International Conference on Enterprise Information Systems (ICEIS 2008), Barcelona, Spain, June 2008.
- International Program Committee: International Conference on Enterprise Information Systems and Web Technologies (EISWT-08), Orlando, FL, USA, July 2008.
- Program Committee: 3rd International Conference on Software and Data Technologies (ICSOFT 2008), Porto, Portugal, July 2008.
- International Program Committee: 12th International Conference on Software Engineering and Applications (SEA 2008), Orlando, Florida, USA, November 2008.
- Track Committee: 6th International Conference on Information Technology: New Generations (ITNG 2009), E-Commerce Track, Las Vegas, Nevada, USA, April 2009.
- Track Committee Co-Chair: 6th International Conference on Information Technology: New Generations (ITNG 2009), Hardware-Software Codesign Track, Las Vegas, Nevada, USA, April 2009.
- International Program Committee: International Conference on Parallel
and Distributed Computing and Networks (PDCN
2009), Innsbruck, Austria, February 2009.
Click Here for a Complete List of My Committee Work
Professional Affiliations and Honors
- Senior Member of the IEEE, IEEE Computer Society (Plaque)
- Professional Member of the Association of Computing Machinery (ACM)
- Member of the American Federation of Teachers (AFT), AFL-CIO
- Inclusion in the 11th Edition of Who's Who Among America's Teachers, 2006/2007 (Certificate)
- Member of Zhejiang University Juvenile Class'85 for Gifted Students
Personal Interests
| Curriculum Vitae (Pdf) Photos Travels Calendar | |
| Beijing 2008 Olympic Games (One World One Dream) |
| Download Wallpaper: 1024x768, 1280x768 |
