Leifeng He

11 papers B 1C 1Misc 1Journal 5Unranked 3

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