关注
Debasmita Lohar
Debasmita Lohar
Postdoctoral Researcher, Karlsruhe Institute of Technology
在 kit.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Sound Probabilistic Numerical Error Analysis
D Lohar, M Prokop, E Darulova
Integrated Formal Methods LNCS 11918, 322-340, 2019
132019
A two-phase approach for conditional floating-point verification
D Lohar, C Jeangoudoux, J Sobel, E Darulova, M Christakis
Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021
72021
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
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
52023
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
Towards Precision-Aware Safe Neural-Controlled Cyber-Physical Systems
TS Harikishan, S Ghosh, D Lohar
2024
Expanding the horizons of finite-precision analysis
D Lohar
Saarländische Universitäts-und Landesbibliothek, 2023
2023
系统目前无法执行此操作，请稍后再试。
文章 1–9