Note: I have not been updating this page as regularly as I would like.

For a more up-to-date list of publicaitons, please see my DBLP entry.

Journal Publications, Magazine Articles:

**Simulation-based Approaches for Verification of Embedded Control Systems**

Abstract pdf bib**Quantifying Conformance using the Skorokhod metric**

Formal Methods in System Design (to appear)

Abstract pdf bib**Mining Temporal Requirements from Closed-loop Control Models**

X. Jin, A. Donzé, J. V. Deshmukh, S. A. Seshia.

IEEE Trans. on Computer-aided Design of Integrated Circuits and Systems

Abstract pdf bib**Logical Concurrency Control From Sequential Proofs**J. V. Deshmukh, G. Ramalingam, V. P. Ranganath, and K. Vaswani.

Logical Methods in Computer Science (LMCS)

Abstract pdf bib**Symbolic Modular Deadlock Analysis**J. V. Deshmukh, E. A. Emerson, S. Sankaranarayanan.

Journal of Automated Software Engineering, 2011.

Abstract pdf bib

**Underminer: a framework for automatically identifying non-converging behaviors in black box system models.**

A. Balkan, P. Tabuada, J. V. Deshmukh, X. Jin, J. Kapinski

EMSOFT 2016

Abstract pdf bib

EMSOFT 2016 Best Paper Award**Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software**

A. Zutshi, S. Sankaranarayanan, J. V. Deshmukh, X. Jin

HSCC 2016

Abstract pdf bib

Recipient of the Best Student Paper Award**Forward Invariant Cuts to Simplify Proofs of Safety**

N. Aréchiga, J. Kapinski, J. V. Deshmukh, A. Platzer, B. Krogh

EMSOFT 2015

Abstract pdf bib**Robust Online Monitoring for Signal Temporal Logic**

J. V. Deshmukh, A. Donzé, S. Ghosh, X. Jin, G. Juniwal, S. A. Seshia

Runtime Verification 2015

Abstract pdf bib

Best Paper Award**Quantifying Conformance Using the Skorokhod Metric**

J. V. Deshmukh, V. Prabhu, R. Majumdar

Computer-Aided Verification 2015

Abstract pdf bib**Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems**

T. Dreossi, T. Dang, A. Donzé, J. Kapinski, X. Jin, J. V. Deshmukh

NASA Symposium on Formal Methods 2015

Abstract pdf bib**Simulation-guided Contraction Analysis**

A. Balkan, J. V. Deshmukh, J. Kapinski, P. Tabuada

Indian Control Conference 2015

Abstract pdf bib

Recipient of Best Student Paper Award**Multiple Shooting, CEGAR-based Falsification for Hybrid Systems**

A. Zutshi, S. Sankaranarayanan, J. V. Deshmukh, J. Kapinski

Conf. on Embedded Software 2014

Abstract pdf bib

EMSOFT 2014 Best Paper Award**Simulation-guided Lyapunov Analysis for Hybrid Dynamical Systems**

J. Kapinski, J. V. Deshmukh, S. Sankaranarayanan, N. Aŕechiga

Hybrid Systems: Computation and Control (HSCC) 2014

Abstract pdf bib**Powertrain Control Verification Benchmark**

X. Jin, J. V. Deshmukh, J. Kapinski, K. Ueda, K. Butts

Hybrid Systems: Computation and Control (HSCC) 2014

Abstract pdf bib**Discovering Forward Invariant Sets for Nonlinear Dynamical Systems**

J. Kapinski, J. V. Deshmukh.

Applied Mathematics, Modeling and Computational Science (AMMCS) 2013

Abstract pdf bib**A Trajectory Splicing Approach to Concretizing Counterexamples for Hybrid Systems**

A. Zutshi, S. Sankaranarayanan, J. V. Deshmukh, J. Kapinski

Conference on Decision and Control 2013

Abstract pdf bib**Robustness Analysis of String Transducers**

R. Samanta, J. V. Deshmukh, and S. Chaudhuri.

Automated Technology for Verification and Analysis 2013

Abstract pdf bib**Regular Functions and Cost Register Automata**

R. Alur, L. D’Antoni, J. V. Deshmukh, M. Raghothaman, Y. Yuan.

Logic In Computer Science 2013

Abstract pdf bib**Mining Requirements from Closed-Loop Control Models,**

X. Jin, A. Donzé J. V. Deshmukh, and S. A. Seshia.

Hybrid Systems: Computation and Control (HSCC) 2013.

Abstract pdf bib pptx^{1}**Transit: Specifying Protocols with Concolic Snippets,**

R. Alur, J. V. Deshmukh, S. Mador-Haim, M. Martin, A. Raghavan, and A. Udupa.

Programming Languages Design and Implementation 2013.

Abstract pdf bib**Robustness Analysis for Networked Processes,**

R. Samanta, J. V. Deshmukh, S. Chaudhuri.

Verification Model Checking and Artificial Intelligence (VMCAI), 2013.

Abstract pdf bib**Nondeterministic Streaming String Transducers**R. Alur and J. V. Deshmukh.

Invited Paper, 38^{th}International Colloquium on Automata Languages and

Programming (ICALP), 2011.

Abstract pdf bib**Economical Transformations for Structured Data.**J. V. Deshmukh, E. A. Emerson, and R. Samanta.

UTCS Tech Report, 2010.

Abstract pdf bib**Logical Concurrency Control From Sequential Proofs**J. V. Deshmukh, G. Ramalingam, V. P. Ranganath, and K. Vaswani.

19^{th}European Symposium on Programming (ESOP) 2010.

ETAPS 2010 Best Paper Award

Abstract pdf bib TR**Verification of Recursive Methods on Tree-like Data Structures**J. V. Deshmukh, E. A. Emerson.

Formal Methods in Computer-Aided Design (FMCAD), 2009.

Abstract pdf slides bib**Symbolic Deadlock Analysis in Concurrent Libraries and their Clients**J. V. Deshmukh, E. A. Emerson, S. Sankaranarayanan.

24^{th}IEEE/ACM conference on Automated Software Engineering, 2009.

ACM SIGSOFT Distinguished Paper Award

Abstract pdf slides bib**Automatic Generation of Local Repairs for Boolean Programs.**R. Samanta, J. V. Deshmukh, E. A. Emerson.

Formal Methods in Computer-Aided Design (FMCAD), 2008.

Abstract pdf bib slides (Slides by R. Samanta)**Automatic Verification of Parameterized Data Structures**J. V. Deshmukh, E. A. Emerson, P.Gupta.

12^{th}International Conference on Tools and Algorithms for

the Construction and Analysis of Systems (TACAS), 2006.

Abstract pdf slides bib

**Piecewise Affine Approximations for a Powertrain Control Benchmark**

J. V. Deshmukh, H. Ito, X. Jin, J. Kapinski, K. Butts, J. Gerhard, B. Samadi, K. Walker, Y. Xie

Workshop on Applied Verification for Continuous and Hybrid Systems 2015

Abstract pdf bib**Numerically-aided Deductive Safety Proof for a Powertrain Control System**

N. Aréchiga, J. Kapinski, J. V. Deshmukh, A. Platzer and B. Krogh,

Numerical Software Verification 2015

Abstract pdf bib**Benchmarks for Model Transformations and Conformance Checking**

X. Jin, J. V. Deshmukh, J. Kapinski, K. Ueda, K. Butts

Workshop on Applied Verification for Continuous and Hybrid Systems

Abstract Linkbib

The papers available here appear in their final form electronically or in print.

The copyright is held by the publishers. The use of the material here for redistribution,

reprinting or commercial purposes is prohibited.