Xinfeng Shu

According to our database, Xinfeng Shu authored at least 28 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Formal Verifying Kernel Abstract Layer of HarmonyOS with Projection Temporal Logic.

Ye Tian, Xinfeng Shu

Proceedings of the 6th International Conference on Artificial Intelligence and Pattern Recognition, 2023

Chinese Named Entity Recognition of Military Weapons Based on TaCL-BiLSTM-CRF.

Kun Guo, Xinfeng Shu

Proceedings of the 6th International Conference on Artificial Intelligence and Pattern Recognition, 2023

Automatic eBPF program generation method for performance monitoring.

Meizhu Du, Xinfeng Shu

Proceedings of the 6th International Conference on Artificial Intelligence and Pattern Recognition, 2023

Formal verification of eBPF program security based on PTL.

Yang Chen, Xinfeng Shu

Proceedings of the 6th International Conference on Artificial Intelligence and Pattern Recognition, 2023

2022

A JPSL Based Model Checking Approach for Java Programs.

Xinfeng Shu, YanLin Li, Weiran Gao

Proceedings of the Structured Object-Oriented Formal Language and Method, 2022

A Bounded Model Checking Method for Concurrent Systems in xUML4MC.

Xinfeng Shu, Zewei Yang

Proceedings of the 5th International Conference on Artificial Intelligence and Pattern Recognition, 2022

Visual Model Checking Distributed System.

Yiyang Jia, Xinfeng Shu

Proceedings of the 5th International Conference on Artificial Intelligence and Pattern Recognition, 2022

2021

An Efficient and Accurate Mixed Dynamic Data Race Detection Method.

Jiaze Sun, Yanman Yang, Xinfeng Shu

Proceedings of the AIPR 2021: 4th International Conference on Artificial Intelligence and Pattern Recognition, Xiamen, China, September 24, 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

Proceedings of the AIPR 2021: 4th International Conference on Artificial Intelligence and Pattern Recognition, Xiamen, China, September 24, 2021

Analyzing the Behavior of University Students Based on Campus Data.

Xinfeng Shu, Runan Shen, Yongping Liu

Proceedings of the AIPR 2021: 4th International Conference on Artificial Intelligence and Pattern Recognition, Xiamen, China, September 24, 2021

2020

A sound and complete proof system for a unified temporal logic.

Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang

Theor. Comput. Sci., 2020

Efficient decision procedure for propositional projection temporal logic.

Xinfeng Shu, Nan Zhang, Xiaobing Wang, Liang Zhao

Theor. Comput. Sci., 2020

A decision procedure and complete axiomatization for projection temporal logic.

Xinfeng Shu, Zhenhua Duan, Hongwei Du

Theor. Comput. Sci., 2020

An MSVL-Based Modeling Framework for Back Propagation Neural Networks.

Liang Zhao, Zhe Feng, Xiaobing Wang, Xinfeng Shu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

Automatic Generation of Specification from Natural Language Based on Temporal Logic.

Xiaobing Wang, Ge Li, Chunyi Li, Liang Zhao, Xinfeng Shu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

An MSVL Based Model Checking Method for Multi-threaded C Programs.

Xinfeng Shu, Zhenyu Wang, Weiran Gao, Xiaobing Wang, Liang Zhao

Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

2019

Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework.

Xiaobing Wang, Kun Yang, Yanmei Wang, Liang Zhao, Xinfeng Shu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

Model Checking Python Programs with MSVL.

Xinfeng Shu, Fengyun Gao, Weiran Gao, Lili Zhang, Xiaobing Wang, Liang Zhao

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

A Proof System for a Unified Temporal Logic.

Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang

Proceedings of the Computing and Combinatorics - 25th International Conference, 2019

An Efficient Decision Procedure for Propositional Projection Temporal Logic.

Xinfeng Shu, Nan Zhang

Proceedings of the Computing and Combinatorics - 25th International Conference, 2019

2018

Runtime Verification Method for Social Network Security Based on Source Code Instrumentation.

Xiaobing Wang, Wenxuan Guo, Liang Zhao, Xinfeng Shu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

Model Checking Java Programs with MSVL.

Xinfeng Shu, Na Luo, Bo Wang, Xiaobing Wang, Liang Zhao

Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

2017

A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks.

Xiaobing Wang, Liyuan Ren, Liang Zhao, Xinfeng Shu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

Extending UML for Model Checking.

Xinfeng Shu, Mengnan Wang, Xiaobing Wang

Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

2016

A Visual Modeling Language for MSVL.

Xinfeng Shu, Chao Li, Chang Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

Extending MSVL with Semaphore.

Xinfeng Shu, Zhenhua Duan

Proceedings of the Computing and Combinatorics - 22nd International Conference, 2016

2015

Model Checking Process Scheduling over Multi-core Computer System with MSVL.

Xinfeng Shu, Zhenhua Duan

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

2009

A Proof System for Projection Temporal Logic.

Zhenhua Duan, Xinfeng Shu

Proceedings of the Computer and Information Science 2009 [outstanding papers from the 8th ACIS/IEEE International Conference on Computer and Information Science, 2009