Debasmita Lohar

13 papers B 2Misc 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Precision Switching Schedule for Efficient Control Implementations.
CoRR
Debarpita Banerjee, Debasmita Lohar, Sumana Ghosh
2025 J jnl
Cost of Soundness in Mixed-Precision Tuning.
Proc. ACM Program. Lang.
Anastasia Isychev, Debasmita Lohar
2025 B conf
Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision.
FMCAD
Samuel Teuber, Debasmita Lohar, Bernhard Beckert
2025 J jnl
Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision.
CoRR
Samuel Teuber, Debasmita Lohar, Bernhard Beckert
2024 J jnl
Toward Precision-Aware Safe Neural-Controlled Cyber-Physical Systems.
IEEE Embed. Syst. Lett.
Harikishan Thevendhriya, Sumana Ghosh, Debasmita Lohar
2023 — —
Expanding the horizons of finite-precision analysis.
Debasmita Lohar
2023 J jnl
Sound Mixed Fixed-Point Quantization of Neural Networks.
ACM Trans. Embed. Comput. Syst.
Debasmita Lohar, Clothilde Jeangoudoux, Anastasia Volkova, Eva Darulova
2021 — conf
A Two-Phase Approach for Conditional Floating-Point Verification.
TACAS (2)
Debasmita Lohar, Clothilde Jeangoudoux, Joshua Sobel, Eva Darulova, Maria Christakis
2019 B conf
Sound Probabilistic Numerical Error Analysis.
IFM
Debasmita Lohar, Milos Prokop, Eva Darulova
2018 J jnl
Discrete Choice in the Presence of Numerical Uncertainties.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Debasmita Lohar, Eva Darulova, Sylvie Putot, Eric Goubault
2017 — conf
Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress.
EMSOFT Companion
Saurav Kumar Ghosh, Debasmita Lohar, Dibyendu Das, Soumyajit Dey
2016 Misc conf
Failure Estimation of Behavioral Specifications.
SETTA
Debasmita Lohar, Anudeep Dunaboyina, Dibyendu Das, Soumyajit Dey
2015 — conf
Integrating formal methods with testing for reliability estimation of component based systems.
ISSRE Workshops
Debasmita Lohar, Soumyajit Dey