Login / Signup
Dibyendu Das
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 2
Top Topics
Control Software
Specification Language
Accurate Estimation
Higher Level
Top Venues
SETTA
EMSOFT Companion
</>
Publications
</>
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)