Ph.D. Dissertations

Ph.D. Theses completed

Academic Advising at UIC:

  • 1. Tsang Ming Jiang, "Distributed Environments for the Development of Distributed Software", August 1988 - tenured at University of Alaska - Fairbanks; on leave to 3COM; now with National Chung Cheng University, Taiwan
  • 2. Young-Fu Chang, "Analyses of Distributed Software Systems", November 1989 - now with Lucent Technologies – Bell Labs
  • 3. Hsuan-Wei Huang, "On Modeling, Specifying, and Verifying the Real-Time Distributed Systems", November 1990 - now with National Ocean University, Taiwan
  • 4. Cheng-Chung Song, "Stochastic Testing for Distributed Software Systems", March 1991 - now with IBM
  • 5. Yong Liu, "A Methodology for the Design, Simulation and Performance Engineering of Distributed Systems", December 1993 – joined Motorola; moved to Lucent Technologies – Bell Labs
  • 6. Yahya Al-Salqan, "Mediaware: A Distributed Multimedia Environment Architecture and Formalism", July 1994 - joined Sun Microsystems
  • 7. Shiyan Hua, "Middle-Software Generator: Towards Megaprogramming Software Design", September 1994 - now with Lucent Technologies – Bell Labs
  • 8. Chikuang Chao, "SPMNET: A New Methodology For Software Management", March 1995 - now with AT&T
  • 9. Pattanasak Mongkolwat, "Distributed Object-Oriented Software Process Modeling With Interoperable Objects and Object-Oriented Software Metrics", finished at Illinois Institute of Technology, May 1996 – Now with Northwestern Univ.
  • 10. Xin Shu, "Fitting Design Patterns Into Object-Oriented Methods", May 1996
  • 11. Chiau-Chuan Shih, "A Study Of Data Allocation For A Video-On-Demand Server", December 1996 – joined Lucent Technologies – Bell Labs; now with Jasmine Networks
  • 12. Chia-Song Ma, "Object-Oriented Software Testability via Interconnection Complexity Analysis", March 1997 - now with Lucent Technologies – Bell Labs
  • 13. Yi-Te Tseng, "Process Algebra for Hard Real-Time Systems", August 1997 - now with AT&T (co-advised with Ugo Buy)
  • 14. Seongwoon Kim, "I3: A Petri Net Based Specification Method for Architectural Components", Jan 18, 2000 – was with Guidant; joined CISCO; moved to Lucent Technologies – Bell Labs; now Senior Manager at Samsung Electronics.
  • 15. Jia Zhang, "Formalization of Computer Supported Cooperative Work Applications", December 2000, now with Northern Illinois University. Associate Editor of IEEE Trans. On Services Computing; Associate Editor of International Journal of Web Services Research; Editorial Board Member of IEEE IT Professional; Program Vice Chair of IEEE Int’l Conference on Web Services.
  • 16. Jane Huang, "Robust Requirements Traceability for Handling Evolutionary and Speculative Change", May 2002 – now with DePaul University. Editorial Board Member of Requirements Engineering Journal.; Director of NSF funded Center for Applied Requirements Engineering; Program Chair for 17th (2010) International Conference on Requirements Engineering; also associate editor for IEEE Trans. on Software Engineering.
  • 17. Lie Cai, "Agent Based Requirements Evolution over the Internet", September 2002 – joined Motorola
  • 18. Hui Zhao, "A Fuzzy-Logic Based Enhancement on Routing in Mobile Ad-Hoc Networks", October, 2002.
  • 19. Thribhuvana G. Murthy, "A Quality-centric Approach to Indentify and Integrate Legacy Assets Into a Platform Architecture", July 2003.

