Chuchu Fan

Massachusetts Institute of Technology

Assistant Professor

Department of Aeronautics and Astronautics

Which program are you applying for ?

View Bookmark

Research Area

#Computer science#Nonlinear system#Reachability#Bounded function#Hybrid system#Discrepancy function#Algorithm#Theoretical computer science#Control theory#Automaton

SCIE paper information

Papers relevant to ‘Computer science’: 2

Research performance of SCIE papers matching with ‘Computer science’

Citations of SCIE papers SCIE papers 08k16k24k32k40k070140210280350420490560

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features

    2018/01 IEEE DESIGN & TEST OF COMPUTERS 1.798 Impact Factor 15 citations

    Chuchu Fan, Bolun Qi, Sayan Mitra

    DOI : 10.1109/MDAT.2018.2799804

  • Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage

    2015/06 IEEE DESIGN & TEST OF COMPUTERS 1.798 Impact Factor 1 citations

    Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Kwiatkowska

    DOI : 10.1109/MDAT.2015.2448543

How can I correct errors in PhD.GO?


Papers for author ‘Chuchu Fan’: 2

Number of published SCIE papers by year

0123420152018
H-index 1
Number of NCS papers 0

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features

    2018/01 IEEE DESIGN & TEST OF COMPUTERS 1.798 Impact Factor 15 citations

    Chuchu Fan, Bolun Qi, Sayan Mitra

    DOI : 10.1109/MDAT.2018.2799804

  • Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage

    2015/06 IEEE DESIGN & TEST OF COMPUTERS 1.798 Impact Factor 1 citations

    Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Kwiatkowska

    DOI : 10.1109/MDAT.2015.2448543

How can I correct errors in PhD.GO?

conference information

Papers relevant to ‘Computer science’: 6

Research performance of Top-tier Conference matching with ‘Computer science’

Citations of Top-tier Conference Top-tier Conference paper(s) 020k40k60k80k100k0306090120150180210240

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2

    2016/07 CAV Top-tier Conference 71 citations

    Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala

    DOI : 10.1007/978-3-319-41528-4_29

  • DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems

    2017/07 CAV Top-tier Conference 53 citations

    Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan

    DOI : 10.1007/978-3-319-63387-9_22

How can I correct errors in PhD.GO?


Papers for author ‘Chuchu Fan’: 6

Number of published Top-tier Conference by year

01234201420152016201720182020
Top-tier Conference 6

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2

    2016/07 CAV Top-tier Conference 71 citations

    Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala

    DOI : 10.1007/978-3-319-41528-4_29

  • DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems

    2017/07 CAV Top-tier Conference 53 citations

    Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan

    DOI : 10.1007/978-3-319-63387-9_22

How can I correct errors in PhD.GO?