Basic Information
Name: Huixing Fang
Institution: East China Normal University
Registration: 2013-04-01
Score: 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



Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ba2FASEFundamental Approaches to Software Engineering2021-10-142021-12-232022-04-02
aa1TACASInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems2021-10-142021-12-232022-04-02
cab1ICECCSInternational Conference on Engineering of Complex Computer Systems2021-10-012021-12-202022-03-26
aa*a1ICSEInternational Conference on Software Engineering2021-08-272021-11-102022-05-21
aa*a1POPLACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages2021-07-082021-09-292022-01-16
aa*a1FOCSIEEE Symposium on Foundations of Computer Science2021-06-032021-08-312022-01-01
bb1FMInternational Symposium on Formal Methods2021-04-302021-07-162021-11-20
baa2CONCURInternational Conference on Concurrency Theory2021-04-232021-06-232021-08-23
aa*a1OOPSLAObject-Oriented Programming Systems, Languages and Applications2021-04-162021-06-022021-10-17
aaa1ASEInternational Conference on Automated Software Engineering2021-04-162021-07-072021-11-15
Attend Conferences
CCFCOREQUALISShortFull NameConferenceLocation
No results found.
Full NameConferenceLocation
No results found.
Tracked Journals
CCFFull NameImpact FactorPublisherISSN
No results found.
Full NameImpact FactorPublisher
No results found.
Followed Researchers
NameInstitutionRegistrationScore
No results found.
NameInstitutionScore
No results found.
Tracked Jobs
Job TitleEmployerJob Location
No results found.
Job TitleEmployerJob Location
No results found.
Viewed Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
No results found.
ShortFull NameSubmissionConference
No results found.
Viewed Journals
CCFFull NameImpact FactorPublisherISSN
No results found.
Full NameImpact FactorPublisher
No results found.