Følg
Debasmita Lohar
Debasmita Lohar
Postdoctoral Researcher, Karlsruhe Institute of Technology
Verifisert e-postadresse på kit.edu - Startside
Tittel
Sitert av
Sitert av
År
Sound Probabilistic Numerical Error Analysis
D Lohar, M Prokop, E Darulova
Integrated Formal Methods LNCS 11918, 322-340, 2019
152019
Sound mixed fixed-point quantization of neural networks
D Lohar, C Jeangoudoux, A Volkova, E Darulova
ACM Transactions on Embedded Computing Systems 22 (5s), 1-26, 2023
92023
A two-phase approach for conditional floating-point verification
D Lohar, C Jeangoudoux, J Sobel, E Darulova, M Christakis
International Conference on Tools and Algorithms for the Construction and …, 2021
82021
Discrete choice in the presence of numerical uncertainties
D Lohar, E Darulova, S Putot, E Goubault
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
72018
Integrating formal methods with testing for reliability estimation of component based systems
D Lohar, S Dey
2015 IEEE international symposium on software reliability engineering …, 2015
42015
Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress
SK Ghosh, D Lohar, D Das, S Dey
Proceedings of the Thirteenth ACM International Conference on Embedded …, 2017
12017
Failure estimation of behavioral specifications
D Lohar, A Dunaboyina, D Das, S Dey
Dependable Software Engineering: Theories, Tools, and Applications: Second …, 2016
12016
Toward Precision-Aware Safe Neural-Controlled Cyber–Physical Systems
H Thevendhriya, S Ghosh, D Lohar
IEEE Embedded Systems Letters 16 (4), 397-400, 2024
2024
Expanding the horizons of finite-precision analysis
D Lohar
Saarländische Universitäts-und Landesbibliothek, 2023
2023
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–9