CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models. - Sonali Dutta; Moshe Y. Vardi; Deian Tabakov (DIFTS@FMCAD, 2013)

Assertion-based flow monitoring of SystemC models. - Sonali Dutta; Moshe Y. Vardi (MEMOCODE, 2014)

An improved multi-criteria-based feature selection approach for detection of coronary artery disease in machine learning paradigm. - Bikesh Kumar Singh; Sonali Dutta; Poonam Chand; Khilesh Kumar; Sumit Kumar Banchhor (Int. J. Comput. Vis. Robotics, 2023)