基本情報
名前: 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
結果が得られませんでした。
完全な名前インパクト ・ ファクター出版社
結果が得られませんでした。