Edit Profile (opens in new tab) Deshmukh, Jyotirmoy V. Compute Distance To: Compute Author ID: deshmukh.jyotirmoy-v Published as: Deshmukh, Jyotirmoy V.; Deshmukh, Jyotirmoy External Links: MGP Documents Indexed: 27 Publications since 2006 Co-Authors: 40 Co-Authors with 27 Joint Publications 693 Co-Co-Authors all top 5 Co-Authors 0 single-authored 8 Jin, Xiaoqing 7 Kapinski, James 3 Butts, Ken 3 Donzé, Alexandre 3 Mohammadinejad, Sara 3 Seshia, Sanjit Arunkumar 2 Alur, Rajeev 2 Aréchiga, Nikos 2 Chaudhuri, Swarat 2 Majumdar, Rupak 2 Prabhu, Vinayak S. 2 Qin, Xin 2 Ramalingam, Ganesan 2 Ranganath, Venkatesh Prasad 2 Samanta, Roopsha 2 Sankaranarayanan, Sriram 2 Vaswani, Kapil 2 Vazquez-Chanlatte, Marcell 1 Balakrishnan, Anand 1 Bogdan, Paul 1 D’Antoni, Loris 1 Emerson, Ernest Allen 1 Ghosh, Shromona 1 Gupta, Prateek 1 Ito, Hisahiro 1 Johnson, Taylor T. 1 Juniwal, Garvit 1 Krogh, Bruce H. 1 Kyriakis, Panagiotis 1 Maler, Oded 1 Nenzi, Laura 1 Nguyen, Luan Viet 1 Paulsen, Brandon 1 Platzer, André 1 Puranic, Aniruddh G. 1 Raghothaman, Mukund 1 Ueda, Koichi 1 Wang, Chao 1 Yuan, Yifei 1 Zutshi, Aditya Serials 2 Formal Methods in System Design 1 Logical Methods in Computer Science 1 IEEE Control Systems all top 5 Fields 21 Computer science (68-XX) 10 Systems theory; control (93-XX) 4 Mathematical logic and foundations (03-XX) 2 Statistics (62-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 20 Publications have been cited 90 times in 73 Documents Cited by ▼ Year ▼ Regular functions and cost register automata (invited paper). Zbl 1366.68046Alur, Rajeev; D’Antoni, Loris; Deshmukh, Jyotirmoy; Raghothaman, Mukund; Yuan, Yifei 23 2013 Simulation-guided Lyapunov analysis for hybrid dynamical systems. Zbl 1362.93108Kapinski, James; Deshmukh, Jyotirmoy V.; Sankaranarayanan, Sriram; Arechiga, Nikos 14 2014 Nondeterministic streaming string transducers. Zbl 1333.68157Alur, Rajeev; Deshmukh, Jyotirmoy V. 9 2011 Powertrain control verification benchmark. Zbl 1362.93070Jin, Xiaoqing; Deshmukh, Jyotirmoy V.; Kapinski, James; Ueda, Koichi; Butts, Ken 7 2014 Robust online monitoring of signal temporal logic. Zbl 1370.68199Deshmukh, Jyotirmoy V.; Donzé, Alexandre; Ghosh, Shromona; Jin, Xiaoqing; Juniwal, Garvit; Seshia, Sanjit A. 6 2017 Automatic verification of parameterized data structures. Zbl 1180.68126Deshmukh, Jyotirmoy V.; Emerson, E. Allen; Gupta, Prateek 4 2006 Quantifying conformance using the Skorokhod metric. Zbl 1360.68629Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S. 4 2017 Mining requirements from closed-loop control models. Zbl 1362.93008Jin, Xiaoqing; Donzé, Alexandre; Deshmukh, Jyotirmoy V.; Seshia, Sanjit A. 4 2013 Interpretable classification of time-series data using efficient enumerative techniques. Zbl 07300850Mohammadinejad, Sara; Deshmukh, Jyotirmoy V.; Puranic, Aniruddh G.; Vazquez-Chanlatte, Marcell; Donzé, Alexandre 3 2020 Robustness analysis of networked systems. Zbl 1426.68186Samanta, Roopsha; Deshmukh, Jyotirmoy V.; Chaudhuri, Swarat 3 2013 Simulation-based approaches for verification of embedded control systems: an overview of traditional and advanced modeling, testing, and verification techniques. Zbl 1476.93075Kapinski, James; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing; Ito, Hisahiro; Butts, Ken 2 2016 Quantifying conformance using the Skorokhod metric. Zbl 1381.68156Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S. 2 2015 Stochastic local search for falsification of hybrid systems. Zbl 1471.68138Deshmukh, Jyotirmoy; Jin, Xiaoqing; Kapinski, James; Maler, Oded 2 2015 Clairvoyant monitoring for signal temporal logic. Zbl 07317097Qin, Xin; Deshmukh, Jyotirmoy V. 1 2020 Logical concurrency control from sequential proofs. Zbl 1260.68091Deshmukh, Jyotirmoy; Ramalingam, G.; Ranganath, Venkatesh-Prasad; Vaswani, Kapil 1 2010 Robustness analysis of string transducers. Zbl 1410.68210Samanta, Roopsha; Deshmukh, Jyotirmoy V.; Chaudhuri, Swarat 1 2013 Logical clustering and learning for time-series data. Zbl 1494.68232Vazquez-Chanlatte, Marcell; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing; Seshia, Sanjit A. 1 2017 Discovering forward invariant sets for nonlinear dynamical systems. Zbl 1327.37027Kapinski, James; Deshmukh, Jyotirmoy 1 2015 Symbolic-numeric reachability analysis of closed-loop control software. Zbl 1364.93058Zutshi, Aditya; Sankaranarayanan, Sriram; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing 1 2016 Abnormal data classification using time-frequency temporal logic. Zbl 1366.94120Nguyen, Luan Viet; Kapinski, James; Jin, Xiaoqing; Deshmukh, Jyotirmoy V.; Butts, Ken; Johnson, Taylor T. 1 2017 Interpretable classification of time-series data using efficient enumerative techniques. Zbl 07300850Mohammadinejad, Sara; Deshmukh, Jyotirmoy V.; Puranic, Aniruddh G.; Vazquez-Chanlatte, Marcell; Donzé, Alexandre 3 2020 Clairvoyant monitoring for signal temporal logic. Zbl 07317097Qin, Xin; Deshmukh, Jyotirmoy V. 1 2020 Robust online monitoring of signal temporal logic. Zbl 1370.68199Deshmukh, Jyotirmoy V.; Donzé, Alexandre; Ghosh, Shromona; Jin, Xiaoqing; Juniwal, Garvit; Seshia, Sanjit A. 6 2017 Quantifying conformance using the Skorokhod metric. Zbl 1360.68629Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S. 4 2017 Logical clustering and learning for time-series data. Zbl 1494.68232Vazquez-Chanlatte, Marcell; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing; Seshia, Sanjit A. 1 2017 Abnormal data classification using time-frequency temporal logic. Zbl 1366.94120Nguyen, 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.93075Kapinski, James; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing; Ito, Hisahiro; Butts, Ken 2 2016 Symbolic-numeric reachability analysis of closed-loop control software. Zbl 1364.93058Zutshi, Aditya; Sankaranarayanan, Sriram; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing 1 2016 Quantifying conformance using the Skorokhod metric. Zbl 1381.68156Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S. 2 2015 Stochastic local search for falsification of hybrid systems. Zbl 1471.68138Deshmukh, Jyotirmoy; Jin, Xiaoqing; Kapinski, James; Maler, Oded 2 2015 Discovering forward invariant sets for nonlinear dynamical systems. Zbl 1327.37027Kapinski, James; Deshmukh, Jyotirmoy 1 2015 Simulation-guided Lyapunov analysis for hybrid dynamical systems. Zbl 1362.93108Kapinski, James; Deshmukh, Jyotirmoy V.; Sankaranarayanan, Sriram; Arechiga, Nikos 14 2014 Powertrain control verification benchmark. Zbl 1362.93070Jin, Xiaoqing; Deshmukh, Jyotirmoy V.; Kapinski, James; Ueda, Koichi; Butts, Ken 7 2014 Regular functions and cost register automata (invited paper). Zbl 1366.68046Alur, Rajeev; D’Antoni, Loris; Deshmukh, Jyotirmoy; Raghothaman, Mukund; Yuan, Yifei 23 2013 Mining requirements from closed-loop control models. Zbl 1362.93008Jin, Xiaoqing; Donzé, Alexandre; Deshmukh, Jyotirmoy V.; Seshia, Sanjit A. 4 2013 Robustness analysis of networked systems. Zbl 1426.68186Samanta, Roopsha; Deshmukh, Jyotirmoy V.; Chaudhuri, Swarat 3 2013 Robustness analysis of string transducers. Zbl 1410.68210Samanta, Roopsha; Deshmukh, Jyotirmoy V.; Chaudhuri, Swarat 1 2013 Nondeterministic streaming string transducers. Zbl 1333.68157Alur, Rajeev; Deshmukh, Jyotirmoy V. 9 2011 Logical concurrency control from sequential proofs. Zbl 1260.68091Deshmukh, Jyotirmoy; Ramalingam, G.; Ranganath, Venkatesh-Prasad; Vaswani, Kapil 1 2010 Automatic verification of parameterized data structures. Zbl 1180.68126Deshmukh, Jyotirmoy V.; Emerson, E. Allen; Gupta, Prateek 4 2006 all cited Publications top 5 cited Publications all top 5 Cited by 211 Authors 5 Deshmukh, Jyotirmoy V. 4 Bartocci, Ezio 3 Allender, Eric W. 3 Chatterjee, Krishnendu 3 Grosu, Radu 3 Henzinger, Thomas A. 3 Ibarra, Oscar H. 3 Krebs, Andreas 3 Nickovic, Dejan 3 Platzer, André 3 Seshia, Sanjit Arunkumar 3 Vojnar, Tomáš 2 Alur, Rajeev 2 Babari, Parvaneh 2 Bloem, Roderick 2 Chockler, Hana 2 Droste, Manfred 2 Ebrahimi, Masoud 2 Eremondi, Joey 2 Filiot, Emmanuel 2 Fisman, Dana 2 Habermehl, Peter 2 Holík, Lukáš 2 Islam, Md. Ariful 2 Jha, Susmit 2 Mamouras, Konstantinos 2 Mazowiecki, Filip 2 McKenzie, Pierre 2 McQuillan, Ian 2 Muscholl, Anca 2 Nenzi, Laura 2 Otop, Jan 2 Perevoshchikov, Vitaly 2 Puppis, Gabriele 2 Raghothaman, Mukund 2 Reynier, Pierre-Alain 2 Rogalewicz, Adam 2 Schmude, Janusz 2 Smolka, Scott A. 2 Strichman, Ofer 2 Tan, Yong Kiam 2 Trivedi, Ashutosh 1 Abate, Alessandro 1 Ahrendt, Wolfgang 1 Aiswarya, Cyriac 1 Almagor, Shaull 1 André, Étienne 1 Arafailova, Ekaterina 1 Arcaini, Paolo 1 Aréchiga, Nikos 1 Aydin Gol, Ebru 1 Balkan, Ayça 1 Basset, Nicolas 1 Beldiceanu, Nicolas 1 Bianculli, Domenico 1 Biewer, Sebastian 1 Boiret, Adrien 1 Bojańczyk, Mikołaj 1 Bortolussi, Luca 1 Bose, Sougata 1 Bouajjani, Ahmed 1 Bouissou, Olivier 1 Bozga, Marius 1 Cadilhac, Michaël 1 Carton, Olivier 1 Castiglioni, Valentina 1 Černý, Pavol 1 Chapoutot, Alexandre 1 Chattopadhyay, Agnishom 1 Chen, Gang 1 Chen, Mingshuai 1 Clarke, Edmund Melson jun. 1 Cleaveland, Rance 1 Colombo, Christian 1 Cordwell, Katherine 1 Corso, Anthony 1 Dang, Thao 1 Dave, Vrunda 1 Daviaud, Laure 1 Dimitrova, Rayna 1 Djaballah, Adel 1 Dohmen, Taylor 1 Donzé, Alexandre 1 Dragomir, Iulia 1 Emerson, Ernest Allen 1 Ergurtuna, Mert 1 Falcone, Yliès 1 Fan, Chuchu 1 Fenton, Flavio H. 1 Francalanza, Adrian 1 Fries, Michael 1 Gazda, Maciej W. 1 Ghosh, Bineet 1 Ghosh, Shromona 1 Giacobbe, Mirco 1 Giesl, Peter 1 Guillon, Bruno 1 Hafstein, Sigurður Freyr 1 Hasuo, Ichiro 1 Heinze, Thomas S. ...and 111 more Authors all top 5 Cited in 16 Serials 11 Formal Methods in System Design 6 Theoretical Computer Science 3 Information Processing Letters 3 Automatica 3 Journal of Computer and System Sciences 3 Information and Computation 3 Nonlinear Analysis. Hybrid Systems 2 Acta Informatica 2 Logical Methods in Computer Science 1 International Journal of Foundations of Computer Science 1 The Journal of Artificial Intelligence Research (JAIR) 1 Constraints 1 European Journal of Control 1 Theory of Computing Systems 1 Fundamenta Informaticae 1 Discrete and Continuous Dynamical Systems. Series B all top 5 Cited in 11 Fields 62 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 12 Systems theory; control (93-XX) 4 Ordinary differential equations (34-XX) 3 Biology and other natural sciences (92-XX) 2 Numerical analysis (65-XX) 2 Operations research, mathematical programming (90-XX) 1 Associative rings and algebras (16-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Statistics (62-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year