Sonali Dutta

According to our database, Sonali Dutta authored at least 3 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

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

2014

Assertion-based flow monitoring of SystemC models.

Sonali Dutta, Moshe Y. Vardi

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

2013

CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models.

Sonali Dutta, Moshe Y. Vardi, Deian Tabakov

Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, 2013