| Better generalization in IC3 Z Hassan, AR Bradley, F Somenzi 2013 Formal Methods in Computer-Aided Design, 157-164, 2013 | 77 | 2013 |
| An incremental approach to model checking progress properties AR Bradley, F Somenzi, Z Hassan, Y Zhang 2011 Formal Methods in Computer-Aided Design (FMCAD), 144-153, 2011 | 71 | 2011 |
| Incremental, inductive CTL model checking Z Hassan, AR Bradley, F Somenzi International Conference on Computer Aided Verification, 532-547, 2012 | 57 | 2012 |
| ThermalScope: Multi-scale thermal analysis for nanometer-scale integrated circuits N Allec, Z Hassan, L Shang, RP Dick, R Yang 2008 IEEE/ACM International Conference on Computer-Aided Design, 603-610, 2008 | 51 | 2008 |
| Multiscale thermal analysis for nanometer-scale integrated circuits Z Hassan, N Allec, L Shang, RP Dick, V Venkatraman, R Yang IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2009 | 41 | 2009 |
| Large-scale battery system modeling and analysis for emerging electric-drive vehicles K Li, J Wu, Y Jiang, Z Hassan, Q Lv, L Shang, D Maksimovic Proceedings of the 16th ACM/IEEE international symposium on Low power …, 2010 | 24 | 2010 |
| Full-spectrum spatial–temporal dynamic thermal analysis for nanometer-scale integrated circuits Z Hassan, N Allec, F Yang, L Shang, RP Dick, X Zeng IEEE Transactions on Very Large Scale Integration (VLSI) Systems 19 (12 …, 2010 | 21 | 2010 |
| A Study of Sweeping Algorithms in the Context of Model Checking. Z Hassan, Y Zhang, F Somenzi DIFTS@ FMCAD, 2011 | 7 | 2011 |
| Thermal analysis for nanometer-scale integrated circuits Z Hassan UNIVERSITY OF COLORADO AT BOULDER, 2009 | 1 | 2009 |
| Incremental, Inductive Model Checking Z Hassan University of Colorado at Boulder, 2014 | | 2014 |
