Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Juniwal, Garvit
14  Ergebnisse:
Personensuche X
?
1

Robust online monitoring of signal temporal logic:

Deshmukh, Jyotirmoy V. ; Donzé, Alexandre ; Ghosh, Shromona...
Formal Methods in System Design.  51 (2017)  1 - p. 5-30 , 2017
Link: https://doi.org/10.1007/..
 
?
2

Clustering-Based Active Learning for CPSGrader:

, In: Proceedings of the Second (2015) ACM Conference on Learning @ Scale,
Juniwal, Garvit ; Jain, Sakshi ; Donzé, Alexandre. - p. 399-403 , 2015
Link: https://dl.acm.org/doi/1..
 
?
3

CPSGrader : synthesizing temporal logic testers for auto..:

, In: Proceedings of the 14th International Conference on Embedded Software,
Juniwal, Garvit ; Donzé, Alexandre ; Jensen, Jeff C.. - p. 1-10 , 2014
Link: https://dl.acm.org/doi/1..
 
?
4

Syntax-Guided Synthesis:

Alur, Rajeev ; Bodik, Rastislav ; Dallal, Eric...
http://dx.doi.org/10.3233/978-1-61499-495-4-1.  , 2019
Link: https://hdl.handle.net/1..
 
?
5

Robust online monitoring of signal temporal logic:

Deshmukh, Jyotirmoy V ; Donzé, Alexandre ; Ghosh, Shromona...
qt5dw5k0xp.  , 2017
Link: https://escholarship.org..
 
?
6

ddNF: An Efficient Data Structure for Header Spaces:

Bjørner, Nikolaj ; Juniwal, Garvit ; Mahajan, Ratul..
qt6t14m6g7.  , 2016
Link: https://escholarship.org..
 
?
7

Clustering-Based Active Learning for CPSGrader:

Juniwal, Garvit ; Jain, Sakshi ; Donzé, Alexandre.
qt9k1341p8.  , 2015
Link: https://escholarship.org..
 
?
8

Robust Online Monitoring of Signal Temporal Logic:

Deshmukh, Jyotirmoy V ; Donzé, Alexandre ; Ghosh, Shromona...
qt0sh5f5d0.  , 2015
Link: https://escholarship.org..
 
?
9

Syntax-Guided Synthesis:

Alur, Rajeev ; Bodik, Rastislav ; Dallal, Eric...
qt2mc6110k.  , 2015
Link: https://escholarship.org..
 
?
10

Robust Online Monitoring of Signal Temporal Logic:

Deshmukh, Jyotirmoy V ; Donzé, Alexandre ; Ghosh, Shromona...
qt7dz7r2rm.  , 2015
Link: https://escholarship.org..
 
?
11

Robust Online Monitoring of Signal Temporal Logic:

Deshmukh, Jyotirmoy V ; Donzé, Alexandre ; Ghosh, Shromona...
http://arxiv.org/abs/1506.08234.  , 2015
Link: http://arxiv.org/abs/150..
 
?
12

CPSGrader: Synthesizing Temporal Logic Testers for Auto-Gra..:

Juniwal, Garvit ; Donz, Alexandre ; Jensen, Jeff C.
qt9tb3k46m.  , 2014
Link: https://escholarship.org..
 
?
13

Syntax-guided synthesis:

Alur, Rajeev ; Bodik, Rastislav ; Juniwal, Garvit...
qt1g67m7hp.  , 2013
Link: https://escholarship.org..
 
?
14

Syntax-guided synthesis:

Alur, Rajeev ; Bodik, Rastislav ; Juniwal, Garvit...
http://dx.doi.org/10.1109/FMCAD.2013.6679385.  , 2013
Link: http://hdl.handle.net/17..
 
1-14