Yogi Joshi

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 5

Top Topics

Linear Time Temporal Logic

Transition Systems

Formal Specification

Top Venues

ACM Trans. Embed. Comput. Syst.

SoftwareMining@ASE

Publications

Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 21 (1) (2019)
Apurva Narayan, Greta Cutulenco, Yogi Joshi, Sebastian Fischmeister
Mining Timed Regular Specifications from System Traces. ACM Trans. Embed. Comput. Syst. 17 (2) (2018)
Yogi Joshi, Guy Martin Tchamgoue, Sebastian Fischmeister
Runtime verification of LTL on lossy traces. SAC (2017)
Greta Cutulenco, Yogi Joshi, Apurva Narayan, Sebastian Fischmeister
Mining timed regular expressions from system traces. SoftwareMining@ASE (2016)
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi
Accelerated Runtime Verification of LTL Specifications with Counting Semantics. RV (2016)
Ramy Medhat, Yogi Joshi, Borzoo Bonakdarpour, Sebastian Fischmeister
Accelerated Runtime Verification of LTL Specifications with Counting Semantics. CoRR (2014)
Samaneh Navabpour, Yogi Joshi, Chun Wah Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister
RiTHM: a tool for enabling time-triggered runtime verification for C programs. ESEC/SIGSOFT FSE (2013)