Garvit Juniwal
Garvit Juniwal
Verified email at eecs.berkeley.edu
Title
Cited by
Cited by
Year
Syntax-guided synthesis
R Alur, R Bodik, G Juniwal, MMK Martin, M Raghothaman, SA Seshia, ...
2013 Formal Methods in Computer-Aided Design, 1-8, 2013
5342013
Syntax-guided synthesis
R Alur, R Bodik, G Juniwal, MMK Martin, M Raghothaman, SA Seshia, ...
2013 Formal Methods in Computer-Aided Design, 1-8, 2013
5342013
Robust online monitoring of signal temporal logic
JV Deshmukh, A Donzé, S Ghosh, X Jin, G Juniwal, SA Seshia
Formal Methods in System Design 51 (1), 5-30, 2017
802017
CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory
G Juniwal, A Donzé, JC Jensen, SA Seshia
Proceedings of the 14th International Conference on Embedded Software, 1-10, 2014
312014
ddnf: An efficient data structure for header spaces
N Bjřrner, G Juniwal, R Mahajan, SA Seshia, G Varghese
Haifa Verification Conference, 49-64, 2016
262016
Syntax-guided synthesis. In 2013 Formal Methods in Computer-Aided Design
R Alur, R Bodik, G Juniwal, MMK Martin, M Raghothaman, SA Seshia, ...
IEEE, 2013
192013
Finding instability in biological models
B Cook, J Fisher, BA Hall, S Ishtiaq, G Juniwal, N Piterman
International Conference on Computer Aided Verification, 358-372, 2014
72014
Quantitative network analysis
G Juniwal, N Bjorner, R Mahajan, S Seshia, G Varghese
Technical report, 2016
52016
Clustering-based active learning for CPSGrader
G Juniwal, S Jain, A Donzé, SA Seshia
Proceedings of the Second (2015) ACM Conference on Learning@ Scale, 399-403, 2015
32015
CPSGrader: Auto-grading and feedback generation for cyber-physical systems education
G Juniwal
CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, 2014
32014
Reactive synthesis using sketching
G Juniwal
Technical report, UC Berkeley, 2012
12012
Probablistic methods as a proof technique
G Juniwal, P Kamath, N Totla
2012
Automated refinement of executable biological models
BA Hall, G Juniwal, ACE Dahl, J Fisher
review, 2005
2005
Robust Online Monitoring of Signal Temporal Logic
G Juniwal, S Ghosh, A Donzé, SA Seshia, JV Deshmukh, X Jin
CPSGrader: Synthesizing Temporal Logic Testers for Auto-Grading
A Donzé, G Juniwal, JC Jensen, SA Seshia
Clustering-Based Active Learning
G Juniwal, S Jain
Decidability of Emptiness Checking in various Alternating Timed Automata and Connections to Timed Logics
G Juniwal
Indian Institute of Technology, Bombay Mumbai, 0
The system can't perform the operation now. Try again later.
Articles 1–17