Edit Profile Juniwal, Garvit Compute Distance To: Compute Author ID: juniwal.garvit Published as: Juniwal, Garvit Documents Indexed: 1 Publication since 2017 Co-Authors 0 single-authored 1 Deshmukh, Jyotirmoy V. 1 Donzé, Alexandre 1 Ghosh, Shromona 1 Jin, Xiaoqing 1 Seshia, Sanjit Arunkumar Serials 1 Formal Methods in System Design Fields 1 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Publications by Year Citations contained in zbMATH 1 Publication has been cited 2 times in 2 Documents Cited by ▼ Year ▼ Robust online monitoring of signal temporal logic. Zbl 1370.68199Deshmukh, Jyotirmoy V.; Donzé, Alexandre; Ghosh, Shromona; Jin, Xiaoqing; Juniwal, Garvit; Seshia, Sanjit A. 2 2017 Robust online monitoring of signal temporal logic. Zbl 1370.68199Deshmukh, Jyotirmoy V.; Donzé, Alexandre; Ghosh, Shromona; Jin, Xiaoqing; Juniwal, Garvit; Seshia, Sanjit A. 2 2017 all top 5 Cited by 19 Authors 2 Bartocci, Ezio 2 Nickovic, Dejan 1 Ahrendt, Wolfgang 1 Bianculli, Domenico 1 Colombo, Christian 1 Falcone, Yliès 1 Francalanza, Adrian 1 Grosu, Radu 1 Jakšić, Stefan 1 Krstić, Srđan 1 Lourenço, João M. 1 Nguyen, Thang Trung 1 Pace, Gordon J. 1 Rufino, José 1 Sánchez, César 1 Schneider, Gerardo 1 Signoles, Julien 1 Traytel, Dmitry 1 Weiss, Alexander Cited in 1 Serial 2 Formal Methods in System Design Cited in 1 Field 2 Computer science (68-XX) Citations by Year