Dr. Mingshuai Chen

Alumnus at the Institute of Software, Chinese Academy of Sciences
E-mail: chenms@ios.ac.cn     Advisor: Prof. Dr. Naijun Zhan     Co-advisor: Prof. Dr. Martin Fränzle

"Live as if you were to die tomorrow. Learn as if you were to live forever." ― MAHATMA GANDHI


Research Interests

Modelling · Verification · Synthesis of Hybrid Systems: Reachability Computation; Program Reasoning; Interpolant/Invariant Synthesis; Time-Delayed Systems


new Tutorial @ RTSS 2019: Formal analysis, verification and design of safety-critical CPS.

Publications



Tools and Case Studies



Education



Correspondence address

Institute of Software, Chinese Academy of Sciences
No. 4 South Fourth Street, ZhongGuanCun,
Beijing 100190
P.R. CHINA
View Mingshuai Chen's profile on LinkedIn





Last modified on Aug. 10, 2019.