Yogi Joshi

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Ezio Bartocci, Ylìès Falcone, Borzoo Bonakdarpour et al. · International Journal on Software Tools for Technology Transfer · 2017 · 66 citations · Full text

RiTHM: a tool for enabling time-triggered runtime verification for C programs

Samaneh Navabpour, Yogi Joshi, Wallace Wu et al. · 2013 · 37 citations

Time-triggered Runtime Verification, Program Checking, Engineering +23

Mining Timed Regular Specifications from System Traces

Apurva Narayan, Greta Cutulenco, Yogi Joshi et al. · ACM Transactions on Embedded Computing Systems · 2018 · 27 citations

Engineering, Verification, Software Analysis +22

Runtime verification of LTL on lossy traces

Yogi Joshi, Guy Martin Tchamgoue, Sebastian Fischmeister · 2017 · 20 citations

Engineering, Verification, Computer-aided Verification +17

Mining timed regular expressions from system traces

Greta Cutulenco, Yogi Joshi, Apurva Narayan et al. · 2016 · 17 citations

Engineering, Verification, Information Forensics +25