Qingdi Meng

According to our database, Qingdi Meng authored at least 6 papers between 2014 and 2016.

Collaborative distances:

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

2016

Verification of lean-kanban processes with probabilistic model checking.

Lianyi Zhang, Qingdi Meng, Guiming Luo

Int. J. Comput. Appl. Technol., 2016

2014

Compositional Abstraction Refinement for Component-Based Systems.

Lianyi Zhang, Qingdi Meng, Kueiming Lo

J. Appl. Math., 2014

Model Checking (k, d)-Markov Chain with ipLTL.

Lianyi Zhang, Qingdi Meng, Guiming Luo

Proceedings of the Knowledge Science, Engineering and Management, 2014

Counterexample-Guided Abstraction Refinement for Component-Based Systems.

Lianyi Zhang, Qingdi Meng, Guiming Luo

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Optimized symbolic model checking for component-based systems.

Lianyi Zhang, Qingdi Meng, Guiming Luo

Proceedings of the IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing, 2014

Formal verification for embedded software with cognitive environment modelling.

Qingdi Meng, Lianyi Zhang, Guiming Luo

Proceedings of the IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing, 2014