An incremental approach to model checking progress properties. - Aaron R. Bradley; Fabio Somenzi; Zyad Hassan; Yan Zhang 027 (FMCAD, 2011)

A Study of Sweeping Algorithms in the Context of Model Checking. - Zyad Hassan; Yan Zhang 027; Fabio Somenzi (DIFTS@FMCAD, 2011)

Piecewise linear modeling of nonlinear devices for formal verification of analog circuits. - Yan Zhang 027; Sriram Sankaranarayanan 001; Fabio Somenzi (FMCAD, 2012)

From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits. - Yan Zhang 027; Sriram Sankaranarayanan 001; Fabio Somenzi; Xin Chen 002; Erika Ábrahám (ICCAD, 2013)

Sparse statistical model inference for analog circuits under process variations. - Yan Zhang 027; Sriram Sankaranarayanan 001; Fabio Somenzi (ASP-DAC, 2014)

Statistically Sound Verification and Optimization for Complex Systems. - Yan Zhang 027; Sriram Sankaranarayanan 001; Fabio Somenzi (ATVA, 2014)

Parallelized Parameter Estimation of Biological Pathway Models. - R. Ramanathan 002; Yan Zhang 027; Jun Zhou 014; Benjamin M. Gyori; Weng-Fai Wong; P. S. Thiagarajan (HSB, 2015)

Simulation-Guided Parameter Synthesis for Chance-Constrained Optimization of Control Systems. - Yan Zhang 027; Sriram Sankaranarayanan 001; Benjamin M. Gyori (ICCAD, 2015)

Fault Tolerant Stencil Computation on Cloud-Based GPU Spot Instances. - Jun Zhou 014; Yan Zhang 027; Weng-Fai Wong (IEEE Trans. Cloud Comput., 2019)