×

Deshmukh, Jyotirmoy V.

Author ID: deshmukh.jyotirmoy-v Recent zbMATH articles by "Deshmukh, Jyotirmoy V."
Published as: Deshmukh, Jyotirmoy V.; Deshmukh, Jyotirmoy
External Links: MGP
Documents Indexed: 30 Publications since 2006
Co-Authors: 48 Co-Authors with 30 Joint Publications
792 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

23 Publications have been cited 139 times in 110 Documents Cited by Year
Regular functions and cost register automata (invited paper). Zbl 1366.68046
Alur, Rajeev; D’Antoni, Loris; Deshmukh, Jyotirmoy; Raghothaman, Mukund; Yuan, Yifei
28
2013
Simulation-guided Lyapunov analysis for hybrid dynamical systems. Zbl 1362.93108
Kapinski, James; Deshmukh, Jyotirmoy V.; Sankaranarayanan, Sriram; Arechiga, Nikos
22
2014
Robust online monitoring of signal temporal logic. Zbl 1370.68199
Deshmukh, Jyotirmoy V.; Donzé, Alexandre; Ghosh, Shromona; Jin, Xiaoqing; Juniwal, Garvit; Seshia, Sanjit A.
14
2017
Nondeterministic streaming string transducers. Zbl 1333.68157
Alur, Rajeev; Deshmukh, Jyotirmoy V.
11
2011
Powertrain control verification benchmark. Zbl 1362.93070
Jin, Xiaoqing; Deshmukh, Jyotirmoy V.; Kapinski, James; Ueda, Koichi; Butts, Ken
8
2014
Quantifying conformance using the Skorokhod metric. Zbl 1360.68629
Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S.
7
2017
Logical clustering and learning for time-series data. Zbl 1494.68232
Vazquez-Chanlatte, Marcell; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing; Seshia, Sanjit A.
6
2017
Mining requirements from closed-loop control models. Zbl 1362.93008
Jin, Xiaoqing; Donzé, Alexandre; Deshmukh, Jyotirmoy V.; Seshia, Sanjit A.
6
2013
Clairvoyant monitoring for signal temporal logic. Zbl 07317097
Qin, Xin; Deshmukh, Jyotirmoy V.
5
2020
Simulation-based approaches for verification of embedded control systems: an overview of traditional and advanced modeling, testing, and verification techniques. Zbl 1476.93075
Kapinski, James; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing; Ito, Hisahiro; Butts, Ken
5
2016
Automatic verification of parameterized data structures. Zbl 1180.68126
Deshmukh, Jyotirmoy V.; Emerson, E. Allen; Gupta, Prateek
4
2006
Interpretable classification of time-series data using efficient enumerative techniques. Zbl 07300850
Mohammadinejad, Sara; Deshmukh, Jyotirmoy V.; Puranic, Aniruddh G.; Vazquez-Chanlatte, Marcell; Donzé, Alexandre
4
2020
Quantifying conformance using the Skorokhod metric. Zbl 1381.68156
Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S.
3
2015
Robustness analysis of string transducers. Zbl 1410.68210
Samanta, Roopsha; Deshmukh, Jyotirmoy V.; Chaudhuri, Swarat
3
2013
Robustness analysis of networked systems. Zbl 1426.68186
Samanta, Roopsha; Deshmukh, Jyotirmoy V.; Chaudhuri, Swarat
3
2013
Stochastic local search for falsification of hybrid systems. Zbl 1471.68138
Deshmukh, Jyotirmoy; Jin, Xiaoqing; Kapinski, James; Maler, Oded
2
2015
Discovering forward invariant sets for nonlinear dynamical systems. Zbl 1327.37027
Kapinski, James; Deshmukh, Jyotirmoy
2
2015
Logical concurrency control from sequential proofs. Zbl 1260.68091
Deshmukh, Jyotirmoy; Ramalingam, G.; Ranganath, Venkatesh-Prasad; Vaswani, Kapil
1
2010
Symbolic-numeric reachability analysis of closed-loop control software. Zbl 1364.93058
Zutshi, Aditya; Sankaranarayanan, Sriram; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing
1
2016
Abnormal data classification using time-frequency temporal logic. Zbl 1366.94120
Nguyen, Luan Viet; Kapinski, James; Jin, Xiaoqing; Deshmukh, Jyotirmoy V.; Butts, Ken; Johnson, Taylor T.
1
2017
Mining interpretable spatio-temporal logic properties for spatially distributed systems. Zbl 1497.68433
Mohammadinejad, Sara; Deshmukh, Jyotirmoy V.; Nenzi, Laura
1
2021
Poster abstract: Predictive monitoring for signal temporal logic with probabilistic guarantees. Zbl 07120166
Qin, Xin; Deshmukh, Jyotirmoy V.
1
2019
DiffRNN: differential verification of recurrent neural networks. Zbl 07498004
Mohammadinejad, Sara; Paulsen, Brandon; Deshmukh, Jyotirmoy V.; Wang, Chao
1
2021
Mining interpretable spatio-temporal logic properties for spatially distributed systems. Zbl 1497.68433
Mohammadinejad, Sara; Deshmukh, Jyotirmoy V.; Nenzi, Laura
1
2021
DiffRNN: differential verification of recurrent neural networks. Zbl 07498004
Mohammadinejad, Sara; Paulsen, Brandon; Deshmukh, Jyotirmoy V.; Wang, Chao
1
2021
Clairvoyant monitoring for signal temporal logic. Zbl 07317097
Qin, Xin; Deshmukh, Jyotirmoy V.
5
2020
Interpretable classification of time-series data using efficient enumerative techniques. Zbl 07300850
Mohammadinejad, Sara; Deshmukh, Jyotirmoy V.; Puranic, Aniruddh G.; Vazquez-Chanlatte, Marcell; Donzé, Alexandre
4
2020
Poster abstract: Predictive monitoring for signal temporal logic with probabilistic guarantees. Zbl 07120166
Qin, Xin; Deshmukh, Jyotirmoy V.
1
2019
Robust online monitoring of signal temporal logic. Zbl 1370.68199
Deshmukh, Jyotirmoy V.; Donzé, Alexandre; Ghosh, Shromona; Jin, Xiaoqing; Juniwal, Garvit; Seshia, Sanjit A.
14
2017
Quantifying conformance using the Skorokhod metric. Zbl 1360.68629
Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S.
7
2017
Logical clustering and learning for time-series data. Zbl 1494.68232
Vazquez-Chanlatte, Marcell; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing; Seshia, Sanjit A.
6
2017
Abnormal data classification using time-frequency temporal logic. Zbl 1366.94120
Nguyen, Luan Viet; Kapinski, James; Jin, Xiaoqing; Deshmukh, Jyotirmoy V.; Butts, Ken; Johnson, Taylor T.
1
2017
Simulation-based approaches for verification of embedded control systems: an overview of traditional and advanced modeling, testing, and verification techniques. Zbl 1476.93075
Kapinski, James; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing; Ito, Hisahiro; Butts, Ken
5
2016
Symbolic-numeric reachability analysis of closed-loop control software. Zbl 1364.93058
Zutshi, Aditya; Sankaranarayanan, Sriram; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing
1
2016
Quantifying conformance using the Skorokhod metric. Zbl 1381.68156
Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S.
3
2015
Stochastic local search for falsification of hybrid systems. Zbl 1471.68138
Deshmukh, Jyotirmoy; Jin, Xiaoqing; Kapinski, James; Maler, Oded
2
2015
Discovering forward invariant sets for nonlinear dynamical systems. Zbl 1327.37027
Kapinski, James; Deshmukh, Jyotirmoy
2
2015
Simulation-guided Lyapunov analysis for hybrid dynamical systems. Zbl 1362.93108
Kapinski, James; Deshmukh, Jyotirmoy V.; Sankaranarayanan, Sriram; Arechiga, Nikos
22
2014
Powertrain control verification benchmark. Zbl 1362.93070
Jin, Xiaoqing; Deshmukh, Jyotirmoy V.; Kapinski, James; Ueda, Koichi; Butts, Ken
8
2014
Regular functions and cost register automata (invited paper). Zbl 1366.68046
Alur, Rajeev; D’Antoni, Loris; Deshmukh, Jyotirmoy; Raghothaman, Mukund; Yuan, Yifei
28
2013
Mining requirements from closed-loop control models. Zbl 1362.93008
Jin, Xiaoqing; Donzé, Alexandre; Deshmukh, Jyotirmoy V.; Seshia, Sanjit A.
6
2013
Robustness analysis of string transducers. Zbl 1410.68210
Samanta, Roopsha; Deshmukh, Jyotirmoy V.; Chaudhuri, Swarat
3
2013
Robustness analysis of networked systems. Zbl 1426.68186
Samanta, Roopsha; Deshmukh, Jyotirmoy V.; Chaudhuri, Swarat
3
2013
Nondeterministic streaming string transducers. Zbl 1333.68157
Alur, Rajeev; Deshmukh, Jyotirmoy V.
11
2011
Logical concurrency control from sequential proofs. Zbl 1260.68091
Deshmukh, Jyotirmoy; Ramalingam, G.; Ranganath, Venkatesh-Prasad; Vaswani, Kapil
1
2010
Automatic verification of parameterized data structures. Zbl 1180.68126
Deshmukh, Jyotirmoy V.; Emerson, E. Allen; Gupta, Prateek
4
2006
all top 5

