Debasmita Lohar

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 6

Top Topics

Control Software

Top Venues

ACM Trans. Embed. Comput. Syst.

ISSRE Workshops

EMSOFT Companion

Publications

Debasmita Lohar, Clothilde Jeangoudoux, Anastasia Volkova, Eva Darulova
Sound Mixed Fixed-Point Quantization of Neural Networks. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Debasmita Lohar, Clothilde Jeangoudoux, Joshua Sobel, Eva Darulova, Maria Christakis
A Two-Phase Approach for Conditional Floating-Point Verification. TACAS (2) (2021)
Debasmita Lohar, Milos Prokop, Eva Darulova
Sound Probabilistic Numerical Error Analysis. IFM (2019)
Debasmita Lohar, Eva Darulova, Sylvie Putot, Eric Goubault
Discrete Choice in the Presence of Numerical Uncertainties. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Saurav Kumar Ghosh, Debasmita Lohar, Dibyendu Das, Soumyajit Dey
Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress. EMSOFT Companion (2017)
Debasmita Lohar, Anudeep Dunaboyina, Dibyendu Das, Soumyajit Dey
Failure Estimation of Behavioral Specifications. SETTA (2016)
Debasmita Lohar, Soumyajit Dey
Integrating formal methods with testing for reliability estimation of component based systems. ISSRE Workshops (2015)