Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Edit Your Profile
Jha, Sumit Kumar
Positions
Professor
,
Knight Foundation School of Computing and Information Sciences
,
College of Engineering and Computing
sjha@fiu.edu
Google Scholar
LinkedIn
ResearchGate
Website
Share this page
Twitter
Email
Copy link
Share
Overview
Scholarly & Creative Works
Research
Contact
Identifiers
View All
Overview
research interests
Artificial Intelligence, Quantum Computing, Logic and Automata Theory, Emerging Architectures
Scholarly & Creative Works
selected scholarly works & creative activities
Article
2025
A state-of-the-art survey on noise removal in a non-stationary signal using adaptive finite impulse response filtering: challenges, techniques, and applications
.
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE
. 56:885-918.
Full Text via DOI:
10.1080/00207721.2024.2409850
2025
LOGIC: Logic Synthesis for Digital In-Memory Computing
.
ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS
. 30.
Full Text via DOI:
10.1145/3711848
2024
PATH: Evaluation of Boolean Logic Using Path-Based In-Memory Computing Systems
.
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
. 43:1387-1400.
Full Text via DOI:
10.1109/TCAD.2023.3344523
Web of Science:
001225897600006
2024
Exploring the Predictive Capabilities of AlphaFold Using Adversarial Protein Sequences
Full Text via DOI:
10.1109/TAI.2024.3353708
2023
STREAM: Toward READ-Based In-Memory Computing for Streaming-Based Processing for Data-Intensive Applications
.
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
. 42:3854-3867.
Full Text via DOI:
10.1109/TCAD.2023.3263723
Web of Science:
001098114300029
2022
COMPACT: Flow-Based Computing on Nanoscale Crossbars With Minimal Semiperimeter and Maximum Dimension
.
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
. 41:4600-4611.
Full Text via DOI:
10.1109/TCAD.2021.3138356
Web of Science:
000877295000091
2022
XMAP: Programming Memristor Crossbars for Analog Matrix-Vector Multiplication: Toward High Precision Using Representable Matrices
.
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
. 41:1827-1841.
Full Text via DOI:
10.1109/TCAD.2021.3097299
Web of Science:
000799624800022
2021
Investigation of ReRAM Variability on Flow-Based Edge Detection Computing Using HfO
2
-Based ReRAM Arrays
.
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS
. 68:2900-2910.
Full Text via DOI:
10.1109/TCSI.2021.3072210
Web of Science:
000658349200013
2021
A formula for the number of non-negative integer solutions of a(1)x(1)
Full Text via DOI:
10.7546/nntdm.2021.27.2.64-69
Web of Science:
000665848000008
2020
Design and Fabrication of Flow-Based Edge Detection Memristor Crossbar Circuits
1
.
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS
. 67:961-965.
Full Text via DOI:
10.1109/TCSII.2020.2984155
Web of Science:
000531324100033
2020
Attacking NIST biometric image software using nonlinear optimization
.
PATTERN RECOGNITION LETTERS
. 131:79-84.
Full Text via DOI:
10.1016/j.patrec.2019.12.003
Web of Science:
000521971700012
2018
Free Binary Decision Diagram-Based Synthesis of Compact Crossbars for In-Memory Computing
.
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS
. 65:622-626.
Full Text via DOI:
10.1109/TCSII.2018.2821678
Web of Science:
000431451700020
2017
A theorem proving approach for automatically synthesizing visualizations of flow cytometry data
.
BMC BIOINFORMATICS
. 18.
Full Text via DOI:
10.1186/s12859-017-1662-4
Web of Science:
000410134600004
2015
Automated parameter estimation for biological models using Bayesian statistical model checking
.
BMC BIOINFORMATICS
. 16.
Full Text via DOI:
10.1186/1471-2105-16-S17-S8
Web of Science:
000367880900008
2014
Discovering rare behaviours in stochastic differential equations using decision procedures: Applications to a minimal cell cycle model
Full Text via DOI:
10.1504/IJBRA.2014.062999
2014
Parameter discovery in stochastic biological models using simulated annealing and statistical model checking
Full Text via DOI:
10.1504/IJBRA.2014.062998
2013
Big-Data-Driven Control Strategies for Complex Networks
Full Text via DOI:
10.4172/2165-7866.1000e117
2012
Exploring behaviors of stochastic differential equation models of biological systems using change of measures
.
BMC BIOINFORMATICS
. 13.
Full Text via DOI:
10.1186/1471-2105-13-S5-S8
Web of Science:
000303938200008
2012
Synthesis of insulin pump controllers from safety specifications using Bayesian model validation
Full Text via DOI:
10.1504/IJBRA.2012.048964
2011
Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
.
THEORETICAL COMPUTER SCIENCE
. 412:2162-2187.
Full Text via DOI:
10.1016/j.tcs.2011.01.012
Web of Science:
000290078000007
2011
Parameter estimation and synthesis for systems biology: New algorithms for nonlinear and stochastic models
.
JOURNAL OF CRITICAL CARE
. 26:e8.
Full Text via DOI:
10.1016/j.jcrc.2010.12.031
2007
Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming
Full Text via DOI:
10.1016/j.entcs.2006.12.023
Web of Science:
000214230800006
Book Chapter
2025
Towards a Game-Theoretic Understanding of Explanation-Based Membership Inference Attacks
. 263-283.
Full Text via DOI:
10.1007/978-3-031-74835-6_13
Web of Science:
001416979800013
2018
: Defending Against Adversarial Attacks Using Statistical Hypothesis Testing
. 277-292.
Full Text via DOI:
10.1007/978-3-319-75650-9_18
2018
Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems
. 235-251.
Full Text via DOI:
10.1007/978-3-030-00151-3_14
Web of Science:
000884993200014
2005
Temporal Logic Model Checking
. 539-558.
Full Text via DOI:
10.1007/0-8176-4404-0_23
Conference
2024
Execution Sequence Optimization for Processing In-Memory using Parallel Data Preparation
Full Text via DOI:
10.1145/3649329.3657348
2024
On the Design of Novel Attention Mechanism for Enhanced Efficiency of Transformers
Full Text via DOI:
10.1145/3649329.3658253
2024
Synthesis of Compact Flow-based Computing Circuits from Boolean Expressions
Full Text via DOI:
10.1145/3649329.3657340
2024
Co-Synthesis of Code and Formal Models Using Large Language Models and Functors
. 215-220.
Full Text via DOI:
10.1109/MILCOM61039.2024.10773930
Web of Science:
001419571100072
2024
Human Fatality Estimation in Aircraft Accidents
. 190-193.
Full Text via DOI:
10.1109/NAECON61878.2024.10670669
Web of Science:
001323558600035
2024
Intelligence, Surveillance and Reconnaissance Task Specifications in Temporal Logics
. 633-638.
Full Text via DOI:
10.1109/MILCOM61039.2024.10773812
Web of Science:
001419571100122
2024
Neuro-Symbolic Program Synthesis for Multi-Hop Natural Language Navigation
. 114-117.
Full Text via DOI:
10.1109/ICAA64256.2024.00027
2024
Neuro-symbolic Generative AI Assistant for System Design
. 75-76.
Full Text via DOI:
10.1109/MEMOCODE63347.2024.00023
Web of Science:
001411691000009
2024
READ-based In-Memory Computing using Sentential Decision Diagrams
. 818-823.
Full Text via DOI:
10.1109/ASP-DAC58780.2024.10473963
Web of Science:
001196002900131
2024
Solving Mystery Planning Problems Using Category Theory, Functors, and Large Language Models
. 118-121.
Full Text via DOI:
10.1109/ICAA64256.2024.00028
2024
Towards Area-Efficient Path-Based In-Memory Computing using Graph Isomorphisms
. 812-817.
Full Text via DOI:
10.1109/ASP-DAC58780.2024.10473850
Web of Science:
001196002900130
2023
Adversarial Pixel and Patch Detection Using Attribution Analysis
Full Text via DOI:
10.1109/MILCOM58377.2023.10356375
Web of Science:
001156887600121
2023
Attribution-Based Confidence Metric for Detection of Adversarial Attacks on Breast Histopathological Images
.
DISTRIBUTED COMPUTING (DISC 2014)
. 501-516.
Full Text via DOI:
10.1007/978-3-031-25056-9_32
2023
Automated Synthesis for In-Memory Computing
.
2015 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD)
.
Full Text via DOI:
10.1109/ICCAD57390.2023.10323667
Web of Science:
001116715100031
2023
Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving
Full Text via DOI:
10.1109/MILCOM58377.2023.10356332
Web of Science:
001156887600158
2023
Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting
. 149-152.
Full Text via DOI:
10.1109/ICAA58325.2023.00029
Web of Science:
001050787900021
2023
Discovering the In-Memory Kernels of 3D Dot-Product Engines
. 240-245.
Full Text via DOI:
10.1145/3566097.3567855
Web of Science:
000981940000043
2023
FLOW-3D: Flow-Based Computing on 3D Nanoscale Crossbars with Minimal Semiperimeter
. 775-780.
Full Text via DOI:
10.1145/3566097.3567937
Web of Science:
000981940000127
2023
Input-Aware Flow-Based In-Memory Computing
. 523-530.
Full Text via DOI:
10.1109/ICCD58817.2023.00086
Web of Science:
001146866200075
2023
Neural SDEs for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions
Full Text via DOI:
10.1109/MILCOM58377.2023.10356358
Web of Science:
001156887600112
2023
Path-based Processing using In-Memory Systolic Arrays for Accelerating Data-Intensive Applications
.
2015 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD)
.
Full Text via DOI:
10.1109/ICCAD57390.2023.10323622
Web of Science:
001116715100009
2023
UpTime: Towards Flow-based In-Memory Computing with High Fault-Tolerance
Full Text via DOI:
10.1109/DAC56929.2023.10247692
Web of Science:
001073487300032
2023
Verification of Flow-Based Computing Systems Using Bounded Model Checking
.
2015 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD)
.
Full Text via DOI:
10.1109/ICCAD57390.2023.10323708
Web of Science:
001116715100058
2022
Comparison of Different-Image Fusion Techniques in Wavelet Domain
. 1-6.
Full Text via DOI:
10.1109/upcon56432.2022.9986490
2022
A Survey on Reinforcement Learning based Adaptive Optimal Control Design
. 254-260.
Full Text via DOI:
10.1109/icsc56524.2022.10009252
2022
Deep Learning Toolkit-Driven Equivalence Checking of Flow-Based Computing Systems
. 50-53.
Full Text via DOI:
10.1109/AICAS54282.2022.9869979
Web of Science:
000859273200014
2022
Equivalence Checking for Flow-Based Computing
. 656-663.
Full Text via DOI:
10.1109/ICCD56317.2022.00101
Web of Science:
000925873100090
2022
ExplainIt! A Tool for Computing Robust Attributions of DNNs
. 5916-5919.
Web of Science:
001202342306009
2022
Hybrid Digital-Digital In-Memory Computing
. 1177-1180.
Web of Science:
000819484300222
2022
Logic Synthesis for Digital In-Memory Computing
.
2015 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD)
.
Full Text via DOI:
10.1145/3508352.3549348
Web of Science:
000981574300089
2022
PATH: Evaluation of Boolean Logic using Path-based In-Memory Computing
. 1129-1134.
Full Text via DOI:
10.1145/3489517.3530596
Web of Science:
001041471300188
2022
STREAM: Towards READ-based In-Memory Computing for Streaming based Data Processing
. 690-695.
Web of Science:
001228322500117
2022
Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations
. 9567-9574.
Web of Science:
000893639102066
2022
Towards Resilient Analog In-Memory Deep Learning via Data Layout Re-Organization
. 859-864.
Full Text via DOI:
10.1145/3489517.3530532
Web of Science:
001041471300144
2021
Accelerating AI Applications using Analog In-Memory Computing: Challenges and Opportunities
. 379-384.
Full Text via DOI:
10.1145/3453688.3461746
2021
Adversarial Attacks against AI-driven Experimental Peptide Design Workflows
. 30-35.
Full Text via DOI:
10.1109/XLOOP54565.2021.00010
Web of Science:
000758608400005
2021
Automated Synthesis of Quantum Circuits using Symbolic Abstractions and Decision Procedures
Full Text via DOI:
10.1109/ISCAS51556.2021.9401587
Web of Science:
000706507900110
2021
Automated synthesis of memristor crossbars using deep neural networks
. 345-357.
Full Text via DOI:
10.1007/978-981-15-5679-1_32
2021
COMPACT: Flow-Based Computing on Nanoscale Crossbars with Minimal Semiperimeter
. 232-237.
Full Text via DOI:
10.23919/DATE51398.2021.9473995
Web of Science:
000805289900044
2021
Hybrid Analog-Digital In-Memory Computing
.
2015 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD)
.
Full Text via DOI:
10.1109/ICCAD51958.2021.9643526
Web of Science:
000747493600091
2021
On Smoother Attributions using Neural Stochastic Differential Equations
. 522-528.
Web of Science:
001202335500073
2020
Adversarial Attack on Deepfake Detection Using RL Based Texture Patches
.
DISTRIBUTED COMPUTING (DISC 2014)
. 220-235.
Full Text via DOI:
10.1007/978-3-030-66415-2_14
2020
DP-MAP: Towards Resistive Dot-Product Engines with Improved Precision
.
2015 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD)
.
Full Text via DOI:
10.1145/3400302.3415683
Web of Science:
000671087100146
2020
Detecting Deepfake Videos using Attribution-Based Confidence Metric
. 1250-1259.
Full Text via DOI:
10.1109/CVPRW50498.2020.00162
Web of Science:
000788279001041
2019
Input-Aware Flow-Based Computing on Memristor Crossbars With Applications to Edge Detection
. 580-591.
Full Text via DOI:
10.1109/JETCAS.2019.2933774
Web of Science:
000487198700014
2019
Attribution-Based Confidence Metric For Deep Neural Networks
Web of Science:
000535866903046
2019
Data-driven Approximate Edge Detection using Flow-based Computing on Memristor Crossbars
Full Text via DOI:
10.1109/ans47466.2019.8963745
Web of Science:
000540919300008
2019
Directed Adversarial Attacks on Fingerprints using Attributions
Web of Science:
000542138900018
2019
On the susceptibility of deep neural networks to natural perturbations
2019
Predicting Heart Rate Variations of Deepfake Videos using Neural ODE
. 1721-1729.
Full Text via DOI:
10.1109/ICCVW.2019.00213
Web of Science:
000554591601095
2019
Towards ai-driven predictive modeling of turbines using big data
Full Text via DOI:
10.2514/6.2019-4385
2018
Memory-Efficient Filter Based Novel Policy Iteration Technique for Adaptive LQR
. 4963-4968.
Full Text via DOI:
10.23919/acc.2018.8431061
2018
3D Crosspoint Memory as a Parallel Architecture for Computing Network Reachability
. 171-178.
Full Text via DOI:
10.1109/ICCD.2018.00035
Web of Science:
000458293200024
2018
Brief Announcement: Parallel Transitive Closure Within 3D Crosspoint Memory
. 95-98.
Full Text via DOI:
10.1145/3210377.3210657
Web of Science:
000545269600012
2018
Calibration of Rule-Based Stochastic Biochemical Models using Statistical Model Checking
. 179-184.
Web of Science:
000458654000033
2018
Free BDD based CAD of Compact Memristor Crossbars for in-Memory Computing
. 107-113.
Full Text via DOI:
10.1145/3232195.3232222
Web of Science:
000457790100020
2018
In-Memory Computing Using Paths-Based Logic and Heterogeneous Components
. 1512-1515.
Web of Science:
000435148800285
2018
Parameter Estimation of Stochastic Biochemical Models using Multiple Hypothesis Testing
Web of Science:
000519105800003
2018
Predicting Success in Undergraduate Parallel Programming via Probabilistic Causality Analysis
. 347-352.
Full Text via DOI:
10.1109/IPDPSW.2018.00066
Web of Science:
000541051600042
2018
SATYA: Defending Against Adversarial Attacks Using Statistical Hypothesis Testing
.
DISTRIBUTED COMPUTING (DISC 2014)
. 277-292.
Full Text via DOI:
10.1007/978-3-319-75650-9_18
Web of Science:
000455448700018
2017
In-memory execution of compute kernels using flow-based memristive crossbar computing
. 1-6.
Full Text via DOI:
10.1109/ICRC.2017.8123643
2017
Adversarial attacks on computer vision algorithms using natural perturbations
. 1-6.
Full Text via DOI:
10.1109/IC3.2017.8284294
2017
A Compact 8-bit Adder Design using In-Memory Memristive Computing: Towards Solving the Feynman Grand Prize Challenge
. 67-72.
Web of Science:
000427098100014
2017
Adversarial Attacks on Computer Vision Algorithms using Natural Perturbations
. 55-60.
Web of Science:
000425895300010
2017
Automated synthesis of compact crossbars for sneak-path based in-memory computing
. 770-775.
Web of Science:
000404171500145
2017
Calibration of Stochastic Biochemical Models against Behavioral Temporal Logic Specifications
Web of Science:
000428508600003
2017
Computation of Boolean Matrix Chain Products in 3D ReRAM
. 2643-2646.
Web of Science:
000439261800175
2017
Design of Compact Memristive In-Memory Computing Systems using Model Counting
. 2655-2658.
Web of Science:
000439261800178
2017
In-Memory Execution of Compute Kernels using Flow-based Memristive Crossbar Computing
. 69-74.
Web of Science:
000425037900013
2017
In-Memory Flow-Based Stochastic Computing on Memristor Crossbars using Bit-Vector Stochastic Streams
. 855-860.
Web of Science:
000434647500197
2017
Work-in-Progress: Testing Autonomous Cyber-Physical Systems using Fuzzing Features from Convolutional Neural Networks
Full Text via DOI:
10.1145/3125503.3125568
Web of Science:
000463897600001
2016
Automated Synthesis of Stochastic Computational Elements using Decision Procedures
. 1678-1681.
Web of Science:
000390094701209
2016
Flow-based Computing on Nanoscale Crossbars: Design and Implementation of Full Adders
. 1870-1873.
Web of Science:
000390094701255
2016
Integrating Symbolic and Statistical Methods for Testing Intelligent Systems Applications to Machine Learning and Computer Vision
. 786-791.
Web of Science:
000382679200143
2016
Parallel Boolean Matrix Multiplication in Linear Time using Rectifying Memristors
. 1874-1877.
Web of Science:
000390094702001
2016
The Cardinality-Constrained Paths Problem: Multicast Data Routing in Heterogeneous Communication Networks
. 126-130.
Web of Science:
000390674600024
2015
Automated Synthesis of Crossbars for Nanoscale Computing using Formal Methods
. 130-136.
Web of Science:
000380908200025
2015
Distributed Markov Chains
.
DISTRIBUTED COMPUTING (DISC 2014)
. 117-134.
Web of Science:
000354784200007
2015
Fault-Tolerant In-Memory Crossbar Computing using Quantified Constraint Solving
. 101-108.
Web of Science:
000370645200014
2015
SANJAY: Automatically Synthesizing Visualizations of Flow Cytometry Data using Decision Procedures
Web of Science:
000377899500018
2014
EpiSpec: A Formal Specification Language for Parameterized Agent-Based Models against Epidemiological Ground Truth
Web of Science:
000361057400016
2014
Parallel Computing using Memristive Crossbar Networks: Nullifying the Processor-Memory Bottleneck
. 147-152.
Web of Science:
000380469600028
2014
Parameter Discovery for Stochastic Computational Models in Systems Biology Using Bayesian Model Checking
Web of Science:
000361057400017
2014
Putting Humpty-Dumpty Together: Mining Causal Mechanistic Biochemical Models from Big Data
Web of Science:
000361057400006
2012
A computational metabolic model of the NG108-15 cell for High Content Drug Screening with electrophysiological readout
. 530-532.
Full Text via DOI:
10.1145/2382936.2383011
2012
Decision procedure based discovery of rare behaviors in stochastic differential equation models of biological systems
Full Text via DOI:
10.1109/ICCABS.2012.6182635
2012
Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing
Full Text via DOI:
10.1109/ICCABS.2012.6182640
2012
Quantifying Uncertainty in Epidemiological Models
. 80-85.
Full Text via DOI:
10.1109/BioMedCom.2012.20
Web of Science:
000323455700014
2011
Exploring behaviors of SDE models of biological systems using change of measures
. 111-116.
Full Text via DOI:
10.1109/ICCABS.2011.5729862
2011
When to Ston Verification?
. 1-6.
Full Text via DOI:
10.1109/date.2011.5763210
2011
Poster: Synthesis of Biochemical Models
. 248-248.
Full Text via DOI:
10.1109/iccabs.2011.5729901
2011
When to Stop Verification? Statistical Trade-off between Expected Loss and Simulation Cost
. 1309-1314.
Web of Science:
000410278900251
2009
Symbolic approaches for finding control strategies in boolean networks
. 323-338.
Full Text via DOI:
10.1142/S0219720009004084
2009
A Bayesian Approach to Model Checking Biological Systems
.
DISTRIBUTED COMPUTING (DISC 2014)
. 218-+.
Web of Science:
000276319600015
2008
Symbolic approaches for finding control strategies in Boolean Networks
. 307-320.
2008
A counterexample-guided approach to parameter synthesis for linear hybrid automata
.
DISTRIBUTED COMPUTING (DISC 2014)
. 187-+.
Web of Science:
000254857900014
2008
Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata
. 147-+.
Full Text via DOI:
10.1109/HASE.2008.38
Web of Science:
000263156000015
2008
Randomization Based Probabilistic Approach to Detect Trojan Circuits
. 117-+.
Full Text via DOI:
10.1109/HASE.2008.37
Web of Science:
000263156000012
2008
Statistical Model Checking in
BioLab
: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway
.
DISTRIBUTED COMPUTING (DISC 2014)
. 231-+.
Web of Science:
000260924200015
2008
d-IRA: A distributed reachability algorithm for analysis of linear hybrid automata
.
DISTRIBUTED COMPUTING (DISC 2014)
. 618-621.
Web of Science:
000254857900048
2007
Verification of object relational maps
. 283-292.
Full Text via DOI:
10.1109/SEFM.2007.45
2007
Predicting protein folding kinetics via temporal logic model checking
.
DISTRIBUTED COMPUTING (DISC 2014)
. 252-264.
Full Text via DOI:
10.1007/978-3-540-74126-8_24
2007
Predicting protein folding kinetics via temporal logic model checking (Extended abstract)
.
DISTRIBUTED COMPUTING (DISC 2014)
. 252-+.
Web of Science:
000249739200023
2007
Reachability for linear hybrid automata using iterative relaxation abstraction
.
DISTRIBUTED COMPUTING (DISC 2014)
. 287-+.
Web of Science:
000246007000021
2007
Verification of object relational maps
. 283-292.
Full Text via DOI:
10.1109/SEFM.2007.39
Web of Science:
000251162400029
2006
Model checking for fault explanation
. 404-409.
Full Text via DOI:
10.1109/cdc.2006.377556
2006
Model checking for fault explanation
. 405-+.
Web of Science:
000252251604144
2005
Refining abstractions of hybrid systems using counterexample fragments
.
DISTRIBUTED COMPUTING (DISC 2014)
. 242-257.
Web of Science:
000229036300016
Editorial Material
2021
Preface
.
DISTRIBUTED COMPUTING (DISC 2014)
. v.
Other Scholarly Work
2024
Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its Decision
. 5289-5297.
Web of Science:
001239936300022
2021
Special Issue: 10th International Computational Advances in Bio and Medical Sciences (ICCABS 2020)
.
JOURNAL OF COMPUTATIONAL BIOLOGY
. 1033-1034.
Full Text via DOI:
10.1089/cmb.2021.29048.skj
Web of Science:
001087738500001
Preprint
2024
AutoSafeCoder: A Multi-Agent Framework for Securing LLM Code Generation through Static Analysis and Fuzz Testing
2024
Jailbreaking Large Language Models with Symbolic Mathematics
2024
NSP: A Neuro-Symbolic Natural Language Navigational Planner
2024
Improving Robustness of Spectrogram Classifiers with Neural Stochastic Differential Equations
2024
Data Augmentation for Image Classification using Generative AI
2024
Towards a Game-theoretic Understanding of Explanation-based Membership Inference Attacks
Full Text via DOI:
10.48550/arxiv.2404.07139
2023
Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning
Full Text via DOI:
10.48550/arxiv.2310.19137
2023
Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving
2023
Neural Stochastic Differential Equations for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions
2023
Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its Decision
2023
On the Robustness of AlphaFold: A COVID-19 Case Study
Full Text via DOI:
10.48550/arxiv.2301.04093
2022
FAT-PIM: Low-Cost Error Detection for Processing-In-Memory
2022
A Game-theoretic Understanding of Repeated Explanations in ML Models
Full Text via DOI:
10.48550/arxiv.2202.02659
2021
Protein Folding Neural Networks Are Not Robust
2021
CrossedWires: A Dataset of Syntactically Equivalent but Semantically Disparate Deep Learning Models
2020
An Extension of Fano's Inequality for Characterizing Model Susceptibility to Membership Inference Attacks
2020
Quantifying Membership Inference Vulnerability via Generalization Gap and Other Model Metrics
2019
Attribution-driven Causal Analysis for Detection of Adversarial Examples
2014
Distributed Markov Chains
Full Text via DOI:
10.48550/arxiv.1408.0979
Report
Statistical Hypothesis Testing using CNN Features for Synthesis of Adversarial Counterexamples to Human and Object Detection Vision Systems
Full Text via DOI:
10.2172/1361358
Review
2022
A survey on the vulnerability of deep neural networks against adversarial attacks
. 131-141.
Full Text via DOI:
10.1007/s13748-021-00269-9
Web of Science:
000742996400001
Research
principal investigator on
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
awarded by
National Science Foundation
2023 - 2027
INSTA-AI: Integrating Neural Representation and their Symbolic Twins for Assured AI
awarded by
U.S. DOD/Defense Advanced Research Proj
2023 - 2027
Mobilizing the Emerging Diverse AI Talent (MEDAL) through Design and Automated Control of Autonomous Scientific Laboratories
awarded by
U.S. Department of Energy
2023 - 2026
AI-CRAFT: Artificial Intelligence Cybersecurity Readiness and Future Training
awarded by
U.S. DOD/Defense Advanced Research Proj
2023 - 2025
RLCAP: Explaining RL using Logical Rules, Constraints, Automata and Program Synthesis
awarded by
U.S. Air Force Research Laboratory
2023 - 2025
PolySAT: Solving for Polyglots using Satisfiability Solving and Automated Abstractions
awarded by
U.S. Air Force Research Laboratory
2023 - 2025
Collaborative Research: SPX: Collaborative Research: Automated Synthesis of Extreme-Scale Computing Systems Using Non-Volatile Memory
awarded by
National Science Foundation
2023 - 2024
Robust Explanations using Diverse Adversarially Trained Ensembles, Multi-Modal Contrastive Learning, and Attribution-based Confidence Metrics
awarded by
U.S. Department of Energy
2023 - 2024
Attributions and Learning Dynamics based Adaptive Defense and Robustness Metric (ALARM)
awarded by
U.S. DOD/Defense Advanced Research Proj
2023 - 2024
Contact
full name
Sumit
Jha
Identifiers
ORCID iD
https://orcid.org/0000-0003-0354-2940
(confirmed)
visualizations
Co-author Network
Co-investigator Network
Map of Science