Cited by 281 Authors

6 Bartocci, Ezio
5 Deshmukh, Jyotirmoy V.
4 Mazowiecki, Filip
4 Platzer, André
4 Seshia, Sanjit Arunkumar
3 Abate, Alessandro
3 Allender, Eric W.
3 Bloem, Roderick
3 Bortolussi, Luca
3 Chatterjee, Krishnendu
3 Chockler, Hana
3 Dang, Thao
3 Donzé, Alexandre
3 Dreossi, Tommaso
3 Ebrahimi, Masoud
3 Grosu, Radu
3 Henzinger, Thomas A.
3 Ibarra, Oscar H.
3 Krebs, Andreas
3 Loreti, Michele
3 Mamouras, Konstantinos
3 Muscholl, Anca
3 Nenzi, Laura
3 Nickovic, Dejan
3 Puppis, Gabriele
3 Reynier, Pierre-Alain
3 Strichman, Ofer
3 Tan, Yong Kiam
3 Vojnar, Tomáš
2 Ahmed, Daniele
2 Alur, Rajeev
2 André, Étienne
2 Aréchiga, Nikos
2 Babari, Parvaneh
2 Castiglioni, Valentina
2 Chen, Mingshuai
2 Droste, Manfred
2 Eremondi, Joey
2 Filiot, Emmanuel
2 Fisman, Dana
2 Ghosh, Bineet
2 Giacobbe, Mirco
2 Habermehl, Peter
2 Holík, Lukáš
2 Islam, Md. Ariful
2 Jha, Susmit
2 Katoen, Joost-Pieter
2 Lin, Wang
2 McKenzie, Pierre
2 McQuillan, Ian
2 Mitsch, Stefan
2 Otop, Jan
2 Pappas, George J.
2 Perevoshchikov, Vitaly
2 Peruffo, Andrea
2 Piazza, Carla
2 Prabhu, Vinayak S.
2 Raghothaman, Mukund
2 Riveros, Cristian
2 Rogalewicz, Adam
2 Sánchez, César
2 Sankaranarayanan, Sriram
2 Schmude, Janusz
2 Smolka, Scott A.
2 Tini, Simone
2 Tripakis, Stavros
2 Trivedi, Ashutosh
2 Villevalois, Didier
2 Wang, Qiuye
2 Xue, Bai
2 Yang, Zhengfeng
2 Zhan, Naijun
1 Ahmad, Hammad
1 Ahrendt, Wolfgang
1 Aiswarya, Cyriac
1 Åkesson, Knut
1 Almagor, Shaull
1 Arafailova, Ekaterina
1 Arcaini, Paolo
1 Aydin Gol, Ebru
1 Balkan, Ayça
1 Barloy, Corentin
1 Basset, Nicolas
1 Beldiceanu, Nicolas
1 Berger, Guillaume O.
1 Bianculli, Domenico
1 Biewer, Sebastian
1 Boiret, Adrien
1 Bojańczyk, Mikołaj
1 Bose, Sougata
1 Bouajjani, Ahmed
1 Bouissou, Olivier
1 Bozga, Marius
1 Brodtkorb, Astrid H.
1 Cadilhac, Michaël
1 Cairoli, Francesca
1 Cantoni, Michael
1 Cardona, Gustavo A.
1 Cardoso, Rafael C.
1 Carton, Olivier
...and 181 more Authors

Citations by Year