Leifeng He

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 11

Top Topics

Concurrent Systems

Formal Specification

Computation Tree Logic

Top Venues

Comput. Informatics

Publications

Leifeng He, Guanjun Liu, Yantao Sun
PNer: A Petri-Net-Based Model Checker for Computation Tree Logic. ICNSC (2023)
Leifeng He, Guanjun Liu, Mengchu Zhou
Petri-Net-Based Model Checking for Privacy-Critical Multiagent Systems. IEEE Trans. Comput. Soc. Syst. 10 (2) (2023)
Leifeng He, Guanjun Liu
Prioritized Time-Point-Interval Petri Nets Modeling Multiprocessor Real-Time Systems and TCTL$_{x}$. IEEE Trans. Ind. Informatics 19 (8) (2023)
Jian Song, Dongming Xiang, Guanjun Liu, Leifeng He
Guard-Function-Constraint-Based Refinement Method to Generate Dynamic Behaviors of Workflow Net with Table. Comput. Informatics 41 (4) (2022)
Leifeng He, Guanjun Liu
Verifying Computation Tree Logic of Knowledge via Knowledge-Oriented Petri Nets and Ordered Binary Decision Diagrams. Comput. Informatics 40 (5) (2021)
Leifeng He, Guanjun Liu
Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order. TASE (2021)
Leifeng He, Guanjun Liu
Petri Net Based Symbolic Model Checking for Computation Tree Logic of Knowledge. CoRR (2020)
Leifeng He, Guanjun Liu
Petri Nets Based Verification of Epistemic Logic and Its Application on Protocols of Privacy and Security. SERVICES (2020)
Leifeng He, Guanjun Liu
Model Checking CTLK Based on Knowledge-Oriented Petri Nets. HPCC/SmartCity/DSS (2019)
Wangyang Yu, Guanjun Liu, Leifeng He
A Reduction Method of Analyzing Data-Liveness and Data-Boundedness for a Class of E-commerce Business Process Nets. SpaCCS (2016)
Leifeng He, Guanjun Liu, Mimi Wang
A Sufficient and Necessary Condition to Decide Compatibility for Simple Circuit Inter-organization Workflow Nets. APSCC (2016)