Longfei Zhu

According to our database1, Longfei Zhu authored at least 15 papers between 2008 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Maximizing multicast lifetime in unreliable wireless ad hoc network.
Wireless Networks, 2018

Transcriptomic Analysis of Flower Development in the Bamboo Phyllostachys violascens (Poaceae: Bambusoideae).
Proceedings of the Intelligent Computing Theories and Application, 2018

Assertional Reasoning for Concurrent and Communicating BPEL-like Programs.
Proceedings of the Communication Papers of the 2018 Federated Conference on Computer Science and Information Systems, 2018

2014
Modeling and Verification of CAN Bus with Application Layer using UPPAAL.
Electr. Notes Theor. Comput. Sci., 2014

A Formal Model for a Hybrid Programming Language.
Proceedings of the Unifying Theories of Programming - 5th International Symposium, 2014

2013
A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Towards a Modeling Language for Cyber-Physical Systems.
Proceedings of the Theories of Programming and Formal Methods, 2013

2012
Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

A Denotational Model for Instantaneous Signal Calculus.
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

xBIL - A Hardware Resource Oriented Binary Intermediate Language.
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.
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.
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.
IJNVO, 2010

2009
Formal Modeling and Analyzing Kerberos Protocol.
Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

2008
A Bigraphical Model of WSBPEL.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008


  Loading...