Jyotirmoy V. Deshmukh

According to our database, Jyotirmoy V. Deshmukh authored at least 119 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Statistical Reachability Analysis of Stochastic Cyber-Physical Systems Under Distribution Shift.

Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024

Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-Aware Verification.

Xin Qin, Yuan Xia, Aditya Zutshi, Chuchu Fan, Jyotirmoy V. Deshmukh

ACM Trans. Cyber Phys. Syst., April, 2024

Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic.

Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh, Yezhou Yang, Georgios Fainekos

Int. J. Robotics Res., February, 2024

Safety Assurance for Autonomous Mobility (Dagstuhl Seminar 24071).

Jyotirmoy Deshmukh, Bettina Könighofer, Dejan Nickovic, Filip Cano

Dagstuhl Reports, 2024

Potential Games on Cubic Splines for Self-Interested Multi-Agent Motion Planning.

Samuel Williams, Jyotirmoy Deshmukh

IEEE Control. Syst. Lett., 2024

Motion Planning for Automata-based Objectives using Efficient Gradient-based Methods.

Anand Balakrishnan, Merve Atasever, Jyotirmoy V. Deshmukh

CoRR, 2024

Formal Verification and Control with Conformal Prediction.

Lars Lindemann, Yiqi Zhao, Xinyi Yu, George J. Pappas, Jyotirmoy V. Deshmukh

CoRR, 2024

Scaling Learning based Policy Optimization for Temporal Tasks via Dropout.

Navid Hashemi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh

CoRR, 2024

Superflows: A New Tool for Forensic Network Flow Analysis.

Michael Collins, Jyotirmoy V. Deshmukh, Dristi Dinesh, Mukund Raghothaman, Srivatsan Ravi, Yuan Xia

CoRR, 2024

Conformal Predictive Programming for Chance Constrained Optimization.

Yiqi Zhao, Xinyi Yu, Jyotirmoy V. Deshmukh, Lars Lindemann

CoRR, 2024

Sampling-Based and Gradient-Based Efficient Scenario Generation.

Vidisha Kudalkar, Navid Hashemi, Shilpa Mukhopadhyay, Swapnil Mallick, Christof J. Budnik, Parinitha Nagaraja, Jyotirmoy V. Deshmukh

Proceedings of the Runtime Verification - 24th International Conference, 2024

Multi-agent Path Finding for Timed Tasks Using Evolutionary Games.

Sheryl Paul, Anand Balakrishnan, Xin Qin, Jyotirmoy V. Deshmukh

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

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

Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift.

Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

Survival of the Fittest: Evolutionary Adaptation of Policies for Environmental Shifts.

Sheryl Paul, Jyotirmoy V. Deshmukh

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Potential Games on Cubic Splines for Multi-Agent Motion Planning of Autonomous Agents.

Sam Williams, Jyotirmoy Deshmukh

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

Introduction to the Special Issue on Runtime Verification.

Jyotirmoy Deshmukh, Dejan Nickovic

Int. J. Softw. Tools Technol. Transf., August, 2023

Learning Performance Graphs From Demonstrations via Task-Based Evaluations.

Aniruddh Gopinath Puranic, Jyotirmoy V. Deshmukh, Stefanos Nikolaidis

IEEE Robotics Autom. Lett., 2023

Data-Driven Template-Free Invariant Generation.

Yuan Xia, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Srivatsan Ravi

CoRR, 2023

Signal Temporal Logic-Guided Apprenticeship Learning.

Aniruddh Gopinath Puranic, Jyotirmoy V. Deshmukh, Stefanos Nikolaidis

CoRR, 2023

Safety Monitoring for Pedestrian Detection in Adverse Conditions.

Swapnil Mallick, Shuvam Ghosal, Anand Balakrishnan, Jyotirmoy Deshmukh

Proceedings of the Runtime Verification - 23rd International Conference, 2023

SOL: Sampling-based Optimal Linear bounding of arbitrary scalar functions.

Yuriy Biktairov, Jyotirmoy Deshmukh

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Robust Testing for Cyber-Physical Systems using Reinforcement Learning.

Xin Qin, Nikos Aréchiga, Jyotirmoy Deshmukh, Andrew Best

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

