Yogi Joshi

发表

Parallelized Runtime Verification of First-order LTL Specifications

S. Fischmeister, R. Medhat, Yogi Joshi, 2014 .

System Call Logs with Natural Random Faults : Experimental Design and Application

G. M. Tchamgoue, S. Fischmeister, Yogi Joshi, 2017 .

Runtime verification of LTL on lossy traces

Sebastian Fischmeister, Guy Martin Tchamgoue, Yogi Joshi, 2017, SAC.

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

K. Havelund, Yogi Joshi, Borzoo Bonakdarpour, 2019, International Journal on Software Tools for Technology Transfer.