Integrating formal methods with testing for reliability estimation of component based systems. - Debasmita Lohar; Soumyajit Dey (ISSRE Workshops, 2015)

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)

Discrete Choice in the Presence of Numerical Uncertainties. - Debasmita Lohar; Eva Darulova; Sylvie Putot; Eric Goubault (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Sound Probabilistic Numerical Error Analysis. - Debasmita Lohar; Milos Prokop; Eva Darulova (IFM, 2019)

A Two-Phase Approach for Conditional Floating-Point Verification. - Debasmita Lohar; Clothilde Jeangoudoux; Joshua Sobel; Eva Darulova; Maria Christakis (TACAS (2), 2021)

Expanding the horizons of finite-precision analysis. - Debasmita Lohar (2023)

Sound Mixed Fixed-Point Quantization of Neural Networks. - Debasmita Lohar; Clothilde Jeangoudoux; Anastasia Volkova; Eva Darulova (ACM Trans. Embed. Comput. Syst., 2023)

Toward Precision-Aware Safe Neural-Controlled Cyber-Physical Systems. - Harikishan Thevendhriya; Sumana Ghosh; Debasmita Lohar (IEEE Embed. Syst. Lett., 2024)

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision. - Samuel Teuber; Debasmita Lohar; Bernhard Beckert (CoRR, 2025)