Información Básica
Nombre: Huixing Fang
Institución: East China Normal University
Registro: 2013-04-01
Puntuación: 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



Conferencias Seguidas
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
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
Conferencias Asistidas
CCFCOREQUALISAbreviaciónNombre CompletoConferenciaUbicación
No se encontraron resultados.
Nombre CompletoConferenciaUbicación
No se encontraron resultados.
Revistas Seguidas
CCFNombre CompletoFactor de ImpactoEditorISSN
No se encontraron resultados.
Nombre CompletoFactor de ImpactoEditor
No se encontraron resultados.
Investigadores Seguidos
NombreInstituciónRegistroPuntuación
No se encontraron resultados.
NombreInstituciónPuntuación
No se encontraron resultados.
Trabajos rastreados
Título profesionalEmpleadoralocación de trabajo
No se encontraron resultados.
Título profesionalEmpleadoralocación de trabajo
No se encontraron resultados.
Conferencias vistas
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
No se encontraron resultados.
AbreviaciónNombre CompletoEntregaConferencia
No se encontraron resultados.
Revistas vistos
CCFNombre CompletoFactor de ImpactoEditorISSN
No se encontraron resultados.
Nombre CompletoFactor de ImpactoEditor
No se encontraron resultados.