KIT - Application-oriented Formal Verification - Team

Dr. Debasmita Lohar Researcher
Room 202, Building 50.34 Phone: +49 721 608-44024 Fax: +49 721 608-44021 debasmita loharXwx3∂kit edu https://dlohar.github.io/	KIT / Institute of Information Security and Dependability (KASTEL) Am Fasanengarten 5 Building 50.34 76131 Karlsruhe Germany

Dr. Debasmita Lohar

Researcher

Room 202, Building 50.34
Phone: +49 721 608-44024
Fax: +49 721 608-44021
debasmita loharXwx3∂kit edu

https://dlohar.github.io/

KIT / Institute of Information Security and Dependability (KASTEL)

Am Fasanengarten 5
Building 50.34
76131 Karlsruhe
Germany

2025
Title	Author(s)	Source
Cost of Soundness in Mixed-Precision Tuning	Anastasia Isychev and Debasmita Lohar	Proceedings of the ACM on Programming Languages (to appear) OOPSLA2
Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision	Samuel Teuber, Debasmita Lohar, and Bernhard Beckert	2025 Formal Methods in Computer-Aided Design (FMCAD)

2024
Title	Author(s)	Source
Toward Precision-Aware Safe Neural-Controlled Cyber-Physical Systems	Harikishan Thevendhriya, Sumana Ghosh, and Debasmita Lohar	IEEE Embedded Systems Letters 16(4)