Zyad Hassan

According to our database, Zyad Hassan authored at least 8 papers between 2008 and 2013.

Collaborative distances:

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

2013

Better generalization in IC3.

Zyad Hassan, Aaron R. Bradley, Fabio Somenzi

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

2012

Incremental, Inductive CTL Model Checking.

Zyad Hassan, Aaron R. Bradley, Fabio Somenzi

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Full-Spectrum Spatial-Temporal Dynamic Thermal Analysis for Nanometer-Scale Integrated Circuits.

Zyad Hassan, Nicholas Allec, Fan Yang, Li Shang, Robert P. Dick, Xuan Zeng

IEEE Trans. Very Large Scale Integr. Syst., 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

2010

Large-scale battery system modeling and analysis for emerging electric-drive vehicles.

Kun Li, Jie Wu, Yifei Jiang, Zyad Hassan, Qin Lv, Li Shang, Dragan Maksimovic

Proceedings of the 2010 International Symposium on Low Power Electronics and Design, 2010

2009

Multiscale Thermal Analysis for Nanometer-Scale Integrated Circuits.

Zyad Hassan, Nicholas Allec, Li Shang, Robert P. Dick, V. Venkatraman, Ronggui Yang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

2008

ThermalScope: multi-scale thermal analysis for nanometer-scale integrated circuits.

Nicholas Allec, Zyad Hassan, Li Shang, Robert P. Dick, Ronggui Yang

Proceedings of the 2008 International Conference on Computer-Aided Design, 2008