Yan Zhang

According to our database, Yan Zhang authored at least 9 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Fault Tolerant Stencil Computation on Cloud-Based GPU Spot Instances.

Jun Zhou, Yan Zhang, Weng-Fai Wong

IEEE Trans. Cloud Comput., 2019

2015

Simulation-Guided Parameter Synthesis for Chance-Constrained Optimization of Control Systems.

Yan Zhang, Sriram Sankaranarayanan, Benjamin M. Gyori

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015

Parallelized Parameter Estimation of Biological Pathway Models.

R. Ramanathan, Yan Zhang, Jun Zhou, Benjamin M. Gyori, Weng-Fai Wong, P. S. Thiagarajan

Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

2014

Statistically Sound Verification and Optimization for Complex Systems.

Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi

Proceedings of the Automated Technology for Verification and Analysis, 2014

Sparse statistical model inference for analog circuits under process variations.

Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi

Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

2013

From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits.

Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen, Erika Ábrahám

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

2012

Piecewise linear modeling of nonlinear devices for formal verification of analog circuits.

Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi

Proceedings of the Formal Methods in Computer-Aided Design, 2012

2011

A Study of Sweeping Algorithms in the Context of Model Checking.

Zyad Hassan, Yan Zhang, Fabio Somenzi

Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, 2011

An incremental approach to model checking progress properties.

Aaron R. Bradley, Fabio Somenzi, Zyad Hassan, Yan Zhang

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011