Fall 2013

CIS 461-01 - Formal Methods for Software Engineering (Top Jobs)
CIS 461 Demo: Cruise Control, Space Invader Model Checker: LTSA 3.0
CIS 560-01 - Theoretical Computer Science

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 461-01 - Formal Methods for Software Engineering
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 (Top 10 Best Jobs)
CIS 602-01 - Special Topics in Computer Science: Software
Engineering of Distributed Systems (Job Market) (Career Focus)

Undergraduate Graduation Check-Off (Download Form1, Form2)

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

Apply for Ph.D. in Engineering and Applied Science (CSIS Option)
Click Here for a List of Graduate Students Supervised

• Software Engineering, Distributed Computing, Formal Methods
• Mobile Cloud Computing (MCC), Services Computing
• Cybersecurity, Reliability and Security of Cloud Services
• Multi-Agent System (MAS), Intelligent Agent, Mobile Agent
• Electronic Commerce, Online Auctions, Data Mining
• Semantic Web, Services Composition, Ontology Techniques
• I am also affiliated with the Biomedical Engineering/Biotechnology (BMEBT) PhD Program (Student Handbook).
  
  Director, Concurrent Software Engineering Laboratory
  Click Here for a Detailed Description of My Research Interest
  

• Ontology-Based Two-Level Semantic Search Engine
• Secure and Fault-Tolerant Cloud-Based Information Storage
• Ontology-Based Dynamic Service Discovery & Composition
• 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

• R. Wei and H. Xu, "A Formal Cost-Effectiveness Analysis Model for Product Evaluation in E-Commerce," To appear in Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering (SEKE 2013), Boston, MA, USA, June 27-29, 2013.
• D. Fitch and H. Xu, "A RAID-Based Secure and Fault-Tolerant Model for Cloud Information Storage," To appear in International Journal of Software Engineering and Knowledge Engineering (IJSEKE), 2013.
• B. J. Ford, H. Xu, and I. Valova, "A Real-Time Self-Adaptive Classifier for Identifying Suspicious Bidders in Online Auctions," The Computer Journal (COMPJ), Vol. 56, No. 5, 2013, pp. 646-663.
• H. Xu, A. Reddyreddy, and D. F. Fitch, "Defending Against XML-Based Attacks Using State-Based XML Firewall," Journal of Computers (JCP), Vol. 6, No. 11, November 2011, pp. 2395-2407.
• H. Chawla, H. Xu, and M.C. Zhou, "A Real-Time Reliability Model for Ontology-Based Dynamic Web Service Composition, In Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011), Miami, FL, USA, July 7-9, 2011, pp. 153-158.
• A. Goel, H. Xu, and S. M. Shatz, "A Multi-State Bayesian Network for Shill Verification in Online Auctions," In Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, USA, July 2010, pp. 279-285.
• R. Robidoux, H. Xu, L. Xing, and M.C. Zhou, "Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets," IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans (SMC-A), Vol. 40, No. 2, March 2010, pp. 337-351.
• B. J. Ford, H. Xu, C. K. Bates, and S. M. Shatz, "Visual Specification of Layered Bidding Strategies for Autonomous Bidding Agents," Journal of Computers (JCP), Vol. 5, No. 6, June 2010, pp. 940-950.
• H. Xu, C. K. Bates, and S. 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.
• H. Xu, L. Xing, and R. 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.
• H. Xu, S. M. Shatz, and C. 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.
• H. Xu, M. Ayachit, and A. 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.
• H. Xu and Y.-T. 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.
• H. Xu, X. Zhang, and R. 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.
• H. Xu, Z. Zhang, and S. 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.
• H. Xu and S. 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.
• H. Xu and S. 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.
• H. 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 ~ 2011)
• Faculty Senate Committees: Library Committee (2004 ~ 2007)
• Publicity Chair and Program Committee: 7th IEEE International Symposium on Service-Oriented System Engineering (IEEESOSE 2013), San Francisco Bay, CA, USA, March 2013 (mirror site).
• Program Committee: 11th International Conference on Parallel and Distributed Computing and Networks (PDCN 2013), Innsbruck, Austria, February 2013.
• Publicity Chair and Program Committee: The IEEE International Symposium on Mobile Cloud, Computing and Service Engineering (MobileCloud2013), San Francisco Bay, USA, March 2013.
• Program Co-Chair: 25th International Conference on Software Engineering and Knowledge Engineering (SEKE 2013), Boston, MA, USA, June 27-29, 2013.
• Program Committee: 8th International Conference on Software Paradigm Trends (ICSOFT-PT 2013), Reykjavik, Iceland, July 29-31, 2013.
• Program Committee: Software Engineering (SE) track, 28th Annual ACM Symposium on Applied Computing (SAC 2013), Coimbra, Portugal, March 18-22, 2013.
• Program Committee: 15th International Conference on Enterprise Information Systems (ICEIS 2013), Angers Loire Valley, France, July 3-7, 2013.
  
  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
• Journal Editorial Boards:
  • Journal of Computers (JCP)
  • International Journal of Computers and Applications (IJCA)
• 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 (AY12-13)