Jyotirmoy V. Deshmukh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
40
Venues
20
Active years
2006–2025
Best venue rank
A*
Where they publish
Papers
40 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMCAD | Guiding Likely Invariant Synthesis on Distributed Systems with Large Language Models. | Yuan Xia, Aabha Shailesh Pingle, Deepayan Sur, Srivatsan Ravi, Mukund Raghothaman, Jyotirmoy V. Deshmukh |
| 2025 | RV | Conformal Predictive Monitoring for Multi-modal Scenarios. | Francesca Cairoli, Luca Bortolussi, Jyotirmoy V. Deshmukh, Lars Lindemann, Nicola Paoletti |
| 2025 | VMCAI | Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning. | Yuan Xia, Deepayan Sur, Aabha Shailesh Pingle, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Srivatsan Ravi |
| 2024 | ECAI | Survival of the Fittest: Evolutionary Adaptation of Policies for Environmental Shifts. | Sheryl Paul, Jyotirmoy V. Deshmukh |
| 2024 | IROS | Motion Planning for Automata-based Objectives using Efficient Gradient-based Methods. | Anand Balakrishnan, Merve Atasever, Jyotirmoy V. Deshmukh |
| 2024 | IROS | Signal Temporal Logic-Guided Apprenticeship Learning. | Aniruddh Gopinath Puranic, Jyotirmoy V. Deshmukh, Stefanos Nikolaidis |
| 2024 | MEMOCODE | Safety Assurance for Autonomous Systems with Multiple Sensor Modalities. | Anand Balakrishnan, Rohit Bernard, Shreeram Narayanan, Vidisha Kudalkar, Yiqi Zhao, Parinitha Nagaraja, Georgi A. Markov, Christof J. Budnik, Helmut Degen, Lars Lindemann, Jyotirmoy V. Deshmukh |
| 2024 | RV | Sampling-Based and Gradient-Based Efficient Scenario Generation. | Vidisha Kudalkar, Navid Hashemi, Shilpa Mukhopadhyay, Swapnil Mallick, Christof J. Budnik, Parinitha Nagaraja, Jyotirmoy V. Deshmukh |
| 2024 | VECoS | Systematic Translation from Natural Language Robot Task Descriptions to STL. | Sara Mohammadinejad, Sheryl Paul, Yuan Xia, Vidisha Kudalkar, Jesse Thomason, Jyotirmoy V. Deshmukh |
| 2023 | FMCAD | Conformance Testing for Stochastic Cyber-Physical Systems. | Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh |
| 2021 | ATVA | Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems. | Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi |
| 2020 | ICCAD | EDA for Autonomous Behavior Assurance. | Selma Saidi, Dirk Ziegenbein, Jyotirmoy V. Deshmukh, Rolf Ernst |
| 2020 | MEMOCODE | Specification-guided Software Fault Localization for Autonomous Mobile Systems. | Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Jyotirmoy V. Deshmukh |
| 2019 | CAV | Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems. | Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Archiga, Soonho Kong |
| 2019 | DATE | Specifying and Evaluating Quality Metrics for Vision-based Perception Systems. | Anand Balakrishnan, Aniruddh Gopinath Puranic, Xin Qin, Adel Dokhanchi, Jyotirmoy V. Deshmukh, Heni Ben Amor, Georgios Fainekos |
| 2019 | ICCAD | Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper. | Jyotirmoy V. Deshmukh, James Kapinski, Tomoya Yamaguchi, Danil V. Prokhorov |
| 2019 | IROS | Structured Reward Shaping using Signal Temporal Logic specifications. | Anand Balakrishnan, Jyotirmoy V. Deshmukh |
| 2019 | RV | Shape Expressions for Specifying and Extracting Signal Features. | Dejan Nickovic, Xin Qin, Thomas Ferrre, Cristinel Mateis, Jyotirmoy V. Deshmukh |
| 2018 | DAC | Reasoning about safety of learning-enabled components in autonomous cyber-physical systems. | Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito, Jyotirmoy V. Deshmukh |
| 2018 | ISoLA | Opportunities and Challenges in Monitoring Cyber-Physical Systems Security. | Borzoo Bonakdarpour, Jyotirmoy V. Deshmukh, Miroslav Pajic |
| 2018 | RV | Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic. | Adel Dokhanchi, Heni Ben Amor, Jyotirmoy V. Deshmukh, Georgios Fainekos |
| 2018 | RV | Time-Series Learning Using Monotonic Logical Properties. | Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2017 | CAV | Logical Clustering and Learning for Time-Series Data. | Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia |
| 2017 | MEMOCODE | Hyperproperties of real-valued signals. | Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson |
| 2017 | VTS | Special session on early life failures. | Jyotirmoy V. Deshmukh, Wolfgang Kunz, Hans-Joachim Wunderlich, Sybille Hellebrand |
| 2016 | EMSOFT | Underminer: a framework for automatically identifying non-converging behaviors in black box system models. | Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski |
| 2015 | ATVA | Stochastic Local Search for Falsification of Hybrid Systems. | Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski, Oded Maler |
| 2015 | CAV | Quantifying Conformance Using the Skorokhod Metric. | Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu |
| 2015 | EMSOFT | Forward invariant cuts to simplify proofs of safety. | Nikos Archiga, James Kapinski, Jyotirmoy V. Deshmukh, Andr Platzer, Bruce H. Krogh |
| 2015 | RV | Robust Online Monitoring of Signal Temporal Logic. | Jyotirmoy V. Deshmukh, Alexandre Donz, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia |
| 2014 | EMSOFT | Multiple shooting, CEGAR-based falsification for hybrid systems. | Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, James Kapinski |
| 2013 | ATVA | Robustness Analysis of String Transducers. | Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri |
| 2013 | LICS | Regular Functions and Cost Register Automata. | Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan |
| 2013 | PLDI | TRANSIT: specifying protocols with concolic snippets. | Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M. K. Martin, Rajeev Alur |
| 2013 | VMCAI | Robustness Analysis of Networked Systems. | Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri |
| 2011 | ICALP | Nondeterministic Streaming String Transducers. | Rajeev Alur, Jyotirmoy V. Deshmukh |
| 2010 | ESOP | Logical Concurrency Control from Sequential Proofs. | Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
| 2009 | FMCAD | Verification of recursive methods on tree-like data structures. | Jyotirmoy V. Deshmukh, E. Allen Emerson |
| 2008 | FMCAD | Automatic Generation of Local Repairs for Boolean Programs. | Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson |
| 2006 | TACAS | Automatic Verification of Parameterized Data Structures. | Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta |