Research Publications Teaching Group
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:
  1. Simulation-based Approaches for Verification of Embedded Control Systems
    Abstract pdf bib
  2. Quantifying Conformance using the Skorokhod metric
    Formal Methods in System Design (to appear)
    Abstract pdf bib
  3. 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
  4. 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
  5. Symbolic Modular Deadlock Analysis
    J. V. Deshmukh, E. A. Emerson, S. Sankaranarayanan.
    Journal of Automated Software Engineering, 2011.
    Abstract pdf bib
Conference Publications:
  1. 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
  2. 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
  3. 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
  4. 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
  5. Quantifying Conformance Using the Skorokhod Metric
    J. V. Deshmukh, V. Prabhu, R. Majumdar
    Computer-Aided Verification 2015
    Abstract pdf bib
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. Discovering Forward Invariant Sets for Nonlinear Dynamical Systems
    J. Kapinski, J. V. Deshmukh.
    Applied Mathematics, Modeling and Computational Science (AMMCS) 2013
    Abstract pdf bib
  12. 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
  13. Robustness Analysis of String Transducers
    R. Samanta, J. V. Deshmukh, and S. Chaudhuri.
    Automated Technology for Verification and Analysis 2013
    Abstract pdf bib
  14. 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
  15. 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
  16. 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
  17. Robustness Analysis for Networked Processes,
    R. Samanta, J. V. Deshmukh, S. Chaudhuri.
    Verification Model Checking and Artificial Intelligence (VMCAI), 2013.
    Abstract pdf bib
  18. Nondeterministic Streaming String Transducers
    R. Alur and J. V. Deshmukh.
    Invited Paper, 38th International Colloquium on Automata Languages and
    Programming (ICALP), 2011.
    Abstract pdf bib
  19. Economical Transformations for Structured Data.
    J. V. Deshmukh, E. A. Emerson, and R. Samanta.
    UTCS Tech Report, 2010.
    Abstract pdf bib
  20. Logical Concurrency Control From Sequential Proofs
    J. V. Deshmukh, G. Ramalingam, V. P. Ranganath, and K. Vaswani.
    19th European Symposium on Programming (ESOP) 2010.
    ETAPS 2010 Best Paper Award
    Abstract pdf bib TR
  21. 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
  22. Symbolic Deadlock Analysis in Concurrent Libraries and their Clients
    J. V. Deshmukh, E. A. Emerson, S. Sankaranarayanan.
    24th IEEE/ACM conference on Automated Software Engineering, 2009.
    ACM SIGSOFT Distinguished Paper Award
    Abstract pdf slides bib
  23. 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
  24. Automatic Verification of Parameterized Data Structures
    J. V. Deshmukh, E. A. Emerson, P.Gupta.
    12th International Conference on Tools and Algorithms for
    the Construction and Analysis of Systems (TACAS), 2006.
    Abstract pdf slides bib
Workshop Publications:
  1. 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
  2. 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
  3. 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

1. Please note that you will need Texpoint installed to view all fonts in this Powerpoint presentation

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.