acm sigbed
|
emsoft
|
participants
Tushar Hedaoo
EMSOFT 2020: 20th International Conference on Embedded Software
Compositional Probabilistic Analysis of Temporal Properties over Stochastic Detectors
Ivan Ruchkin
,
Oleg Sokolsky
,
James Weimer
,
Tushar Hedaoo
, and
Insup Lee
10.1109/TCAD.2020.3012643
https://repository.upenn.edu/cgi/viewcontent.cgi?article=1912&context=cis_papers