Garvit Juniwal

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 5

Top Topics

Concurrent Systems

Active Learning

Top Venues

Publications

Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia
Robust online monitoring of signal temporal logic. Formal Methods Syst. Des. 51 (1) (2017)
Nikolaj Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese
ddNF: An Efficient Data Structure for Header Spaces. Haifa Verification Conference (2016)
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia
Robust Online Monitoring of Signal Temporal Logic. CoRR (2015)
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia
Robust Online Monitoring of Signal Temporal Logic. RV (2015)
Garvit Juniwal, Sakshi Jain, Alexandre Donzé, Sanjit A. Seshia
Clustering-Based Active Learning for CPSGrader. L@S (2015)
Garvit Juniwal, Alexandre Donzé, Jeff C. Jensen, Sanjit A. Seshia
CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory. EMSOFT (2014)
Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman
Finding Instability in Biological Models. CAV (2014)
Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa
Syntax-guided synthesis. FMCAD (2013)