Interests

• Cyber-Physical 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:

1. Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Po-Liang Wu, and Lui Sha, Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models, ACM Transactions on Cyber-Physical Systems (TCPS), 2016. [Under Initial Review]

• Conferences and Workshops:

1. 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. [Under Initial Review]
2. Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Maryam Rahmaniheris, and Lui Sha, pStatecharts: Pattern-Based Statecharts for Modeling Medical Best Practice Guidelines, Design, Automation and Test in Europe Conference and Exhibition (DATE), 2017. [Under Initial Review]

Teaching Assistant

• <---TA--->

Work Experience

• <---WorkExperience--->