Qingdi Meng

Compositional Abstraction Refinement for Component-Based Systems

Kueiming Lo, Lianyi Zhang, Qingdi Meng, 2014, J. Appl. Math..

Counterexample-Guided Abstraction Refinement for Component-Based Systems

Guiming Luo, Lianyi Zhang, Qingdi Meng, 2014, 2014 IEEE 38th Annual Computer Software and Applications Conference.

Optimized symbolic model checking for component-based systems

Guiming Luo, Lianyi Zhang, Qingdi Meng, 2014, 2014 IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing.

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

Guiming Luo, Lianyi Zhang, Qingdi Meng, 2014, KSEM.

Verification of lean-kanban processes with probabilistic model checking

Guiming Luo, Lianyi Zhang, Qingdi Meng, 2016, Int. J. Comput. Appl. Technol..

Formal verification for embedded software with cognitive environment modelling

Guiming Luo, Lianyi Zhang, Qingdi Meng, 2014, 2014 IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing.