Skip to main content

Yogi Joshi

Yogi Joshi
Master's student (Graduated 2015)

Publications

2016

Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi, "Accelerated Runtime Verification of LTL Specifications with Counting Semantics" International Conference on Runtime Verification (RV), Springer, 2016.   rv16.pdf (731.69 KB)