A Proof System for Projection Temporal Logic. - Zhenhua Duan; Xinfeng Shu (Computer and Information Science, 2009)

Model Checking Process Scheduling over Multi-core Computer System with MSVL. - Xinfeng Shu; Zhenhua Duan (SOFL+MSVL, 2015)

Extending MSVL with Semaphore. - Xinfeng Shu; Zhenhua Duan (COCOON, 2016)

A Visual Modeling Language for MSVL. - Xinfeng Shu; Chao Li; Chang Liu (SOFL+MSVL, 2016)

Extending UML for Model Checking. - Xinfeng Shu; Mengnan Wang; Xiaobing Wang (SOFL+MSVL, 2017)

A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks. - Xiaobing Wang; Liyuan Ren; Liang Zhao 021; Xinfeng Shu (SOFL+MSVL, 2017)

Model Checking Java Programs with MSVL. - Xinfeng Shu; Na Luo; Bo Wang; Xiaobing Wang; Liang Zhao 021 (SOFL+MSVL, 2018)

Runtime Verification Method for Social Network Security Based on Source Code Instrumentation. - Xiaobing Wang; Wenxuan Guo; Liang Zhao 021; Xinfeng Shu (SOFL+MSVL, 2018)

An Efficient Decision Procedure for Propositional Projection Temporal Logic. - Xinfeng Shu; Nan Zhang 001 (COCOON, 2019)

A Proof System for a Unified Temporal Logic. - Liang Zhao 021; Xiaobing Wang; Xinfeng Shu; Nan Zhang 001 (COCOON, 2019)

Model Checking Python Programs with MSVL. - Xinfeng Shu; Fengyun Gao; Weiran Gao; Lili Zhang; Xiaobing Wang; Liang Zhao 021 (SOFL+MSVL, 2019)

Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework. - Xiaobing Wang; Kun Yang; Yanmei Wang; Liang Zhao 021; Xinfeng Shu (SOFL+MSVL, 2019)

An MSVL Based Model Checking Method for Multi-threaded C Programs. - Xinfeng Shu; Zhenyu Wang; Weiran Gao; Xiaobing Wang; Liang Zhao 021 (SOFL+MSVL, 2020)

Automatic Generation of Specification from Natural Language Based on Temporal Logic. - Xiaobing Wang; Ge Li; Chunyi Li; Liang Zhao 021; Xinfeng Shu (SOFL+MSVL, 2020)

An MSVL-Based Modeling Framework for Back Propagation Neural Networks. - Liang Zhao 021; Zhe Feng; Xiaobing Wang; Xinfeng Shu (SOFL+MSVL, 2020)

A decision procedure and complete axiomatization for projection temporal logic. - Xinfeng Shu; Zhenhua Duan; Hongwei Du 001 (Theor. Comput. Sci., 2020)

Efficient decision procedure for propositional projection temporal logic. - Xinfeng Shu; Nan Zhang 001; Xiaobing Wang; Liang Zhao 021 (Theor. Comput. Sci., 2020)

A sound and complete proof system for a unified temporal logic. - Liang Zhao 021; Xiaobing Wang; Xinfeng Shu; Nan Zhang 001 (Theor. Comput. Sci., 2020)

Analyzing the Behavior of University Students Based on Campus Data. - Xinfeng Shu; Runan Shen; Yongping Liu (AIPR, 2021)

Research on Military Equipment Entity Recognition and Knowledge Graph Construction Method Based on ALBERT-Bi-LSTM-CRF. - Xinfeng Shu; Jing Yan; Weiran Gao; Fan Zhang (AIPR, 2021)

An Efficient and Accurate Mixed Dynamic Data Race Detection Method. - Jiaze Sun; Yanman Yang; Xinfeng Shu (AIPR, 2021)

Visual Model Checking Distributed System. - Yiyang Jia; Xinfeng Shu (AIPR, 2022)

A Bounded Model Checking Method for Concurrent Systems in xUML4MC. - Xinfeng Shu; Zewei Yang (AIPR, 2022)

A JPSL Based Model Checking Approach for Java Programs. - Xinfeng Shu; YanLin Li; Weiran Gao (SOFL+MSVL, 2022)

Formal verification of eBPF program security based on PTL. - Yang Chen; Xinfeng Shu (AIPR, 2023)

Automatic eBPF program generation method for performance monitoring. - Meizhu Du; Xinfeng Shu (AIPR, 2023)

Chinese Named Entity Recognition of Military Weapons Based on TaCL-BiLSTM-CRF. - Kun Guo 009; Xinfeng Shu (AIPR, 2023)

Formal Verifying Kernel Abstract Layer of HarmonyOS with Projection Temporal Logic. - Ye Tian; Xinfeng Shu (AIPR, 2023)