RiTHM: a tool for enabling time-triggered runtime verification for C programs. - Samaneh Navabpour; Yogi Joshi; Chun Wah Wallace Wu; Shay Berkovich; Ramy Medhat; Borzoo Bonakdarpour; Sebastian Fischmeister (ESEC/SIGSOFT FSE, 2013)

Mining timed regular expressions from system traces. - Greta Cutulenco; Yogi Joshi; Apurva Narayan; Sebastian Fischmeister (SoftwareMining@ASE, 2016)

Accelerated Runtime Verification of LTL Specifications with Counting Semantics. - Ramy Medhat; Borzoo Bonakdarpour; Sebastian Fischmeister; Yogi Joshi (RV, 2016)

Runtime verification of LTL on lossy traces. - Yogi Joshi; Guy Martin Tchamgoue; Sebastian Fischmeister (SAC, 2017)

Mining Timed Regular Specifications from System Traces. - Apurva Narayan; Greta Cutulenco; Yogi Joshi; Sebastian Fischmeister (ACM Trans. Embed. Comput. Syst., 2018)

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. - Ezio Bartocci; Yliès Falcone; Borzoo Bonakdarpour; Christian Colombo 001; Normann Decker; Klaus Havelund; Yogi Joshi; Felix Klaedtke; Reed Milewicz; Giles Reger; Grigore Rosu; Julien Signoles; et al. (Int. J. Softw. Tools Technol. Transf., 2019)