Longfei Zhu

According to our database, Longfei Zhu authored at least 17 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Coarse-to-fine feature representation based on deformable partition attention for melanoma identification.

Dong Zhang, Jing Yang, Shaoyi Du, Hongcheng Han, Yuyan Ge, Longfei Zhu, Ce Li, Meifeng Xu, Nanning Zheng

Pattern Recognit., April, 2023

2019

Comparative transcriptomic analysis of the flower induction and development of the Lei bamboo (Phyllostachys violascens).

Yulian Jiao, Qiutao Hu, Yan Zhu, Longfei Zhu, Tengfei Ma, Haiyong Zeng, Qiaolu Zang, Xuan Li, Xinchun Lin

BMC Bioinform., 2019

2018

Maximizing multicast lifetime in unreliable wireless ad hoc network.

Ting Lu, Jie Zhu, Shan Chang, Longfei Zhu

Wirel. Networks, 2018

Transcriptomic Analysis of Flower Development in the Bamboo Phyllostachys violascens (Poaceae: Bambusoideae).

Yulian Jiao, Qiutao Hu, Yan Zhu, Longfei Zhu, Tengfei Ma, Haiyong Zeng, Qiaolu Zang, Xinchun Lin, Xuan Li

Proceedings of the Intelligent Computing Theories and Application, 2018

Assertional Reasoning for Concurrent and Communicating BPEL-like Programs.

Longfei Zhu, Qiwen Xu, Huibiao Zhu

Proceedings of the Communication Papers of the 2018 Federated Conference on Computer Science and Information Systems, 2018

2014

A Formal Model for a Hybrid Programming Language.

Longfei Zhu, Qiwen Xu, Jifeng He, Huibiao Zhu

Proceedings of the Unifying Theories of Programming - 5th International Symposium, 2014

2013

Modeling and Verification of CAN Bus with Application Layer using UPPAAL.

Can Pan, Jian Guo, Longfei Zhu, Jianqi Shi, Huibiao Zhu, Xinyun Zhou

Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013

A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude.

Longfei Zhu, Peng Liu, Jianqi Shi, Zheng Wang, Huibiao Zhu

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Towards a Modeling Language for Cyber-Physical Systems.

Longfei Zhu, Yongxin Zhao, Huibiao Zhu, Qiwen Xu

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System.

Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

A Denotational Model for Instantaneous Signal Calculus.

Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

xBIL - A Hardware Resource Oriented Binary Intermediate Language.

Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification.

Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP.

Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

2010

Testing the validity of the purchasing power parity hypothesis: a study based on the RMB/USD exchange rate.

Chunjiao Yu, Longfei Zhu

Int. J. Netw. Virtual Organisations, 2010

2009

Formal Modeling and Analyzing Kerberos Protocol.

Qin Li, Fan Yang, Huibiao Zhu, Longfei Zhu

Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

2008

A Bigraphical Model of WSBPEL.

Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008