名前: Huixing Fang
機関: East China Normal University
登記時間: 2013-04-01
スコア: 22
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
Link:
CCF | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
---|---|---|---|---|---|---|---|
a | a* | a1 | FOCS | IEEE Symposium on Foundations of Computer Science | 2025-04-03 | 2025-07-08 | 2025-12-14 |
a | a* | a1 | OOPSLA | Object-Oriented Programming Systems, Languages and Applications | 2025-03-25 | 2025-10-12 | |
b | a | a2 | EMSOFT | International Conference on Embedded Software | 2025-03-23 | 2025-07-13 | 2025-09-28 |
c | c | b3 | TASE | International Symposium on Theoretical Aspects of Software Engineering | 2025-03-01 | 2025-04-01 | 2025-07-14 |
a | a* | a1 | CAV | International Conference on Computer Aided Verification | 2025-01-31 | 2025-04-02 | 2025-07-21 |
c | a | b1 | ICECCS | International Conference on Engineering of Complex Computer Systems | 2025-01-28 | 2025-04-04 | 2025-07-02 |
a | a* | a2 | LICS | IEEE Symposium on Logic in Computer Science | 2025-01-16 | 2025-04-08 | 2025-06-23 |
a | a* | a1 | PLDI | ACM SIGPLAN conference on Programming Language Design and Implementation | 2024-11-14 | 2025-06-16 | |
b | HSCC | International Conference on Hybrid Systems: Computation and Control | 2024-10-31 | 2025-01-23 | 2025-05-06 | ||
b | a2 | FASE | Fundamental Approaches to Software Engineering | 2024-10-10 | 2024-12-20 | 2025-05-03 |
省略名 | 完全な名前 | 提出日 | 会議日 |
---|---|---|---|
FOCS | IEEE Symposium on Foundations of Computer Science | 2025-04-03 | 2025-12-14 |
OOPSLA | Object-Oriented Programming Systems, Languages and Applications | 2025-03-25 | 2025-10-12 |
EMSOFT | International Conference on Embedded Software | 2025-03-23 | 2025-09-28 |
TASE | International Symposium on Theoretical Aspects of Software Engineering | 2025-03-01 | 2025-07-14 |
CAV | International Conference on Computer Aided Verification | 2025-01-31 | 2025-07-21 |
ICECCS | International Conference on Engineering of Complex Computer Systems | 2025-01-28 | 2025-07-02 |
LICS | IEEE Symposium on Logic in Computer Science | 2025-01-16 | 2025-06-23 |
PLDI | ACM SIGPLAN conference on Programming Language Design and Implementation | 2024-11-14 | 2025-06-16 |
HSCC | International Conference on Hybrid Systems: Computation and Control | 2024-10-31 | 2025-05-06 |
FASE | Fundamental Approaches to Software Engineering | 2024-10-10 | 2025-05-03 |
CCF | CORE | QUALIS | 省略名 | 完全な名前 | 会議日 | 場所 |
---|---|---|---|---|---|---|
結果が得られませんでした。 |
完全な名前 | 会議日 | 場所 |
---|---|---|
結果が得られませんでした。 |
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
---|---|---|---|---|
結果が得られませんでした。 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
結果が得られませんでした。 |
名前 | 機関 | 登記時間 | スコア |
---|---|---|---|
結果が得られませんでした。 |
名前 | 機関 | スコア |
---|---|---|
結果が得られませんでした。 |
役職 | 雇用主 | 勤務地 |
---|---|---|
結果が得られませんでした。 |
役職 | 雇用主 | 勤務地 |
---|---|---|
結果が得られませんでした。 |
CCF | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
---|---|---|---|---|---|---|---|
結果が得られませんでした。 |
省略名 | 完全な名前 | 提出日 | 会議日 |
---|---|---|---|
結果が得られませんでした。 |
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
---|---|---|---|---|
結果が得られませんでした。 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
結果が得られませんでした。 |