Li Xuandong

Improve Model Checking Efficiency Using Specific Knowledge about the System

Zhao Jianhua, Lei Bin, Li Xuandong, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

Compositional model-checking for real-time systems

Li Xuandong, Zheng Guoliang, Hou Jianmin, 1998, SOEN.

Compatibility between shared variable valuations in timed automaton network model-checking

Li Xuandong, Zheng Guoliang, Zhao Jianhua, 2005 .

A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking

Li Xuandong, Zhao Jianhua, Wang Linzhang, 2008 .

Scenario-Based timing consistency checking for time petri nets

Li Xuandong, Zhang Tao, Hu Jun, 2006 .

Runtime verification of java programs for scenario-based specifications

Li Xuandong, Zheng Guoliang, Lei Bin, 2006 .