Zyad Hassan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2008–2013
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | FMCAD | Better generalization in IC3. | Zyad Hassan, Aaron R. Bradley, Fabio Somenzi |
| 2012 | CAV | Incremental, Inductive CTL Model Checking. | Zyad Hassan, Aaron R. Bradley, Fabio Somenzi |
| 2011 | FMCAD | An incremental approach to model checking progress properties. | Aaron R. Bradley, Fabio Somenzi, Zyad Hassan, Yan Zhang |
| 2011 | FMCAD | A Study of Sweeping Algorithms in the Context of Model Checking. | Zyad Hassan, Yan Zhang, Fabio Somenzi |
| 2010 | ISLPED | 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 |
| 2008 | ICCAD | ThermalScope: multi-scale thermal analysis for nanometer-scale integrated circuits. | Nicholas Allec, Zyad Hassan, Li Shang, Robert P. Dick, Ronggui Yang |