Dibyendu Das

According to our database, Dibyendu Das authored at least 3 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Probabilistic Interval Analysis of Unreliable Programs.

Dibyendu Das, Soumyajit Dey

CoRR, 2024

2017

Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress.

Saurav Kumar Ghosh, Debasmita Lohar, Dibyendu Das, Soumyajit Dey

Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion, 2017

2016

Failure Estimation of Behavioral Specifications.

Debasmita Lohar, Anudeep Dunaboyina, Dibyendu Das, Soumyajit Dey

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016