基本信息
姓名: Huixing Fang
科研机构: East China Normal University
注册时间: 2013-04-01
活跃度: 22
CV

Huixing Fang

  • Email: fang.huixing at gmail.com

Present:

  • Student at East China Normal University, September 2010 - Present

Previous:

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:

    MS, Model Checking, CS 2010 - 2013 (expected)

  • Yunnan University:

    BC, Computer Science 2002 - 2006


Publications:

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

  • 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



关注的会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
aaa1ASEInternational Conference on Automated Software Engineering2024-05-312024-07-252024-10-27
baa2CONCURInternational Conference on Concurrency Theory2024-04-262024-06-212024-09-09
baa1ECOOPEuropean Conference on Object-Oriented Programming2024-04-172024-06-112024-09-16
ab1FMInternational Symposium on Formal Methods2024-04-052024-06-032024-09-09
aa*a1FOCSIEEE Symposium on Foundations of Computer Science2024-04-042024-07-012024-10-27
baa2EMSOFTInternational Conference on Embedded Software 2024-03-242024-07-142024-09-29
aa*a1CAVInternational Conference on Computer Aided Verification2024-01-192024-03-262024-07-22
cab1ICECCSInternational Conference on Engineering of Complex Computer Systems2023-12-082024-03-152024-06-19
aa*a2LICSIEEE Symposium on Logic in Computer Science  2025-06-23
参加的会议
CCFCOREQUALIS简称全称会议日期会议地点
没有找到数据.
全称会议日期会议地点
没有找到数据.
关注的期刊
CCF全称影响因子出版商ISSN
没有找到数据.
全称影响因子出版商
没有找到数据.
关注的科研人员
姓名科研机构注册时间活跃度
没有找到数据.
姓名科研机构活跃度
没有找到数据.
关注的职位
职位名称雇主职位地点
没有找到数据.
职位名称雇主职位地点
没有找到数据.
浏览的会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
没有找到数据.
简称全称截稿日期会议日期
没有找到数据.
浏览的期刊
CCF全称影响因子出版商ISSN
没有找到数据.
全称影响因子出版商
没有找到数据.