Sotabase

Career

· Rubrik

Publications (11)

Syntax-guided synthesis
Formal Methods in Computer-Aided Design · 2013
871
cited
Robust online monitoring of signal temporal logic
Formal methods in system design · 2015
218
cited
CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory
International Conference on Embedded Software · 2014
33
cited
ddNF: An Efficient Data Structure for Header Spaces
Haifa Verification Conference · 2016
32
cited
Quantitative Network Analysis
2015
12
cited
Finding Instability in Biological Models
International Conference on Computer Aided Verification · 2014
8
cited
CPSGrader: Auto-Grading and Feedback Generation for Cyber-Physical Systems Education
2014
4
cited
Clustering-Based Active Learning for CPSGrader
ACM Conference on Learning @ Scale · 2015
3
cited
Reactive Synthesis using Sketching
2012
1
cited
Clustering-Based Active Learning
2014
Probablistic methods as a proof technique
2012
Sotabase
Garvit Juniwal | Researcher Profile | Sotabase | Sotabase