Debasmita Lohar

Debasmita Lohar

Max Planck Institut für Software Systeme - Kaiserslautern / Germany
Others
AD Scientific Index ID: 5363397
Max Planck Institute for Software Systems
person_outline Debasmita Lohar's MOST POPULAR ARTICLES
1-) Sound Probabilistic Numerical Error AnalysisD Lohar, M Prokop, E DarulovaIntegrated Formal Methods LNCS 11918, 322-340, 2019112019
2-) A two-phase approach for conditional floating-point verificationD Lohar, C Jeangoudoux, J Sobel, E Darulova, M ChristakisTools and Algorithms for the Construction and Analysis of Systems: 27th …, 202172021
3-) Discrete choice in the presence of numerical uncertaintiesD Lohar, E Darulova, S Putot, E GoubaultIEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 201872018
4-) Sound mixed fixed-point quantization of neural networksD Lohar, C Jeangoudoux, A Volkova, E DarulovaACM Transactions on Embedded Computing Systems 22 (5s), 1-26, 202352023
5-) Integrating formal methods with testing for reliability estimation of component based systemsD Lohar, S Dey2015 IEEE international symposium on software reliability engineering …, 201542015