Leifeng He

According to our database, Leifeng He authored at least 11 papers between 2016 and 2023.

Collaborative distances:

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

2023

Prioritized Time-Point-Interval Petri Nets Modeling Multiprocessor Real-Time Systems and TCTL$_{x}$.

Leifeng He, Guanjun Liu

IEEE Trans. Ind. Informatics, August, 2023

Petri-Net-Based Model Checking for Privacy-Critical Multiagent Systems.

Leifeng He, Guanjun Liu, Mengchu Zhou

IEEE Trans. Comput. Soc. Syst., April, 2023

PNer: A Petri-Net-Based Model Checker for Computation Tree Logic.

Leifeng He, Guanjun Liu, Yantao Sun

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2023

2022

Guard-Function-Constraint-Based Refinement Method to Generate Dynamic Behaviors of Workflow Net with Table.

Jian Song, Dongming Xiang, Guanjun Liu, Leifeng He

Comput. Informatics, 2022

2021

Verifying Computation Tree Logic of Knowledge via Knowledge-Oriented Petri Nets and Ordered Binary Decision Diagrams.

Leifeng He, Guanjun Liu

Comput. Informatics, 2021

Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order.

Leifeng He, Guanjun Liu

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

2020

Petri Net Based Symbolic Model Checking for Computation Tree Logic of Knowledge.

Leifeng He, Guanjun Liu

CoRR, 2020

Petri Nets Based Verification of Epistemic Logic and Its Application on Protocols of Privacy and Security.

Leifeng He, Guanjun Liu

Proceedings of the 2020 IEEE World Congress on Services, 2020

2019

Model Checking CTLK Based on Knowledge-Oriented Petri Nets.

Leifeng He, Guanjun Liu

Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

2016

A Reduction Method of Analyzing Data-Liveness and Data-Boundedness for a Class of E-commerce Business Process Nets.

Wangyang Yu, Guanjun Liu, Leifeng He

Proceedings of the Security, Privacy, and Anonymity in Computation, Communication, and Storage, 2016

A Sufficient and Necessary Condition to Decide Compatibility for Simple Circuit Inter-organization Workflow Nets.

Leifeng He, Guanjun Liu, Mimi Wang

Proceedings of the Advances in Services Computing, 2016