Statistics
Publications
4
Citations
829
H-Index
4
Active since
2013
Affiliations
University of California, Berkeley(Current)
Garvit Juniwal is an author at University of California, Berkeley specializing in computer science, temporal logic, and automated reasoning with constraints.
Publications per year
2013–2017
4
4
Rajeev Alur, Rastislav Bodík, Garvit Juniwal et al. · 2013 · 523 citations
Robust online monitoring of signal temporal logic
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh et al. · Formal Methods in System Design · 2017 · 186 citations
Rajeev Alur, Rastislav Bodík, Garvit Juniwal et al. · DSpace@MIT (Massachusetts Institute of Technology) · 2013 · 88 citations · Full text
Garvit Juniwal, Alexandre Donzé, Jeff C. Jensen et al. · 2014 · 32 citations
1–4 of 4