Xinfeng Shu

Orcid: 0000-0002-7293-4510

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Formal Verifying Kernel Abstract Layer of HarmonyOS with Projection Temporal Logic.
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.
Proceedings of the 6th International Conference on Artificial Intelligence and Pattern Recognition, 2023

Automatic eBPF program generation method for performance monitoring.
Proceedings of the 6th International Conference on Artificial Intelligence and Pattern Recognition, 2023

Formal verification of eBPF program security based on PTL.
Proceedings of the 6th International Conference on Artificial Intelligence and Pattern Recognition, 2023

2022
A JPSL Based Model Checking Approach for Java Programs.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2022

A Bounded Model Checking Method for Concurrent Systems in xUML4MC.
Proceedings of the 5th International Conference on Artificial Intelligence and Pattern Recognition, 2022

Visual Model Checking Distributed System.
Proceedings of the 5th International Conference on Artificial Intelligence and Pattern Recognition, 2022

2021
An Efficient and Accurate Mixed Dynamic Data Race Detection Method.
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.
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.
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.
Theor. Comput. Sci., 2020

Efficient decision procedure for propositional projection temporal logic.
Theor. Comput. Sci., 2020

A decision procedure and complete axiomatization for projection temporal logic.
Theor. Comput. Sci., 2020

An MSVL-Based Modeling Framework for Back Propagation Neural Networks.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

Automatic Generation of Specification from Natural Language Based on Temporal Logic.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

An MSVL Based Model Checking Method for Multi-threaded C Programs.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

2019
Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

Model Checking Python Programs with MSVL.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

A Proof System for a Unified Temporal Logic.
Proceedings of the Computing and Combinatorics - 25th International Conference, 2019

An Efficient Decision Procedure for Propositional Projection Temporal Logic.
Proceedings of the Computing and Combinatorics - 25th International Conference, 2019

2018
Runtime Verification Method for Social Network Security Based on Source Code Instrumentation.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

Model Checking Java Programs with MSVL.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

2017
A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

Extending UML for Model Checking.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

2016
A Visual Modeling Language for MSVL.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

Extending MSVL with Semaphore.
Proceedings of the Computing and Combinatorics - 22nd International Conference, 2016

2015
Model Checking Process Scheduling over Multi-core Computer System with MSVL.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

2009
A Proof System for Projection Temporal Logic.
Proceedings of the Computer and Information Science 2009 [outstanding papers from the 8th ACIS/IEEE International Conference on Computer and Information Science, 2009


  Loading...