Fan Zhang

According to our database, Fan Zhang authored at least 8 papers between 2005 and 2012.

Collaborative distances:

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

2012

Study of Safety Analysis and Assessment Methodology for AADL Model.

Deming Song, Yunwei Dong, Fan Zhang, Hong Huo, Bin Gu

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

On Reliability Analysis for Embedded Systems with AADL Behavior Model.

Shaofeng Chang, Yunwei Dong, Fan Zhang

Proceedings of the 2012 12th International Conference on Quality Software, 2012

Formal Semantics of AADL Models with Machine-Readable CSP.

Chunxin Yang, Yunwei Dong, Fan Zhang, Ehsan Ahmad, Bin Gu

Proceedings of the 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, Shanghai, China, May 30, 2012

2011

A Methodology of Model-Based Testing for AADL Flow Latency in CPS.

Yufeng Zhu, Yunwei Dong, Chunyan Ma, Fan Zhang

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Research on Modeling and Analysis of CPS.

Yu Zhang, Yunwei Dong, Fan Zhang, Yunfeng Zhang

Proceedings of the Autonomic and Trusted Computing - 8th International Conference, 2011

2009

Consider of fault propagation in architecture-based software reliability analysis.

Fan Zhang, Xingshe Zhou, Yunwei Dong, Junwen Chen

Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2008

A Novel Model for Component-Based Software Reliability Analysis.

Fan Zhang, Xingshe Zhou, Junwen Chen, Yunwei Dong

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

2005

An Improved DRR Packet Scheduling Algorithm Based on Even Service Sequence.

Fan Zhang, Shoumeng Yan, Xingshe Zhou, Yaping Wang

Proceedings of the Embedded Software and Systems, Second International Conference, 2005