Selected Publications

Publications

Published articles and manuscripts from the Jha lab

Copyright for the articles are held by the publishers. Personal use of this material is permitted.  Permission
from the published must be obtained for all other uses, in any current or future
media, including reprinting/republishing this material for advertising
or promotional purposes, creating new collective works, for resale or
redistribution to servers or lists, or reuse of any copyrighted
component of this work in other works.

Attribution-Based Confidence Metric For Deep Neural Networks, Thirty-third Conference on Neural Information Processing Systems (NeurIPS) 2019, (in press)

Towards AI-driven Predictive Modeling of Turbines using Big Data, AIAA Propulsion and Energy Forum and Exposition, Indianapolis, Indiana, 2019, (in press)Digital Twin

Attribution-driven Causal Analysis for Detection of Adversarial Examples, Safe Machine Learning, Specification, Robustness and Assurance (SafeML), ICLR 2019 Workshop , ArXiv Report.

On the Susceptibility of Deep Neural Networks to Natural Perturbations (BEST PAPER Candidate), AISafety Workshop at the International Joint Conference on Artificial Intelligence (IJCAI) 2019, (in press)

Directed Adversarial Attacks on Fingerprints using Attributions, International Conference on Biometrics, Crete, Greece, (in press)

Predicting Heart Rate Variations of DeepFake Videos using Neural ODEs, Computer Vision and Physiological Measurements (CVPM) workshop co-located with International Conference in Computer Vision (ICCV) 2019, (in press)

Input-aware Flow-based Computing on Memristor Crossbars with Applications to Edge Detection, IEEE Journal on Emerging and Selected Topics in Circuits and Systems (JETCAS) Impact Factor: 2.542,Memristor Crossbar for Computer Vision

Free Binary Decision Diagram Based Synthesis of Compact Crossbars for in-Memory Computing of Boolean Functions, IEEE Transactions on Circuits and Systems II: Express Briefs , Year: 2018 Volume: 65 , Issue: 5

Parallel Transitive Closure Within 3D Crosspoint Memory, Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures (SPAA '18), ACM, Vienna, Austria, 2018, pp. 95-98.

3D Crosspoint Memory as a Parallel Architecture for Computing Network Reachability, 36th International Conference on Computer Design (ICCD), IEEE, Orlando, FL, USA, 2018, pp. 171-178

Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems, Formal Modeling and Analysis of Timed Systems (FORMATS) , Springer, Lecture Notes in Computer Science, 2018, vol 11022.

Mathematically Rigorous Verification and Validation of Scientific Machine Learning, DOE ASCR Workshop on Scientific Machine Learning (SciML), 2018.

Predicting Success in Undergraduate Parallel Programming via Probabilistic Causality Analysis, International Parallel and Distributed Processing Symposium Workshops (IPDPSW), IEEE, Vancouver, BC, 2018, pp. 347-352.

Automated synthesis of compact crossbars for sneak-path based in-memory computing, Design, Automation & Test in Europe Conference & Exhibition (DATE), IEEE, Lausanne, Switzerland, 2017, pp. 770-775.

In-Memory Execution of Compute Kernels using Flow-based Memristive Crossbar Computing, International Conference on Rebooting Computing (ICRC), IEEE, Washington, DC, 2017, pp. 1-6.

SATYA: Defending against Adversarial Attacks using Statistical Hypothesis Testing (BEST PAPER Award), The 10th International Symposium on Foundations and Practice of Security (FPS 2017), Springer, Nancy, France, BEST PAPER AWARD, Lecture Notes in Computer Science, vol 10723, 2017.

Testing Autonomous Cyber-Physical Systems using Fuzzing Features Derived from Convolutional Neural Networks, Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 (EMSOFT '17), ACM, Seoul, South Korea, 2017, 2 pages.

Computation of Boolean Matrix Chain Products in 3D ReRAM, IEEE International Symposium on Circuits and Systems (ISCAS), IEEE, Baltimore, MD, 2017, pp. 1-4.

Design of Compact Memristive In-Memory Computing Systems using Model Counting, International Symposium on Circuits and Systems (ISCAS), IEEE, Baltimore, MD, 2017, pp. 1-4.

A Compact 8-bit Adder Design using In-Memory Memristive Computing: Towards Solving the Feynman Grand Prize Challenge, IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH), IEEE/ACM, Newport, RI, 2017, pp. 67-72.

Flow-based computing on nanoscale crossbars: Design and implementation of full adders, IEEE International Symposium on Circuits and Systems (ISCAS),IEEE, Montreal, QC, 2016, pp. 1870-1873.

Automated synthesis of stochastic computational elements using decision procedures, IEEE International Symposium on Circuits and Systems (ISCAS), IEEE, Montreal, QC, 2016, pp. 1678-1681.

Statistical Hypothesis Testing using CNN Features for Synthesis of Adversarial Counterexamples to Human and Object Detection Vision Systems, Oak Ridge National Laboratory Technical Report, vol. ORNL/LTR-2017/118. 2017.

Parallel boolean matrix multiplication in linear time using rectifying memristors, IEEE International Symposium on Circuits and Systems (ISCAS), IEEE, Montreal, QC, 2016, pp. 1874-1877.

Automated parameter estimation for biological models using Bayesian statistical model checking, BMC Bioinformatics, vol. 16, no. 17, 2015, pp. S8. BEST PAPER AWARD at IEEE ICCABS 2014

Automated synthesis of crossbars for nanoscale computing using formal methods, IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH´15), IEEE/ACM, Boston, MA, 2015, pp. 130-136.

Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision, IEEE Design, Automation & Test in Europe Conference & Exhibition (DATE), IEEE, Dresden, 2016, pp. 786-791.

Fault-tolerant in-memory crossbar computing using quantified constraint solving, IEEE International Conference on Computer Design (ICCD),IEEE, New York, NY, 2015, pp. 101-108.

Model validation and discovery for complex stochastic systems, PhD Dissertation, Carnegie Mellon University, 2010

A Bayesian approach to model checking biological systems, International Conference on Computational Methods in Systems Biology (CMSB), Springer. Lecture Notes in Computer Science, vol 5688.

d-IRA: A distributed reachability algorithm for analysis of linear hybrid automata, Hybrid Systems: Computation and Control (HSCC), Springer, Lecture Notes in Computer Science, 2008, vol 4981.

A counterexample-guided approach to parameter synthesis for linear hybrid automata, Hybrid Systems: Computation and Control (HSCC) , Springer, Lecture Notes in Computer Science, 2008, vol 4981.

Reachability for linear hybrid automata using iterative relaxation abstraction, Hybrid Systems: Computation and Control (HSCC) , Springer, Lecture Notes in Computer Science, 2007, vol 4416.

Temporal logic model checking, Handbook of Networked and Embedded Control Systems, Springer, 2005, pp: 539-558