KIT - Anwendungsorientierte Formale Verifikation - Mitarbeiterin

Dr. Debasmita Lohar Wissenschaftliche Mitarbeiterin
Raum 202, Gebäude 50.34 Tel.: +49 721 608-44024 Fax: +49 721 608-44021 debasmita loharXwx3∂kit edu https://dlohar.github.io/	KIT / Institut für Informationssicherheit und Verlässlichkeit (KASTEL) Am Fasanengarten 5 Gebäude 50.34 76131 Karlsruhe Deutschland

Dr. Debasmita Lohar

Wissenschaftliche Mitarbeiterin

Raum 202, Gebäude 50.34
Tel.: +49 721 608-44024
Fax: +49 721 608-44021
debasmita loharXwx3∂kit edu

https://dlohar.github.io/

KIT / Institut für Informationssicherheit und Verlässlichkeit (KASTEL)

Am Fasanengarten 5
Gebäude 50.34
76131 Karlsruhe
Deutschland

2025
Titel	Autor(en)	Quelle
Cost of Soundness in Mixed-Precision Tuning	Anastasia Isychev und Debasmita Lohar	Proceedings of the ACM on Programming Languages (PACMPL) 9(OOPSLA2)
Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision	Samuel Teuber, Debasmita Lohar und Bernhard Beckert	2025 Formal Methods in Computer-Aided Design (FMCAD)

2024
Titel	Autor(en)	Quelle
Toward Precision-Aware Safe Neural-Controlled Cyber-Physical Systems	Harikishan Thevendhriya, Sumana Ghosh und Debasmita Lohar	IEEE Embedded Systems Letters 16(4)