A Systematic Approach of Identifying Optimal Load Control Actions for Arresting Cascading Failures in Power Systems. - Ajay Chhokra; Amogh Kulkarni; Saqib Hasan; Abhishek Dubey; Nagabhushan Mahadevan; Gabor Karsai (SPSR-SG@CPSWeek, 2017)

Diagnostics and prognostics using temporal causal models for cyber physical energy systems. - Ajay Chhokra; Saqib Hasan; Abhishek Dubey; Nagabhushan Mahadevan; Gabor Karsai (ICCPS, 2017)

A simulation testbed for cascade analysis. - Saqib Hasan; Ajay Chhokra; Abhishek Dubey; Nagabhushan Mahadevan; Gabor Karsai; Rishabh Jain; Srdjan M. Lukic (ISGT, 2017)

Vulnerability analysis of power systems based on cyber-attack and defense models. - Saqib Hasan; Amin Ghafouri; Abhishek Dubey; Gabor Karsai; Xenofon D. Koutsoukos (ISGT, 2018)

Improving Resilience in Large Scale Cyber-Physical Networks. - Saqib Hasan (2019)

A Binary Decision Diagram Based Cascade Prognostics Scheme For Power Systems. - Ajay Chhokra; Saqib Hasan; Abhishek Dubey; Gabor Karsai (ACC, 2020)

Computer-Aided Generation of Assurance Cases. - Timothy E. Wang; Chanwook Oh; Matthew Low; Isaac Amundson; Zamira Daw; Alessandro Pinto; Massimiliano L. Chiodo; Guoqiang Wang; Saqib Hasan; Ryan Melville; Pierluigi Nuzzo 002 (SAFECOMP Workshops, 2023)

Zero-trust design and assurance patterns for cyber-physical systems. - Saqib Hasan; Isaac Amundson; David S. Hardin (J. Syst. Archit., 2024)