Yan Zhang

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 1

Top Topics

Chance Constraints

Complex Systems

Statistical Model

Analog Circuits

Top Venues

Publications

Yan Zhang, Sriram Sankaranarayanan, Benjamin M. Gyori
Simulation-Guided Parameter Synthesis for Chance-Constrained Optimization of Control Systems. ICCAD (2015)
Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi
Sparse statistical model inference for analog circuits under process variations. ASP-DAC (2014)
Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi
Statistically Sound Verification and Optimization for Complex Systems. ATVA (2014)
Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen, Erika Ábrahám
From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits. ICCAD (2013)
Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi
Piecewise linear modeling of nonlinear devices for formal verification of analog circuits. FMCAD (2012)
Aaron R. Bradley, Fabio Somenzi, Zyad Hassan, Yan Zhang
An incremental approach to model checking progress properties. FMCAD (2011)
Zyad Hassan, Yan Zhang, Fabio Somenzi
A Study of Sweeping Algorithms in the Context of Model Checking. DIFTS@FMCAD (2011)