Debasmita Lohar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2015–2025
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMCAD | Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision. | Samuel Teuber, Debasmita Lohar, Bernhard Beckert |
| 2021 | TACAS | A Two-Phase Approach for Conditional Floating-Point Verification. | Debasmita Lohar, Clothilde Jeangoudoux, Joshua Sobel, Eva Darulova, Maria Christakis |
| 2019 | IFM | Sound Probabilistic Numerical Error Analysis. | Debasmita Lohar, Milos Prokop, Eva Darulova |
| 2017 | EMSOFT | 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 |
| 2016 | SETTA | Failure Estimation of Behavioral Specifications. | Debasmita Lohar, Anudeep Dunaboyina, Dibyendu Das, Soumyajit Dey |
| 2015 | ISSRE | Integrating formal methods with testing for reliability estimation of component based systems. | Debasmita Lohar, Soumyajit Dey |