CS Department Shangping Ren CODE group
  Chunhui Guo  

Personal Information:

Chunhui Guo is now a Ph.D candidate in the Computer Science Department at Illinois Institute of Technology. He received the BSEE and MSEE degrees from Shandong University, China, in 2010 and 2013, respectively.

Links:Google Scholar Profile, ReseatchGate Profile, DBLP Publication List, LinkedIn Profile

Contact Information:

Address: 10 W 31st ST, Stuart Building Room 013C, Chicago, IL 60616, US

Telephone (Office): +1-(312)-567-3993

Email: cguo13@hawk.iit.edu

Research Interests

  • Cyber-Physical Systems
  • Real-Time Systems

Publications

    COPYRIGHT: The following materials are copyrighted by the corresponding publishers (e.g. Springer Verlag, ACM, SIAM, IEEE Press, World Sci., .....), you can download them only if you follow their restrictions (e.g., for private use or educational use...). The online version may be slightly different from the final version. I put them online just for the convenience of academic sharing.
  • Journals and Book Chapters:
  • Conferences and Workshops:
    1. Zhicheng Fu, Zhao Wang, Chunhui Guo, Zhenyu Zhang, Shangping Ren, and Lui Sha, IAFinder: Identifying Potential Implicit Assumptions to Facilitate Validation in Medical Cyber-Physical System., the 55th ACM/EDAC/IEEE Design Automation Conference (DAC), 2018.
    2. Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, and Lui Sha, Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models, the ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS), 2018.
    3. Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, and Lui Sha, Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines, the 36th International Conference on Computer Aided Design (ICCAD), 2017.
    4. Zhicheng Fu, Chunhui Guo, Zhenyu Zhang, Shangping Ren, Yu Jiang, and Lui Sha, Study of Software-Related Causes in the FDA Medical Device Recalls, the 22nd International Conference on Engineering of Complex Computer Systems (ICECCS), 2017.
    5. Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, and Lui Sha, Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems, the 41st IEEE Computer Society Signature Conference on Computers (COMPSAC), 2017. [To be published]
    6. Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Yi-Zong Ou, and Lui Sha, Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design, the 30th IEEE International Symposium on Computer-Based Medical Systems (CBMS), 2017.
    7. Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Maryam Rahmaniheris, and Lui Sha, Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study, the 30th IEEE International Symposium on Computer-Based Medical Systems (CBMS), 2017.
    8. Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, and Lui Sha, Modeling and Integrating Physical Environment Assumptions in Medical Cyber-Physical System Design, Design, Automation and Test in Europe Conference and Exhibition (DATE), 2017. [To be published]
    9. Chunhui Guo, Shangping Ren, Yu Jiang, Po-Liang Wu, Lui Sha, and Richard Berlin, Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models, the ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS 2016), 2016. [BibTex] [Presentation] [Tool]
    10. Chunhui Guo, Hao Wu, Xiayu Hua, Douglas Lautner, and Shangping Ren, Use Two-Level Rejuvenation to Combat Software Aging and Maximize Average Resource Performance, the 12th IEEE International Conference on Embedded Software and Systems (ICESS 2015), 2015. [BibTex] [Presentation]
    11. Xiayu Hua, Chunhui Guo, Hao Wu, Douglas Lautner, and Shangping Ren, Schedulability Analysis for Real-time Task Set on Resource with Performance Degradation and Periodic Rejuvenation, the 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2015), 2015. [BibTex]
    12. Chunhui Guo, Hao Wu, Xiayu Hua, Shangping Ren, and Jerzy M. Nogiec, Maximize System Reliability for Long Lasting and Continuous Applications, the 3rd World Conference on Information Systems and Technologies (WorldCIST'15), 2015. [BibTex] [Poster]
    13. Zheng Li, Xiayu Hua, Chunhui Guo, and Shangping Ren, Empirical Study of Energy Minimization Issues for Mixed-Criticality Systems with Reliability Constraints, the 1st Workshop on Low-Power Dependable Computing (LPDC), in conjunction with the 5th International Green Computing Conference (IGCC 2014), 2014. [BibTex] [Presentation]
    14. Chunhui Guo, Baochen Jiang, Shangping Ren, Hao Yuan, Li Wang, and Zhiqiang Yang, Performance Comparisons of Parallel Power Flow Solvers on GPU System, the 18th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2012), 2012. [BibTex] [Presentation]
  • Technical Reports:
    1. Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, and Lui Sha, Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report), Department of Computer Science, Illinois Institute of Technology, Technical Report, 2018. [PDF]
    2. Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, and Lui Sha, Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report, Department of Computer Science, Illinois Institute of Technology, Technical Report, 2017. [PDF]
    3. Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Maryam Rahmaniheris, and Lui Sha, Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study, Department of Computer Science, Illinois Institute of Technology, Technical Report, 2016.
    4. Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, and Lui Sha, Modeling and Integrating Physical Environment Assumptions in Medical Cyber-Physical System Design, Department of Computer Science, Illinois Institute of Technology, Technical Report, 2016.

Software

Professional Services

  • Technical Program Committee (TPC):
    • 3rd World Conference on Information Systems and Technologies (WorldCIST'15)
  • Reviewer:
    • IEEE 4th International Conference on Biomedical and Health Informatics (BHI 2017)
    • ACM Transactions on Embedded Computing Systems (TECS)
    • IEEE Transactions on Parallel and Distributed Systems (TPDS)

Teaching Assistant

  • Teaching Assistant for CS440 - Programming Languages and Translators, IIT, Spring 2017
  • Teaching Assistant for CS536 - Science of Programming, IIT, Spring 2016
  • Teaching Assistant for CS536 - Science of Programming, IIT, Summer 2015
  • Teaching Assistant for CS536 - Science of Programming, IIT, Spring 2015
  • Teaching Assistant for CS536 - Science of Programming, IIT, Fall 2014

Work Experience

  • Research Assistant (Dr. Shangping Ren), Illinois Institute of Technology, 2014 - Present
  • Teaching Assistant, Illinois Institute of Technology, 2014 - Present
  • Research Assistant (Prof. Hao Yuan), Shandong University, 2009 - 2013