Longfei Zhu - Concepedia

Author

Longfei Zhu

Shanghai Key Laboratory of Trustworthy Computing

Also Known As

L. Zhu, Libo Zhu, Longfei Zhu

Publications

150

Citations

H-Index

Concepts

All Affiliations

Shanghai Key Laboratory of Trustworthy Computing East China Normal University

About

Longfei Zhu is an author at Shanghai Key Laboratory of Trustworthy Computing specializing in formal verification, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	79
2	Computer Science	3	3	79
3	Computer Engineering	2	2	67
4	Systems Engineering	2	2	67
5	Data Security	1	1	12

Longfei Zhu

Publications

Citations

H-Index

Page 1

	Year	Citations
Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP Yanhong Huang, Yongxin Zhao, Longfei Zhu, EngineeringSystem ProgrammingVerificationSoftware EngineeringCsp Process	2011	43
Modeling and Verification of CAN Bus with Application Layer using UPPAAL Can Pan, Jian Guo, Longfei Zhu, Electronic Notes in Theoretical Computer Science EngineeringNetwork OperationCan Bus ProtocolVerification Tool UppaalFormal Verification	2014	24
Formal Modeling and Analyzing Kerberos Protocol Qin Li, Fan Yang, Huibiao Zhu, Lightweight Authentication MechanismCsp MethodsCommunication ParticipantsEngineeringAuthentication Authorization	2009	12

Page 1