Hybrid

Formal methods

Huixing Fang

  • Email: fanghuixing@hotmail.com

Present:

  • Lecturer at Huangshan University, since March 2019.
  • He was a Ph.D student in Software Engineering Institute, East China Normal University, Shanghai, China. His interests range from programming languages, machine learning to program analysis and the formal verification and simulation on hybrid systems. Before the Ph.D study in ECNU, he was a developer of the ATM (Automatic Teller Machine) software for various Chinese banks.

Previous:

Lecturer at Yangzhou University, From September 2017 to February 2019

Assistant Researcher (Temporary)

National Trusted Embedded Software Engineering Technology Research Center, Software Engineering Institute, East China Normal University, May 2016 – July 2017

Java Software Engineer

AOLC, November 2015 – April 2016

  • WEB APP DEV

Software Engineer

Shanghai NANTIAN Computer System Co.,Ltd, July 2006 - June 2009 (3 years) Shanghai,China

  • Developed monitoring software of ATM for Zhejiang Branch of Agricultural Bank of China. Requirements Analysis. Business logic module development. Java, Struts2, Jsp, Html, Ajax, JQuery, Birt, JDBC.

  • Developed ATM software for Zhejiang Branch of Agricultural Bank of China. User interface. Scripts for running steps. Manual Tests. Html, Javascript, Java.

  • Developed ATM software for Bank of Nanchang. Participated in technology selection and prototype development. Html, Javascript, Java, Jsp, Spring.

Education:

  • East China Normal University:

    Software Engineering, Formal Methods, PhD 2010 - 2016

  • Yunnan University:

    BC, Computer Science 2002 - 2006

Publications:

  • Zuxi Chen ; Huixing Fang ; Xiangyu Luo: Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata. TASE, pp. 93~98. July 2019. PDF

  • Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang, Shengchao Qin: Comparative modelling and verification of Pthreads and Dthreads. Journal of Software : Evolution and Process. 33 pages. November 2017 View

  • Huixing Fang, Huibiao Zhu, Jifeng He: SMT-Based Symbolic Encoding and Formal Analysis of HML Models. MONET 21(1): 35-52 (2016) PDF

  • Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang: Comparative Modeling and Verification of Pthreads and Dthreads. HASE 2016: 132-140

  • Huixing Fang, Huibiao Zhu, Jianqi Shi: An Object-Oriented Language for Modeling of Hybrid Systems. HASE 2015: 1-9 PDF

  • Haixing Yan, Huixing Fang, Christian Kuka, Huibiao Zhu: Verification for OAuth Using ASLan++. HASE 2015: 76-84

  • Alexandre David, Huixing Fang, Kim Guldstrand Larsen, Zhengkui Zhang: Verification and Performance Evaluation of Timed Game Strategies. FORMATS 2014: 100-114

  • Huixing Fang, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen, Alexandre David: Formal Verification and Simulation for Platform Screen Doors and Collision Avoidance in Subway Control Systems. International Journal on Software Tools for Technology Transfer (STTT), Springer Berlin Heidelberg, 2014 PDF (DOI:10.1007/s10009-014-0318-1)

  • Huixing Fang, Jian Guo, Huibiao Zhu, Jianqi Shi: Formal Verification and Simulation: Co-verification for Subway Control Systems. TASE 2012: 145-152 PDF

  • Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye: Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System. TASE 2012: 223-226

  • Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye: xBIL - A Hardware Resource Oriented Binary Intermediate Language. ICECCS 2012: 211-219

  • Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang: ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. ICECCS 2012: 293-301.

Teaching:

PhD Thesis Template for ECNU; dblp; linkedin; PSTricks; tikz; Hui Culture; MAP24; geogebra; apricot; zdic; game; Teaching; Cover Search; Detexify; Movie.