Yogi Joshi

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.
Int. J. Softw. Tools Technol. Transf., 2019

2018
Mining Timed Regular Specifications from System Traces.
ACM Trans. Embed. Comput. Syst., 2018

2017
Runtime verification of LTL on lossy traces.
Proceedings of the Symposium on Applied Computing, 2017

2016
Accelerated Runtime Verification of LTL Specifications with Counting Semantics.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Mining timed regular expressions from system traces.
Proceedings of the 5th International Workshop on Software Mining, 2016

2013
RiTHM: a tool for enabling time-triggered runtime verification for C programs.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013


  Loading...