Conformal Prediction for STL Runtime Verification.

Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems.

Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Conformance Testing for Stochastic Cyber-Physical Systems.

Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh

Proceedings of the Formal Methods in Computer-Aided Design, 2023

Convex Optimization-Based Policy Adaptation to Compensate for Distributional Shifts.

Navid Hashemi, Justin Ruths, Jyotirmoy V. Deshmukh

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference.

Navid Hashemi, Xin Qin, Lars Lindemann, Jyotirmoy V. Deshmukh

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata.

Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy V. Deshmukh

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives.

Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Tomoya Yamaguchi

Proceedings of the American Control Conference, 2023

2022

Autonomous Systems Design: Charting a New Discipline.

Selma Saidi, Dirk Ziegenbein, Jyotirmoy V. Deshmukh, Rolf Ernst

IEEE Des. Test, 2022

Guest Editors' Introduction: Special Issue on Autonomous Systems Design.

Selma Saidi, Dirk Ziegenbein, Jyotirmoy V. Deshmukh, Rolf Ernst

IEEE Des. Test, 2022

Multi Agent Path Finding using Evolutionary Game Theory.

Sheryl Paul, Jyotirmoy V. Deshmukh

CoRR, 2022

Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic.

Sara Mohammadinejad, Jesse Thomason, Jyotirmoy V. Deshmukh

CoRR, 2022

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives.

Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh

CoRR, 2022

Pareto Policy Adaptation.

Panagiotis Kyriakis, Jyotirmoy Deshmukh, Paul Bogdan

Proceedings of the Tenth International Conference on Learning Representations, 2022

Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference.

Xin Qin, Yuan Xian, Aditya Zutshi, Chuchu Fan, Jyotirmoy V. Deshmukh

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Poster Abstract: Learning from Demonstrations with Temporal Logics.

Aniruddh Gopinath Puranic, Jyotirmoy Deshmukh, Stefanos Nikolaidis

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives.

Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Learning from Demonstrations under Stochastic Temporal Logic Constraints.

Panagiotis Kyriakis, Jyotirmoy V. Deshmukh, Paul Bogdan

Proceedings of the American Control Conference, 2022

2021

Specifying and detecting temporal patterns with shape expressions.

Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy Deshmukh

Int. J. Softw. Tools Technol. Transf., 2021

Learning From Demonstrations Using Signal Temporal Logic in Stochastic and Continuous Domains.

Aniruddh Gopinath Puranic, Jyotirmoy V. Deshmukh, Stefanos Nikolaidis

IEEE Robotics Autom. Lett., 2021

Mining Shape Expressions with ShapeIt.

Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

PerceMon: Online Monitoring for Perception Systems.

Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos

Proceedings of the Runtime Verification - 21st International Conference, 2021

Trust-aware Control for Intelligent Transportation Systems.

Mingxi Cheng, Junyao Zhang, Shahin Nazarian, Jyotirmoy Deshmukh, Paul Bogdan

Proceedings of the IEEE Intelligent Vehicles Symposium, 2021

DiffRNN: Differential Verification of Recurrent Neural Networks.

Sara Mohammadinejad, Brandon Paulsen, Jyotirmoy V. Deshmukh, Chao Wang

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021

Non-Markovian Reinforcement Learning using Fractional Dynamics.

Gaurav Gupta, Chenzhong Yin, Jyotirmoy V. Deshmukh, Paul Bogdan

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems.

Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi

Proceedings of the Automated Technology for Verification and Analysis, 2021

A General Trust Framework for Multi-Agent Systems.

Mingxi Cheng, Chenzhong Yin, Junyao Zhang, Shahin Nazarian, Jyotirmoy Deshmukh, Paul Bogdan

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Mining Shape Expressions From Positive Examples.

Ezio Bartocci, Jyotirmoy Deshmukh, Felix Gigler, Cristinel Mateis, Dejan Nickovic, Xin Qin

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Model-based Reinforcement Learning from Signal Temporal Logic Specifications.

Parv Kapoor, Anand Balakrishnan, Jyotirmoy V. Deshmukh

CoRR, 2020