Academic Advising at ISU:

  • 20. Tae-hyung Kim, "Service-oriented design in aspect-oriented and Petri net-based approach", May 2007 – joined Samsung Electronics.
  • 21. Jinchun Xia, "WS-Pro: a Petri net based performance-driven service composition framework", May 2009 – joined San Jose State University.
  • 22. Hsin-yi Jiang, "A Framework for Estimating the Applicability of GAs for Real-World Optimization Problems", November 2010 – joined Accelent; now with Microsoft.
  • 23. Jose M. Reyes Alamo, "A Framework for safe composition of heterogeneous SOA services in a pervasive computing environment with resource constraints", November 2010. (Co-advised with Johnny Wong); now with New York Polytechnic.
  • 24. Hojun Jaygarl, "Capture-Based Automated Test Input Generation", December 2010 – joined Samsung.
  • 25. Shuxing Cheng, "Competitive Service Market: Modeling, Storage and Management", December 2010; working for NIH.
  • 26. Wei Zhang, "Data Clustering Analysis with Ant-based Template Mechanism", August 2011 – joined Microsoft.
  • 27. Hua Ming, "SITUf: A Domain Specific Language and A First Step Towards the Realization of Situ Framework", July 2012 – joined Oakland University, fall 2014.
  • 28. Jeyoun Dong, "Human Desire Inference Process and Analysis", May 2013 - joined Samsung, Korea.
  • 29. Kai-shin Lu, " Automatic Refactoring History Reconstruction and Dynamic Component Adaptation Frameworks for Refactoring-based Software Component Evolution", May, 2013 - joined Peterson.
  • 30. Mohammad Ali Darvish-Darab, "Automated Blackbox GUI Specifications Enhancement and Test Data Generatiuon", April 2015 – joined College of Charleston, South Carolina.
  • 31. Haihua Xie, "Detection of new intentions from users for software service evolution in human-centric context-aware environments using Conditional Random Fields", May 2015 – joined Founder Group, China.
  • 32. Liyuan Xiao, "Intrusion Detection Using Probabilistic Graph Models", December 2016 – joined Sparta Systems.
  • 33. Jingwei Yang, "A Situation-Centric Knowledge-Driven Requirements Elicitation Approach using the MTL Method", May 2017.
  • 34. Yunfei (Phl) Feng, "Recognition of Activities of Daily Living", May 2018 – joined SAMS Corporate Research.
  • 35. Hoda Gholami, "A Data-Driven Situation_Aware Framework for Predictive Analysis in Smart Environments". May 2018 – joined Microsoft Research .
  • 36. Omar Asiri, "Enhancing Users’ Experiences with Mobile Apps’ Stores; What Do Users See? What Should They See?" November 2018 – returned to Saudi Arabia for an academic position.
  • 37. Nimanthi Atukorala, “Situation-Oriented Requirements Engineering”, May 2019 – joined Augsburg University.
  • 38. Oluwafemi Oyeleke, "A Situation-Driven Framework for Relearning of Daily Living Activities in Smart Home Environments", May 2020 - joined Stevens Institute of Technology.
  • 39. Peng Sun, "A Multi-layered Desires Based Framework to Detect Evolving Non-functional Requirements of Users", May 2021 - joined Fidelity Investments.
  • 40. Chen-Yeou (Charles) Yu, "Situational Smart Edge Computing", June 2022 - joined Truman State University.

  • Ph.D. Theses completed as major advisor per management plan with Endometric, Inc.

  • O1. Yi Wang, "Edge Cross-Section Profile for Colonoscopic Object Detection", May 2011. (Actual Thesis Advisor: Johnny Wong)
  • O2. Sean Stanek, "Semi-automated Parallel Programming in Heterogeneous Intelligent Reconfigurable Environment (SAPPHIRE)", May 2012. (Actual Thesis Advisor: Johnny Wong)
  • O3. Dong Ho Hong, "3D Colon Segment and Endoscope Motion Reconstruction from Colonoscopy Video", June 2012. (Actual Thesis Advisor: Wallapak Tavanapong)

  • Ph.D. Theses completed/in progress as co-major professor per arrangements with Morris Chang

  • O4. Yu-Wen Chen, "The Cloud Based Energy Management: Design, Analysis and Realization", May 2017
  • O5. Priyangika Rumesh Piyasinghe, "Data-driven Peer-to-Peer Botnet Detection in Waiting and Attacking Stages", December 2019

  • Ph.D. Theses completed/in progress as co-major professor per arrangements with Stephen Gilbert

  • O6. Adel Sulaiman, "Training and evaluation in a large-scale virtual environment for a location-based mobile application", May 2019

  • Ph.D. Theses in progress

  • Hongyi Bian "Situational Smart Contract via Blockchain"

(click here for the list of M.S. Level theses and projects)