Yogi Joshi

According to our database, Yogi Joshi authored at least 6 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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

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

Int. J. Softw. Tools Technol. Transf., 2019

2018

Mining Timed Regular Specifications from System Traces.

Apurva Narayan, Greta Cutulenco, Yogi Joshi, Sebastian Fischmeister

ACM Trans. Embed. Comput. Syst., 2018

2017

Runtime verification of LTL on lossy traces.

Yogi Joshi, Guy Martin Tchamgoue, Sebastian Fischmeister

Proceedings of the Symposium on Applied Computing, 2017

2016

Accelerated Runtime Verification of LTL Specifications with Counting Semantics.

Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi

Proceedings of the Runtime Verification - 16th International Conference, 2016

Mining timed regular expressions from system traces.

Greta Cutulenco, Yogi Joshi, Apurva Narayan, Sebastian Fischmeister

Proceedings of the 5th International Workshop on Software Mining, 2016

2013

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

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013