Kaiqiang Jiang

According to our database, Kaiqiang Jiang authored at least 6 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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

Model Checking Coordination of CPS Using Timed Automata.

Kaiqiang Jiang, Chunlin Guan, Jiahui Wang, Dehui Du

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Towards Modeling Cyber-Physical Systems with SysML/MARTE/pCCSL.

Ping Huang, Kaiqiang Jiang, Chunlin Guan, Dehui Du

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

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

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

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

Improved Co-Simulation with Event Detection for Stochastic Behaviors of CPSs.

Jufu Liu, Kaiqiang Jiang, Xiao Wang, Bei Cheng, Dehui Du

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016