Folgen
Debasmita Lohar
Debasmita Lohar
Postdoctoral Researcher, Karlsruhe Institute of Technology
Bestätigte E-Mail-Adresse bei kit.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Sound Probabilistic Numerical Error Analysis
D Lohar, M Prokop, E Darulova
Integrated Formal Methods LNCS 11918, 322-340, 2019
112019
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
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
62021
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
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
22023
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
Expanding the horizons of finite-precision analysis
D Lohar
Saarländische Universitäts-und Landesbibliothek, 2023
2023
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–8