Longfei Zhu

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 5

Top Topics

Denotational Semantics

Programming Language

Top Venues

Theories of Programming and Formal Methods

Pattern Recognit.

Publications

Dong Zhang, Jing Yang, Shaoyi Du, Hongcheng Han, Yuyan Ge, Longfei Zhu, Ce Li, Meifeng Xu, Nanning Zheng
Coarse-to-fine feature representation based on deformable partition attention for melanoma identification. Pattern Recognit. 136 (2023)
Yulian Jiao, Qiutao Hu, Yan Zhu, Longfei Zhu, Tengfei Ma, Haiyong Zeng, Qiaolu Zang, Xuan Li, Xinchun Lin
Comparative transcriptomic analysis of the flower induction and development of the Lei bamboo (Phyllostachys violascens). BMC Bioinform. (25) (2019)
Yulian Jiao, Qiutao Hu, Yan Zhu, Longfei Zhu, Tengfei Ma, Haiyong Zeng, Qiaolu Zang, Xinchun Lin, Xuan Li
Transcriptomic Analysis of Flower Development in the Bamboo Phyllostachys violascens (Poaceae: Bambusoideae). ICIC (1) (2018)
Ting Lu, Jie Zhu, Shan Chang, Longfei Zhu
Maximizing multicast lifetime in unreliable wireless ad hoc network. Wirel. Networks 24 (4) (2018)
Longfei Zhu, Qiwen Xu, Huibiao Zhu
Assertional Reasoning for Concurrent and Communicating BPEL-like Programs. FedCSIS (Communication Papers) (2018)
Longfei Zhu, Qiwen Xu, Jifeng He, Huibiao Zhu
A Formal Model for a Hybrid Programming Language. UTP (2014)
Can Pan, Jian Guo, Longfei Zhu, Jianqi Shi, Huibiao Zhu, Xinyun Zhou
Modeling and Verification of CAN Bus with Application Layer using UPPAAL. Electron. Notes Theor. Comput. Sci. 309 (2014)
Longfei Zhu, Yongxin Zhao, Huibiao Zhu, Qiwen Xu
Towards a Modeling Language for Cyber-Physical Systems. Theories of Programming and Formal Methods (2013)
Longfei Zhu, Peng Liu, Jianqi Shi, Zheng Wang, Huibiao Zhu
A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude. TASE (2013)
Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye
Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System. TASE (2012)
Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye
xBIL - A Hardware Resource Oriented Binary Intermediate Language. ICECCS (2012)
Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He
A Denotational Model for Instantaneous Signal Calculus. SEFM (2012)
Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu
Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. TASE (2011)
Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi
Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. TASE (2011)
Chunjiao Yu, Longfei Zhu
Testing the validity of the purchasing power parity hypothesis: a study based on the RMB/USD exchange rate. Int. J. Netw. Virtual Organisations 7 (4) (2010)
Qin Li, Fan Yang, Huibiao Zhu, Longfei Zhu
Formal Modeling and Analyzing Kerberos Protocol. CSIE (7) (2009)
Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu
A Bigraphical Model of WSBPEL. TASE (2008)