Longfei Zhu

19 papers B 2Misc 5Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
DRFRNet: a dual-resolution network with feature rectification for real-time semantic segmentation.
Vis. Comput.
Haifeng Sima, Longfei Zhu, Jianlong Wang, Fukai Zhang, Zhanqiang Huo
2025 J jnl
Negative-Definite Domain Approach for Nonlinear Dynamic Output Feedback Stabilization With DOA Estimation.
IEEE Trans. Autom. Control.
Yongqiang Li, Longfei Zhu, Chaolun Lu, Yu Feng, Zhongsheng Hou, Yuanjing Feng
2023 J jnl
Coarse-to-fine feature representation based on deformable partition attention for melanoma identification.
Pattern Recognit.
Dong Zhang, Jing Yang, Shaoyi Du, Hongcheng Han, Yuyan Ge, Longfei Zhu, Ce Li, Meifeng Xu, Nanning Zheng
2019 J jnl
Comparative transcriptomic analysis of the flower induction and development of the Lei bamboo (Phyllostachys violascens).
BMC Bioinform.
Yulian Jiao, Qiutao Hu, Yan Zhu, Longfei Zhu, Tengfei Ma, Haiyong Zeng, Qiaolu Zang, Xuan Li, Xinchun Lin
2018 — conf
Assertional Reasoning for Concurrent and Communicating BPEL-like Programs.
FedCSIS (Communication Papers)
Longfei Zhu, Qiwen Xu, Huibiao Zhu
2018 J jnl
Maximizing multicast lifetime in unreliable wireless ad hoc network.
Wirel. Networks
Ting Lu, Jie Zhu, Shan Chang, Longfei Zhu
2018 — conf
Transcriptomic Analysis of Flower Development in the Bamboo Phyllostachys violascens (Poaceae: Bambusoideae).
ICIC (1)
Yulian Jiao, Qiutao Hu, Yan Zhu, Longfei Zhu, Tengfei Ma, Haiyong Zeng, Qiaolu Zang, Xinchun Lin, Xuan Li
2014 — conf
A Formal Model for a Hybrid Programming Language.
UTP
Longfei Zhu, Qiwen Xu, Jifeng He, Huibiao Zhu
2013 Misc conf
A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude.
TASE
Longfei Zhu, Peng Liu, Jianqi Shi, Zheng Wang, Huibiao Zhu
2013 — conf
Modeling and Verification of CAN Bus with Application Layer using UPPAAL.
TTSS
Can Pan, Jian Guo, Longfei Zhu, Jianqi Shi, Huibiao Zhu, Xinyun Zhou
2013 — conf
Towards a Modeling Language for Cyber-Physical Systems.
Theories of Programming and Formal Methods
Longfei Zhu, Yongxin Zhao, Huibiao Zhu, Qiwen Xu
2012 B conf
A Denotational Model for Instantaneous Signal Calculus.
SEFM
Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He
2012 Misc conf
Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System.
TASE
Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye
2012 B conf
xBIL - A Hardware Resource Oriented Binary Intermediate Language.
ICECCS
Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye
2011 Misc conf
Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification.
TASE
Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu
2011 Misc conf
Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP.
TASE
Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi
2010 J jnl
Testing the validity of the purchasing power parity hypothesis: a study based on the RMB/USD exchange rate.
Int. J. Netw. Virtual Organisations
Chunjiao Yu, Longfei Zhu
2009 — conf
Formal Modeling and Analyzing Kerberos Protocol.
CSIE (7)
Qin Li, Fan Yang, Huibiao Zhu, Longfei Zhu
2008 Misc conf
A Bigraphical Model of WSBPEL.
TASE
Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu