BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × USA
Collaborated with:
S.Mitra M.V.0001 P.S.Duggirala B.Qi M.Viswanathan U.Mathur Z.Huang A.Mereacre M.Z.Kwiatkowska
Talks about:
verif (3) nonlinear (2) hybrid (2) powertrain (1) synthesi (1) reachabl (1) composit (1) challeng (1) automata (1) network (1)

Person: Chuchu Fan

DBLP DBLP: Fan:Chuchu

Contributed to:

CAV 20152015
CAV 20142014
CAV (1) 20162016
CAV (1) 20172017
CAV (1) 20182018

Wrote 5 papers:

CAV-2015-DuggiralaFM0 #challenge #verification
Meeting a Powertrain Verification Challenge (PSD, CF, SM, MV), pp. 536–543.
CAV-2014-HuangFMMK #automaton #hybrid #invariant #network #verification
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells (ZH, CF, AM, SM, MZK), pp. 373–390.
CAV-2016-FanQM0D #analysis #automation #hybrid #modelling #reachability
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2 (CF, BQ, SM, MV0, PSD), pp. 531–538.
CAV-2017-FanQM0 #composition #data-driven #named #reasoning #verification
DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems (CF, BQ, SM, MV0), pp. 441–461.
CAV-2018-FanMM0 #linear #specification #synthesis
Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics (CF, UM, SM, MV0), pp. 347–366.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.