[1]Haifeng Wang, Felix Schmid et al. A Topology-Based Model for Railway Train Control Systems. IEEE Transactions on Intelligent Transportation Systems, Vol.14, No.2, P819-827, 2013.
[2]Haifeng Wang, T.H. Xu et al. Novel Online Safety Observer for Railway Interlocking System. The Journal of Transportation Engineering ASCE, Vol. 139, No.7, P719-727, 2013.
[3]Haifeng Wang, T. Tang, C. Roberts et al. A Novel Framework for Supporting the Design of Moving Block Train Control System Schemes. Journal of Rail and Rapid Transit-Proc IMechE Part F, Vol. 228(7) 784–793,2014.
[4]Haifeng Wang and Ning Zhao. An Integrated Capacity Evaluation Method for CBTC System Equipped Urban Rail Lines. Journal of Rail and Rapid Transit-Proc IMechE Part F, Vol. 229(3) 291–302,2015.
[5]Wang Haifeng and Li Wei, COTS hardware-based safety critical computing platform, Transaction of Beijing Institute of Technology, Vol.28, No.3, P245-247+270, 2008.
[6]Wang Haifeng, A case study on model based functional hazard analysis, Transaction of Beijing Institute of Technology, Vol.30, No.7, P849-853+863, 2010.
[7]Wang Haifeng and Liu Shuo, Modeling Communications Based Train Control System:A Case Study, 2010 2nd International Conference on Industrial Mechatronics and Automation, 2010-12, Page 453-456.
[8]Wang Haifeng and Liang Nan, A software diversity model for embedded safety critical system, IEEE 2009 International Conference on Wireless Networks and Information(WNIS 2009), 2009-12, Page 106-109.
[9]Wang Haifeng and Tang Tao, On Integrating Component into Safety Critical System, IEEE 2009 International Conference on Information Engineering and Computer Science (ICIECS2009), 2009-11, Page 4-9.
國際會議:
[1]3rd UIC-Asia Workshop on Control Command and Signalling, TOKYO, October 2014.
[2]The 6th IET Conference on Railway Condition Monitoring (RCM), Sept. 2014.
[3]Invited Speaker, China-Deutschen Symposium “Verification on Probabilistic and hybrid System“, Sept. 2013.
[4]Session Chair, 2013 IEEE International Conference on Intelligent Rail Transportation (IEEE ICIRT 2013), Aug. 30 to Sept. 1 2013.
[5]軌道交通系統安全論壇.2010年4月.
[6]8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems , Braunschweig German, Dec. 2010
[7]Invited Speaker, Synopsis of Chinese-German-Symposium 2010: Formal Methods for Railway Operation and System RAMS Assurance,Braunschweig German, Nov. 2010
[8]COMPRAIL 2010 : 12th International Conference on Computer System Design and Operation in the Railway and other Transit Systems, Beijing China, AUG. 31- SEP.2, 2010.
[9]Invited Speaker , The 2nd UIC-Asia Workshop on Control Command and Signalling, Chengdu China, Nov. 2009. 著作譯著