Parameter Searching and Partition with Probabilistic Coverage Guarantees.

Chuchu Fan, Xin Qin, Jyotirmoy V. Deshmukh

CoRR, 2020

Specification-guided Software Fault Localization for Autonomous Mobile Systems.

Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Jyotirmoy V. Deshmukh

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

Mining Environment Assumptions for Cyber-Physical System Models.

Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

EDA for Autonomous Behavior Assurance.

Selma Saidi, Dirk Ziegenbein, Jyotirmoy V. Deshmukh, Rolf Ernst

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

Interpretable classification of time-series data using efficient enumerative techniques.

Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Clairvoyant Monitoring for Signal Temporal Logic.

Xin Qin, Jyotirmoy V. Deshmukh

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

Learning from Demonstrations using Signal Temporal Logic.

Aniruddh Gopinath Puranic, Jyotirmoy Deshmukh, Stefanos Nikolaidis

Proceedings of the 4th Conference on Robot Learning, 2020

2019

Specification Mining and Robust Design under Uncertainty: A Stochastic Temporal Logic Approach.

Panagiotis Kyriakis, Jyotirmoy V. Deshmukh, Paul Bogdan

ACM Trans. Embed. Comput. Syst., 2019

Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071).

Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic

Dagstuhl Reports, 2019

Automatic Testing and Falsification with Dynamically Constrained Reinforcement Learning.

Xin Qin, Nikos Aréchiga, Andrew Best, Jyotirmoy V. Deshmukh

CoRR, 2019

Using Logical Specifications of Objectives in Multi-Objective Reinforcement Learning.

Kolby Nottingham, Anand Balakrishnan, Jyotirmoy V. Deshmukh, Connor Christopherson, David Wingate

CoRR, 2019

Preview of predictive monitoring for signal temporal logic with probabilistic guarantees.

Xin Qin, Jyotirmoy V. Deshmukh

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019

Shape Expressions for Specifying and Extracting Signal Features.

Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy V. Deshmukh

Proceedings of the Runtime Verification - 19th International Conference, 2019

Structured Reward Shaping using Signal Temporal Logic specifications.

Anand Balakrishnan, Jyotirmoy V. Deshmukh

Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper.

Jyotirmoy V. Deshmukh, James Kapinski, Tomoya Yamaguchi, Danil V. Prokhorov

Proceedings of the International Conference on Computer-Aided Design, 2019

Predictive monitoring for signal temporal logic with probabilistic guarantees: poster abstract.

Xin Qin, Jyotirmoy V. Deshmukh

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Structured reward functions using STL: poster abstract.

Anand Balakrishnan, Jyotirmoy V. Deshmukh

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems.

Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems.

Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Aréchiga, Soonho Kong

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.

Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan

Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

Underminer: A Framework for Automatically Identifying Nonconverging Behaviors in Black-Box System Models.

Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski

ACM Trans. Embed. Comput. Syst., 2018

Joint Probability Distribution of Prediction Errors of ARIMA.

Xin Qin, Jyotirmoy V. Deshmukh

CoRR, 2018

Time-Series Learning Using Monotonic Logical Properties.

Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Proceedings of the Runtime Verification - 18th International Conference, 2018

Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic.

Adel Dokhanchi, Heni Ben Amor, Jyotirmoy V. Deshmukh, Georgios Fainekos

Proceedings of the Runtime Verification - 18th International Conference, 2018

Opportunities and Challenges in Monitoring Cyber-Physical Systems Security.

Borzoo Bonakdarpour, Jyotirmoy V. Deshmukh, Miroslav Pajic

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Parameter optimization in control software using statistical fault localization techniques.

Jyotirmoy V. Deshmukh, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Stochastic Temporal Logic Abstractions: Challenges and Opportunities.

Jyotirmoy V. Deshmukh, Panagiotis Kyriakis, Paul Bogdan

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

Reasoning about safety of learning-enabled components in autonomous cyber-physical systems.

Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito, Jyotirmoy V. Deshmukh

Proceedings of the 55th Annual Design Automation Conference, 2018

2017

Testing Cyber-Physical Systems through Bayesian Optimization.

Jyotirmoy V. Deshmukh, Marko Horvat, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu

