Xinfeng Shu

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 26

Top Topics

Formal Verification

Concurrent Systems

Top Venues

Theor. Comput. Sci.

Publications

Meizhu Du, Xinfeng Shu
Automatic eBPF program generation method for performance monitoring. AIPR (2023)
Kun Guo, Xinfeng Shu
Chinese Named Entity Recognition of Military Weapons Based on TaCL-BiLSTM-CRF. AIPR (2023)
Yang Chen, Xinfeng Shu
Formal verification of eBPF program security based on PTL. AIPR (2023)
Ye Tian, Xinfeng Shu
Formal Verifying Kernel Abstract Layer of HarmonyOS with Projection Temporal Logic. AIPR (2023)
Xinfeng Shu, YanLin Li, Weiran Gao
A JPSL Based Model Checking Approach for Java Programs. SOFL+MSVL (2022)
Yiyang Jia, Xinfeng Shu
Visual Model Checking Distributed System. AIPR (2022)
Xinfeng Shu, Zewei Yang
A Bounded Model Checking Method for Concurrent Systems in xUML4MC. AIPR (2022)
Xinfeng Shu, Runan Shen, Yongping Liu
Analyzing the Behavior of University Students Based on Campus Data. AIPR (2021)
Jiaze Sun, Yanman Yang, Xinfeng Shu
An Efficient and Accurate Mixed Dynamic Data Race Detection Method. AIPR (2021)
Xinfeng Shu, Jing Yan, Weiran Gao, Fan Zhang
Research on Military Equipment Entity Recognition and Knowledge Graph Construction Method Based on ALBERT-Bi-LSTM-CRF. AIPR (2021)
Xinfeng Shu, Zhenhua Duan, Hongwei Du
A decision procedure and complete axiomatization for projection temporal logic. Theor. Comput. Sci. 819 (2020)
Xinfeng Shu, Zhenyu Wang, Weiran Gao, Xiaobing Wang, Liang Zhao
An MSVL Based Model Checking Method for Multi-threaded C Programs. SOFL+MSVL (2020)
Xinfeng Shu, Nan Zhang, Xiaobing Wang, Liang Zhao
Efficient decision procedure for propositional projection temporal logic. Theor. Comput. Sci. 838 (2020)
Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang
A sound and complete proof system for a unified temporal logic. Theor. Comput. Sci. 838 (2020)
Xiaobing Wang, Ge Li, Chunyi Li, Liang Zhao, Xinfeng Shu
Automatic Generation of Specification from Natural Language Based on Temporal Logic. SOFL+MSVL (2020)
Liang Zhao, Zhe Feng, Xiaobing Wang, Xinfeng Shu
An MSVL-Based Modeling Framework for Back Propagation Neural Networks. SOFL+MSVL (2020)
Xiaobing Wang, Kun Yang, Yanmei Wang, Liang Zhao, Xinfeng Shu
Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework. SOFL+MSVL (2019)
Xinfeng Shu, Nan Zhang
An Efficient Decision Procedure for Propositional Projection Temporal Logic. COCOON (2019)
Xinfeng Shu, Fengyun Gao, Weiran Gao, Lili Zhang, Xiaobing Wang, Liang Zhao
Model Checking Python Programs with MSVL. SOFL+MSVL (2019)
Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang
A Proof System for a Unified Temporal Logic. COCOON (2019)
Xiaobing Wang, Wenxuan Guo, Liang Zhao, Xinfeng Shu
Runtime Verification Method for Social Network Security Based on Source Code Instrumentation. SOFL+MSVL (2018)
Xinfeng Shu, Na Luo, Bo Wang, Xiaobing Wang, Liang Zhao
Model Checking Java Programs with MSVL. SOFL+MSVL (2018)
Xiaobing Wang, Liyuan Ren, Liang Zhao, Xinfeng Shu
A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks. SOFL+MSVL (2017)
Xinfeng Shu, Mengnan Wang, Xiaobing Wang
Extending UML for Model Checking. SOFL+MSVL (2017)
Xinfeng Shu, Zhenhua Duan
Extending MSVL with Semaphore. COCOON (2016)
Xinfeng Shu, Chao Li, Chang Liu
A Visual Modeling Language for MSVL. SOFL+MSVL (2016)
Xinfeng Shu, Zhenhua Duan
Model Checking Process Scheduling over Multi-core Computer System with MSVL. SOFL+MSVL (2015)