Xinfeng Shu

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