![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Xinfeng Shu
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c24]Yang Chen
, Xinfeng Shu
:
Formal verification of eBPF program security based on PTL. AIPR 2023: 1225-1230 - [c23]Ye Tian
, Xinfeng Shu
:
Formal Verifying Kernel Abstract Layer of HarmonyOS with Projection Temporal Logic. AIPR 2023: 1231-1236 - [c22]Meizhu Du
, Xinfeng Shu
:
Automatic eBPF program generation method for performance monitoring. AIPR 2023: 1255-1261 - [c21]Kun Guo
, Xinfeng Shu
:
Chinese Named Entity Recognition of Military Weapons Based on TaCL-BiLSTM-CRF. AIPR 2023: 1342-1347 - 2022
- [c20]Xinfeng Shu
, Zewei Yang
:
A Bounded Model Checking Method for Concurrent Systems in xUML4MC. AIPR 2022: 236-242 - [c19]Yiyang Jia
, Xinfeng Shu
:
Visual Model Checking Distributed System. AIPR 2022: 285-291 - [c18]Xinfeng Shu, YanLin Li, Weiran Gao:
A JPSL Based Model Checking Approach for Java Programs. SOFL+MSVL 2022: 30-49 - 2021
- [c17]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: 273-279 - [c16]Jiaze Sun, Yanman Yang, Xinfeng Shu:
An Efficient and Accurate Mixed Dynamic Data Race Detection Method. AIPR 2021: 531-535 - [c15]Xinfeng Shu, Runan Shen, Yongping Liu:
Analyzing the Behavior of University Students Based on Campus Data. AIPR 2021: 542-547 - 2020
- [j3]Xinfeng Shu, Zhenhua Duan
, Hongwei Du:
A decision procedure and complete axiomatization for projection temporal logic. Theor. Comput. Sci. 819: 50-84 (2020) - [j2]Xinfeng Shu, Nan Zhang, Xiaobing Wang, Liang Zhao:
Efficient decision procedure for propositional projection temporal logic. Theor. Comput. Sci. 838: 1-16 (2020) - [j1]Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang:
A sound and complete proof system for a unified temporal logic. Theor. Comput. Sci. 838: 25-44 (2020) - [c14]Liang Zhao, Zhe Feng, Xiaobing Wang, Xinfeng Shu:
An MSVL-Based Modeling Framework for Back Propagation Neural Networks. SOFL+MSVL 2020: 3-22 - [c13]Xinfeng Shu, Zhenyu Wang, Weiran Gao, Xiaobing Wang, Liang Zhao:
An MSVL Based Model Checking Method for Multi-threaded C Programs. SOFL+MSVL 2020: 88-101 - [c12]Xiaobing Wang, Ge Li, Chunyi Li, Liang Zhao, Xinfeng Shu:
Automatic Generation of Specification from Natural Language Based on Temporal Logic. SOFL+MSVL 2020: 154-171
2010 – 2019
- 2019
- [c11]Xinfeng Shu, Nan Zhang:
An Efficient Decision Procedure for Propositional Projection Temporal Logic. COCOON 2019: 503-515 - [c10]Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang:
A Proof System for a Unified Temporal Logic. COCOON 2019: 663-676 - [c9]Xiaobing Wang, Kun Yang, Yanmei Wang, Liang Zhao, Xinfeng Shu:
Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework. SOFL+MSVL 2019: 73-87 - [c8]Xinfeng Shu, Fengyun Gao, Weiran Gao, Lili Zhang, Xiaobing Wang, Liang Zhao:
Model Checking Python Programs with MSVL. SOFL+MSVL 2019: 205-224 - 2018
- [c7]Xiaobing Wang, Wenxuan Guo, Liang Zhao, Xinfeng Shu:
Runtime Verification Method for Social Network Security Based on Source Code Instrumentation. SOFL+MSVL 2018: 55-70 - [c6]Xinfeng Shu, Na Luo, Bo Wang, Xiaobing Wang, Liang Zhao:
Model Checking Java Programs with MSVL. SOFL+MSVL 2018: 89-107 - 2017
- [c5]Xinfeng Shu, Mengnan Wang, Xiaobing Wang:
Extending UML for Model Checking. SOFL+MSVL 2017: 88-107 - [c4]Xiaobing Wang, Liyuan Ren, Liang Zhao, Xinfeng Shu:
A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks. SOFL+MSVL 2017: 133-147 - 2016
- [c3]Xinfeng Shu, Zhenhua Duan:
Extending MSVL with Semaphore. COCOON 2016: 599-610 - [c2]Xinfeng Shu, Chao Li, Chang Liu:
A Visual Modeling Language for MSVL. SOFL+MSVL 2016: 220-237 - 2015
- [c1]Xinfeng Shu, Zhenhua Duan:
Model Checking Process Scheduling over Multi-core Computer System with MSVL. SOFL+MSVL 2015: 103-117
2000 – 2009
- 2009
- [p1]Zhenhua Duan, Xinfeng Shu:
A Proof System for Projection Temporal Logic. Computer and Information Science 2009: 273-283
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-05 21:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint