Chunlin Guan

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 3

Top Topics

Partial Order Reduction

Top Venues

Publications

Chunlin Guan, Yi Ao, Dehui Du, Frédéric Mallet
xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems. APSEC (2018)
Kaiqiang Jiang, Chunlin Guan, Jiahui Wang, Dehui Du
Model Checking Coordination of CPS Using Timed Automata. COMPSAC (1) (2018)
Ping Huang, Kaiqiang Jiang, Chunlin Guan, Dehui Du
Towards Modeling Cyber-Physical Systems with SysML/MARTE/pCCSL. COMPSAC (1) (2018)