Awards

Cover-Featured Article in Computer
Our paper “Environment Modeling During Model Checking of Cyberphysical Systems” was cover-featured in Computer September 2021 issue.
Guangyao Chen, Zhihao Jiang
Last updated on Sep 11, 2021
Project
Cover-Featured Article in Computer
Best Paper Finalist in ICCPS'21
Our paper on clinical assist system was one of the three finalist for the Best Paper Award.
Yutong Wu, Renzhi Tang, Eunsuk Kang, Zhihao Jiang
Last updated on May 22, 2021
Project Conference Link
Best Paper Finalist in ICCPS'21