Login / Signup
Sonali Dutta
Publication Activity (10 Years)
Years Active: 2013-2023
Publications (10 Years): 1
2025
2016
Top Topics
2025
2016
Coronary Artery Disease
Top Venues
DIFTS@FMCAD
MEMOCODE
Int. J. Comput. Vis. Robotics
</>
Publications
</>
Bikesh Kumar Singh
,
Sonali Dutta
,
Poonam Chand
,
Khilesh Kumar
,
Sumit Kumar Banchhor
An improved multi-criteria-based feature selection approach for detection of coronary artery disease in machine learning paradigm.
Int. J. Comput. Vis. Robotics
13 (5) (2023)
Sonali Dutta
,
Moshe Y. Vardi
Assertion-based flow monitoring of SystemC models.
MEMOCODE
(2014)
Sonali Dutta
,
Moshe Y. Vardi
,
Deian Tabakov
CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models.
DIFTS@FMCAD
(2013)