Debasmita Lohar

According to our database, Debasmita Lohar authored at least 7 papers between 2015 and 2023.

Collaborative distances:

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

2023

Sound Mixed Fixed-Point Quantization of Neural Networks.

Debasmita Lohar, Clothilde Jeangoudoux, Anastasia Volkova, Eva Darulova

ACM Trans. Embed. Comput. Syst., October, 2023

2021

A Two-Phase Approach for Conditional Floating-Point Verification.

Debasmita Lohar, Clothilde Jeangoudoux, Joshua Sobel, Eva Darulova, Maria Christakis

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2019

Sound Probabilistic Numerical Error Analysis.

Debasmita Lohar, Milos Prokop, Eva Darulova

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018

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

2017

Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress.

Saurav Kumar Ghosh, Debasmita Lohar, Dibyendu Das, Soumyajit Dey

Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion, 2017

2016

Failure Estimation of Behavioral Specifications.

Debasmita Lohar, Anudeep Dunaboyina, Dibyendu Das, Soumyajit Dey

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2015

Integrating formal methods with testing for reliability estimation of component based systems.

Debasmita Lohar, Soumyajit Dey

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015