Login / Signup
Zyad Hassan
Publication Activity (10 Years)
Years Active: 2008-2013
Publications (10 Years): 0
Top Topics
Automated Verification
Linear Temporal Logic
Model Checking
Pspace Complete
Top Venues
CAV
FMCAD
</>
Publications
</>
Zyad Hassan
,
Aaron R. Bradley
,
Fabio Somenzi
Better generalization in IC3.
FMCAD
(2013)
Zyad Hassan
,
Aaron R. Bradley
,
Fabio Somenzi
Incremental, Inductive CTL Model Checking.
CAV
(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)
Zyad Hassan
,
Nicholas Allec
,
Fan Yang
,
Li Shang
,
Robert P. Dick
,
Xuan Zeng
Full-Spectrum Spatial-Temporal Dynamic Thermal Analysis for Nanometer-Scale Integrated Circuits.
IEEE Trans. Very Large Scale Integr. Syst.
19 (12) (2011)
Kun Li
,
Jie Wu
,
Yifei Jiang
,
Zyad Hassan
,
Qin Lv
,
Li Shang
,
Dragan Maksimovic
Large-scale battery system modeling and analysis for emerging electric-drive vehicles.
ISLPED
(2010)
Zyad Hassan
,
Nicholas Allec
,
Li Shang
,
Robert P. Dick
,
V. Venkatraman
,
Ronggui Yang
Multiscale Thermal Analysis for Nanometer-Scale Integrated Circuits.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
28 (6) (2009)
Nicholas Allec
,
Zyad Hassan
,
Li Shang
,
Robert P. Dick
,
Ronggui Yang
ThermalScope: multi-scale thermal analysis for nanometer-scale integrated circuits.
ICCAD
(2008)