Statistics
Publications
5
Citations
168
H-Index
5
Active since
2013
Affiliations
University of Waterloo(Current)
Yogi Joshi is an author at University of Waterloo specializing in computer engineering, computer science, and formal methods.
Publications per year
2013–2018
5
5
Ezio Bartocci, Ylìès Falcone, Borzoo Bonakdarpour et al. · International Journal on Software Tools for Technology Transfer · 2017 · 66 citations · Full text
RiTHM: a tool for enabling time-triggered runtime verification for C programs
Samaneh Navabpour, Yogi Joshi, Wallace Wu et al. · 2013 · 37 citations
Mining timed regular expressions from system traces
Greta Cutulenco, Yogi Joshi, Apurva Narayan et al. · 2016 · 17 citations
1–5 of 5