Failure Estimation of Behavioral Specifications. - Debasmita Lohar; Anudeep Dunaboyina; Dibyendu Das 002; Soumyajit Dey (SETTA, 2016)

Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress. - Saurav Kumar Ghosh; Debasmita Lohar; Dibyendu Das 002; Soumyajit Dey (EMSOFT Companion, 2017)

Probabilistic Interval Analysis of Unreliable Programs. - Dibyendu Das 002; Soumyajit Dey (CoRR, 2024)