Qingdi Meng

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 1

Top Topics

Formal Verification

Artifact Centric

Computation Tree Logic

Top Venues

Publications

Lianyi Zhang, Qingdi Meng, Guiming Luo
Verification of lean-kanban processes with probabilistic model checking. Int. J. Comput. Appl. Technol. 53 (4) (2016)
Qingdi Meng, Lianyi Zhang, Guiming Luo
Formal verification for embedded software with cognitive environment modelling. ICCI*CC (2014)
Lianyi Zhang, Qingdi Meng, Kueiming Lo
Compositional Abstraction Refinement for Component-Based Systems. J. Appl. Math. 2014 (2014)
Lianyi Zhang, Qingdi Meng, Guiming Luo
Model Checking (k, d)-Markov Chain with ipLTL. KSEM (2014)
Lianyi Zhang, Qingdi Meng, Guiming Luo
Counterexample-Guided Abstraction Refinement for Component-Based Systems. COMPSAC (2014)
Lianyi Zhang, Qingdi Meng, Guiming Luo
Optimized symbolic model checking for component-based systems. ICCI*CC (2014)