First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014 E Bartocci, Y Falcone, B Bonakdarpour, C Colombo, N Decker, ... International journal on software tools for technology transfer 21, 31-70, 2019 | 94 | 2019 |
RiTHM: a tool for enabling time-triggered runtime verification for C programs S Navabpour, Y Joshi, W Wu, S Berkovich, R Medhat, B Bonakdarpour, ... Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 57 | 2013 |
Runtime verification of LTL on lossy traces Y Joshi, GM Tchamgoue, S Fischmeister Proceedings of the Symposium on Applied Computing, 1379-1386, 2017 | 35 | 2017 |
Mining timed regular specifications from system traces A Narayan, G Cutulenco, Y Joshi, S Fischmeister ACM Transactions on Embedded Computing Systems (TECS) 17 (2), 1-21, 2018 | 27 | 2018 |
Mining timed regular expressions from system traces G Cutulenco, Y Joshi, A Narayan, S Fischmeister Proceedings of the 5th international workshop on software mining, 3-10, 2016 | 20 | 2016 |
Accelerated runtime verification of LTL specifications with counting semantics R Medhat, B Bonakdarpour, S Fischmeister, Y Joshi Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016 | 11 | 2016 |
Parallelized runtime verification of first-order LTL specifications R Medhat, Y Joshi, B Bonakdarpour, S Fischmeister Technical Report CS-2014–11, University of Waterloo, 2014 | 10 | 2014 |
System call logs with natural random faults: Experimental design and application A Narayan, S Kauffman, J Morgan, GM Tchamgoue, Y Joshi, C Hobbs, ... International Workshop on Silicon Errors in Logic–System Effects (SELSE’17 …, 2017 | 5 | 2017 |
Accelerated runtime verification of LTL specifications with counting semantics R Medhat, Y Joshi, B Bonakdarpour, S Fischmeister arXiv preprint arXiv:1411.2239, 2014 | 4 | 2014 |
Runtime Verification of LTL on Lossy Traces SF Joshi, Y., M. Guy Tchamgoue 32nd ACM Symposium on Applied Computing (SAC), 2017 | | 2017 |
RitHM: A Modular Software Framework for Runtime Monitoring Supporting Complete and Lossy Traces Y Joshi University of Waterloo, 2015 | | 2015 |
CuckooShadow: A Byzantine Resistant ShadowWalker Y Joshi, S Agrawal | | |