Dibyendu Das

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 3

Top Topics

Interval Analysis

Top Venues

EMSOFT Companion

Publications

Dibyendu Das, Soumyajit Dey
Probabilistic Interval Analysis of Unreliable Programs. CoRR (2024)
Saurav Kumar Ghosh, Debasmita Lohar, Dibyendu Das, Soumyajit Dey
Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress. EMSOFT Companion (2017)
Debasmita Lohar, Anudeep Dunaboyina, Dibyendu Das, Soumyajit Dey
Failure Estimation of Behavioral Specifications. SETTA (2016)