Improved Co-Simulation with Event Detection for Stochastic Behaviors of CPSs. - Jufu Liu; Kaiqiang Jiang; Xiao Wang; Bei Cheng; Dehui Du (COMPSAC, 2016)

MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks. - Dehui Du; Ping Huang; Kaiqiang Jiang; Frédéric Mallet; Mingrui Yang (FACS, 2016)

AL-SMC: Optimizing Statistical Model Checking by Automatic Abstraction and Learning. - Kaiqiang Jiang; Ping Huang; Hui Zan; Dehui Du (Int. J. Softw. Informatics, 2016)

Towards Modeling Cyber-Physical Systems with SysML/MARTE/pCCSL. - Ping Huang; Kaiqiang Jiang; Chunlin Guan; Dehui Du (COMPSAC (1), 2018)

Model Checking Coordination of CPS Using Timed Automata. - Kaiqiang Jiang; Chunlin Guan; Jiahui Wang; Dehui Du (COMPSAC (1), 2018)

pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems. - Dehui Du; Ping Huang; Kaiqiang Jiang; Frédéric Mallet (Sci. Comput. Program., 2018)