ACM Trans. Embed. Comput. Syst., 2017

Quantifying conformance using the Skorokhod metric.

Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu

Formal Methods Syst. Des., 2017

Robust online monitoring of signal temporal logic.

Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia

Formal Methods Syst. Des., 2017

Special session on early life failures.

Jyotirmoy V. Deshmukh, Wolfgang Kunz, Hans-Joachim Wunderlich, Sybille Hellebrand

Proceedings of the 35th IEEE VLSI Test Symposium, 2017

Hyperproperties of real-valued signals.

Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

Abnormal Data Classification Using Time-Frequency Temporal Logic.

Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Ken Butts, Taylor T. Johnson

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Logical Clustering and Learning for Time-Series Data.

Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Learning Auditable Features from Signals Using Unsupervised Temporal Projection.

Marcell V.-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia

CoRR, 2016

Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software.

Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, Xiaoqing Jin

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

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

Proceedings of the 2016 International Conference on Embedded Software, 2016

2015

Mining Requirements From Closed-Loop Control Models.

Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, Sanjit A. Seshia

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

Quantifying Conformance using the Skorokhod Metric (full version).

Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu

CoRR, 2015

Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems.

Tommaso Dreossi, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Falsification of safety properties for closed loop control systems.

Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski, Xiaoqing Jin

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Forward invariant cuts to simplify proofs of safety.

Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh

Proceedings of the 2015 International Conference on Embedded Software, 2015

Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark.

Jyotirmoy V. Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Kenneth R. Butts, Jürgen Gerhard, Behzad Samadi, Kevin Walker, Yuzhen Xie

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Stochastic Local Search for Falsification of Hybrid Systems.

Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski, Oded Maler

Proceedings of the Automated Technology for Verification and Analysis, 2015

Simulation-guided approaches for verification of automotive powertrain control systems.

James Kapinski, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Hisahiro Ito, Kenneth R. Butts

Proceedings of the American Control Conference, 2015

Automotive systems requirement mining using breach.

Alexandre Donzé, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Sanjit A. Seshia

Proceedings of the American Control Conference, 2015

Beyond single shooting: Iterative approaches to falsification.

Jyotirmoy V. Deshmukh, Georgios Fainekos, James Kapinski, Sriram Sankaranarayanan, Aditya Zutshi, Xiaoqing Jin

Proceedings of the American Control Conference, 2015

2014

Numerically-aided Deductive Safety Proof for a Powertrain Control System.

Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2014

Conformance Testing as Falsification for Cyber-Physical Systems.

Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda

CoRR, 2014

WiP abstract: Conformance testing as falsification for cyber-physical systems.

Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Simulation-guided lyapunov analysis for hybrid dynamical systems.

James Kapinski, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, Nikos Aréchiga

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Powertrain control verification benchmark.

Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda, Kenneth R. Butts

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Multiple shooting, CEGAR-based falsification for hybrid systems.

Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, James Kapinski

Proceedings of the 2014 International Conference on Embedded Software, 2014

2013

Robustness Analysis of Networked Systems.

Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri

Proceedings of the Verification, 2013

TRANSIT: specifying protocols with concolic snippets.

Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M. K. Martin, Rajeev Alur

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Regular Functions and Cost Register Automata.

Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

A trajectory splicing approach to concretizing counterexamples for hybrid systems.

Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Robustness Analysis of String Transducers.

Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri

Proceedings of the Automated Technology for Verification and Analysis, 2013

2011

Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems

Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan

CoRR, 2011

Logical Concurrency Control from Sequential Proofs

Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani

Log. Methods Comput. Sci., 2011

Symbolic modular deadlock analysis.

Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan

Autom. Softw. Eng., 2011

Nondeterministic Streaming String Transducers.

Rajeev Alur, Jyotirmoy V. Deshmukh

Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

2009

Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients.

Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan

Proceedings of the ASE 2009, 2009

Verification of recursive methods on tree-like data structures.

Jyotirmoy V. Deshmukh, E. Allen Emerson

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008

Automatic Generation of Local Repairs for Boolean Programs.

Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson

Proceedings of the Formal Methods in Computer-Aided Design, 2008

2006

Automatic Verification of Parameterized Data Structures.

Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006