Temporal Logic Model Checking. - Edmund M. Clarke; Ansgar Fehnker; Sumit Kumar Jha 001; Helmut Veith (Handbook of Networked and Embedded Control Systems, 2005)

Refining Abstractions of Hybrid Systems Using Counterexample Fragments. - Ansgar Fehnker; Edmund M. Clarke; Sumit Kumar Jha 001; Bruce H. Krogh (HSCC, 2005)

Model Checking For Fault Explanation. - Shengbing Jiang; Thomas E. Fuhrman; Sumit Kumar Jha 001 (CDC, 2006)

Numerical Simulation guided Lazy Abstraction Refinement for Nonlinear Hybrid Automata - Sumit Kumar Jha 001 (CoRR, 2006)

Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction. - Sumit Kumar Jha 001; Bruce H. Krogh; James E. Weimer; Edmund M. Clarke (HSCC, 2007)

Verification of Object Relational Maps. - Krishna K. Mehra; Sriram K. Rajamani; A. Prasad Sistla; Sumit Kumar Jha 001 (SEFM, 2007)

Predicting Protein Folding Kinetics Via Temporal Logic Model Checking. - Christopher James Langmead; Sumit Kumar Jha 001 (WABI, 2007)

Design of a Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata - Sumit Kumar Jha 001 (CoRR, 2007)

Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway. - Edmund M. Clarke; James R. Faeder; Christopher James Langmead; Leonard A. Harris; Sumit Kumar Jha 001; Axel Legay (CMSB, 2008)

Randomization Based Probabilistic Approach to Detect Trojan Circuits. - Susmit Jha; Sumit Kumar Jha 001 (HASE, 2008)

Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking. - Sumit Kumar Jha 001; Susmit Jha (HASE, 2008)

A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. - Goran Frehse; Sumit Kumar Jha 001; Bruce H. Krogh (HSCC, 2008)

d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata. - Sumit Kumar Jha 001 (HSCC, 2008)

A Bayesian Approach to Model Checking Biological Systems. - Sumit Kumar Jha 001; Edmund M. Clarke; Christopher James Langmead; Axel Legay; André Platzer; Paolo Zuliani (CMSB, 2009)

Symbolic Approaches for Finding Control Strategies in Boolean Networks. - Christopher James Langmead; Sumit Kumar Jha 001 (J. Bioinform. Comput. Biol., 2009)

Model Validation and Discovery for Complex Stochastic Systems. - Sumit Kumar Jha 001 (2010)

When to stop verification?: Statistical trade-off between expected loss and simulation cost. - Sumit Kumar Jha 001; Christopher James Langmead; Swarup Mohalik; S. Ramesh 002 (DATE, 2011)

Exploring behaviors of SDE models of biological systems using change of measures. - Sumit Kumar Jha 001; Christopher James Langmead (ICCABS, 2011)

Poster: Synthesis of biochemical models. - Sumit Kumar Jha 001; Christopher James Langmead (ICCABS, 2011)

Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement. - Sumit Kumar Jha 001; Christopher James Langmead (Theor. Comput. Sci., 2011)

A computational metabolic model of the NG108-15 cell for high content drug screening with electrophysiological readout. - Aditya Reddy Kolli; Frank Sommerhage; Peter Molnar; Jonathan E. Hood; Jerry J. Jenkins; Faraz Hussain 001; Arup K. Ghosh; Sumit Kumar Jha 001; James J. Hickman (BCB, 2012)

Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systems. - Arup K. Ghosh; Faraz Hussain 001; Sumit Kumar Jha 001; Christopher James Langmead; Susmit Jha (ICCABS, 2012)

Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing. - Faraz Hussain 001; Raj Gautam Dutta; Sumit Kumar Jha 001; Christopher James Langmead; Susmit Jha (ICCABS, 2012)

Exploring behaviors of stochastic differential equation models of biological systems using change of measures. - Sumit Kumar Jha 001; Christopher James Langmead (BMC Bioinform., 2012)

Synthesis of insulin pump controllers from safety specifications using Bayesian model validation. - Sumit Kumar Jha 001; Raj Gautam Dutta; Christopher James Langmead; Susmit Jha; Emily Sassano (Int. J. Bioinform. Res. Appl., 2012)

Human tracking from a mobile agent: Optical flow and Kalman filter arbitration. - Yuichi Motai; Sumit Kumar Jha 001; Daniel Kruse (Signal Process. Image Commun., 2012)

Parameter discovery for stochastic computational models in systems biology using Bayesian model checking. - Faraz Hussain 001; Christopher James Langmead; Qi Mi; Joyeeta Dutta-Moscato; Yoram Vodovotz; Sumit Kumar Jha 001 (ICCABS, 2014)

EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truth. - Faraz Hussain 001; Arvind Ramanathan; Laura L. Pullum; Sumit Kumar Jha 001 (ICCABS, 2014)

Putting humpty-dumpty together: Mining causal mechanistic biochemical models from big data. - Faraz Hussain 001; Alvaro Velasquez; Emily Sassano; Sumit Kumar Jha 001 (ICCABS, 2014)

Parallel computing using memristive crossbar networks: Nullifying the processor-memory bottleneck. - Alvaro Velasquez; Sumit Kumar Jha 001 (IDT, 2014)

Distributed Markov Chains. - Sumit Kumar Jha 001; Madhavan Mukund; Ratul Saha; P. S. Thiagarajan (CoRR, 2014)

Discovering rare behaviours in stochastic differential equations using decision procedures: applications to a minimal cell cycle model. - Arup Kumar Ghosh; Faraz Hussain 001; Susmit Jha; Christopher James Langmead; Sumit Kumar Jha 001 (Int. J. Bioinform. Res. Appl., 2014)

Parameter discovery in stochastic biological models using simulated annealing and statistical model checking. - Faraz Hussain 001; Sumit Kumar Jha 001; Susmit Jha; Christopher James Langmead (Int. J. Bioinform. Res. Appl., 2014)

SANJAY: Automatically synthesizing visualizations of flow cytometry data using decision procedures. - Faraz Hussain 001; Zubir Husein; Neslisah Torosdagli; Narsingh Deo; Sumanta N. Pattanaik; Chung-Che Chang; Sumit Kumar Jha 001 (ICCABS, 2015)

Fault-tolerant in-memory crossbar computing using quantified constraint solving. - Alvaro Velasquez; Sumit Kumar Jha 001 (ICCD, 2015)

Automated synthesis of crossbars for nanoscale computing using formal methods. - Alvaro Velasquez; Sumit Kumar Jha 001 (NANOARCH, 2015)

Distributed Markov Chains. - Ratul Saha; Javier Esparza; Sumit Kumar Jha 001; Madhavan Mukund; P. S. Thiagarajan (VMCAI, 2015)

Automated parameter estimation for biological models using Bayesian statistical model checking. - Faraz Hussain 001; Christopher J. Langmead; Qi Mi; Joyeeta Dutta-Moscato; Yoram Vodovotz; Sumit Kumar Jha 001 (BMC Bioinform., 2015)

Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision. - Arvind Ramanathan; Laura L. Pullum; Faraz Hussain 001; Dwaipayan Chakrabarty; Sumit Kumar Jha 001 (DATE, 2016)

Flow-based computing on nanoscale crossbars: Design and implementation of full adders. - Zahiruddin Alamgir; Karsten Beckmann; Nathaniel C. Cady; Alvaro Velasquez; Sumit Kumar Jha 001 (ISCAS, 2016)

Automated synthesis of stochastic computational elements using decision procedures. - Amad Ul Hassen; Brigadesh Chandrasekar; Sumit Kumar Jha 001 (ISCAS, 2016)

Parallel boolean matrix multiplication in linear time using rectifying memristors. - Alvaro Velasquez; Sumit Kumar Jha 001 (ISCAS, 2016)

The cardinality-constrained paths problem: Multicast data routing in heterogeneous communication networks. - Alvaro Velasquez; Piotr Wojciechowski 002; K. Subramani 001; Steven L. Drager 001; Sumit Kumar Jha 001 (NCA, 2016)

Automated synthesis of compact crossbars for sneak-path based in-memory computing. - Dwaipayan Chakraborty; Sumit Kumar Jha 001 (DATE, 2017)

Testing autonomous cyber-physical systems using fuzzing features from convolutional neural networks: work-in-progress. - Sunny Raj; Sumit Kumar Jha 001; Arvind Ramanathan; Laura L. Pullum (EMSOFT Companion, 2017)

SATYA : Defending Against Adversarial Attacks Using Statistical Hypothesis Testing. - Sunny Raj; Laura Pullum; Arvind Ramanathan; Sumit Kumar Jha 001 (FPS, 2017)

Adversarial attacks on computer vision algorithms using natural perturbations. - Arvind Ramanathan; Laura L. Pullum; Zubir Husein; Sunny Raj; Neslisah Torosdagli; Sumanta N. Pattanaik; Sumit Kumar Jha 001 (IC3, 2017)

Calibration of stochastic biochemical models against behavioral temporal logic specifications. - Sumit Kumar Jha 001; Arfeen Khalid (ICCABS, 2017)

In-Memory Execution of Compute Kernels Using Flow-Based Memristive Crossbar Computing. - Dwaipayan Chakraborty; Sunny Raj; Julio Cesar Gutierrez; Troyle Thomas; Sumit Kumar Jha 001 (ICRC, 2017)

Design of compact memristive in-memory computing systems using model counting. - Dwaipayan Chakraborty; Sumit Kumar Jha 001 (ISCAS, 2017)

Computation of Boolean matrix chain products in 3D ReRAM. - Alvaro Velasquez; Sumit Kumar Jha 001 (ISCAS, 2017)

A compact 8-bit adder design using in-memory memristive computing: Towards solving the Feynman Grand Prize challenge. - Dwaipayan Chakraborty; Sunny Raj; Sumit Kumar Jha 001 (NANOARCH, 2017)

A theorem proving approach for automatically synthesizing visualizations of flow cytometry data. - Sunny Raj; Faraz Hussain 001; Zubir Husein; Neslisah Torosdagli; Damla Turgut; Narsingh Deo; Sumanta N. Pattanaik; Chung-Che Jeff Chang; Sumit Kumar Jha 001 (BMC Bioinform., 2017)

Calibration of Rule-Based Stochastic Biochemical Models using Statistical Model Checking. - Arfeen Khalid; Sumit Kumar Jha 001 (BIBM, 2018)

In-memory computing using paths-based logic and heterogeneous components. - Alvaro Velasquez; Sumit Kumar Jha 001 (DATE, 2018)

Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems. - Susmit Jha; Sunny Raj; Sumit Kumar Jha 001; Natarajan Shankar (FORMATS, 2018)

Parameter Estimation of Stochastic Biochemical Models using Multiple Hypothesis Testing. - Arfeen Khalid; Sumit Kumar Jha 001 (ICCABS, 2018)

3D Crosspoint Memory as a Parallel Architecture for Computing Network Reachability. - Alvaro Velasquez; Sumit Kumar Jha 001 (ICCD, 2018)

Predicting Success in Undergraduate Parallel Programming via Probabilistic Causality Analysis. - Sunny Raj; Sumit Kumar Jha 001 (IPDPS Workshops, 2018)

Free BDD based CAD of Compact Memristor Crossbars for in-Memory Computing. - Amad Ul Hassen; Salman Anwar Khokhar; Haseeb Aslam Butt; Sumit Kumar Jha 001 (NANOARCH, 2018)

Brief Announcement: Parallel Transitive Closure Within 3D Crosspoint Memory. - Alvaro Velasquez; Sumit Kumar Jha 001 (SPAA, 2018)

Free Binary Decision Diagram-Based Synthesis of Compact Crossbars for In-Memory Computing. - Amad Ul Hassen; Dwaipayan Chakraborty; Sumit Kumar Jha 001 (IEEE Trans. Circuits Syst. II Express Briefs, 2018)

Directed Adversarial Attacks on Fingerprints using Attributions. - Steven Lawrence Fernandes; Sunny Raj; Eddy Ortiz; Iustina Vintila; Sumit Kumar Jha 001 (ICB, 2019)

Predicting Heart Rate Variations of Deepfake Videos using Neural ODE. - Steven Lawrence Fernandes; Sunny Raj; Eddy Ortiz; Iustina Vintila; Margaret Salter; Gordana Urosevic; Sumit Kumar Jha 001 (ICCV Workshops, 2019)

On the Susceptibility of Deep Neural Networks to Natural Perturbations. - Mesut Ozdag; Sunny Raj; Steven Lawrence Fernandes; Alvaro Velasquez; Laura Pullum; Sumit Kumar Jha 001 (AISafety@IJCAI, 2019)

Attribution-Based Confidence Metric For Deep Neural Networks. - Susmit Jha; Sunny Raj; Steven Lawrence Fernandes; Sumit Kumar Jha 001; Somesh Jha; Brian Jalaian; Gunjan Verma; Ananthram Swami (NeurIPS, 2019)

Attribution-driven Causal Analysis for Detection of Adversarial Examples. - Susmit Jha; Sunny Raj; Steven Lawrence Fernandes; Sumit Kumar Jha 001; Somesh Jha; Gunjan Verma; Brian Jalaian; Ananthram Swami (CoRR, 2019)

Input-Aware Flow-Based Computing on Memristor Crossbars With Applications to Edge Detection. - Dwaipayan Chakraborty; Sunny Raj; Steven Lawrence Fernandes; Sumit Kumar Jha 001 (IEEE J. Emerg. Sel. Topics Circuits Syst., 2019)

Detecting Deepfake Videos using Attribution-Based Confidence Metric. - Steven Lawrence Fernandes; Sunny Raj; Rickard Ewetz; Jodh Singh Pannu; Sumit Kumar Jha 001; Eddy Ortiz; Iustina Vintila; Margaret Salter (CVPR Workshops, 2020)

Adversarial Attack on Deepfake Detection Using RL Based Texture Patches. - Steven Lawrence Fernandes; Sumit Kumar Jha 001 (ECCV Workshops (1), 2020)

Automated Synthesis of Memristor Crossbars Using Deep Neural Networks. - Dwaipayan Chakraborty; Andy Michel; Jodh S. Pannu; Sunny Raj; Suresh Chandra Satapathy; Steven Lawrence Fernandes; Sumit Kumar Jha 001 (FICTA (2), 2020)

DP-MAP: Towards Resistive Dot-Product Engines with Improved Precision. - Necati Uysal; Baogang Zhang; Sumit Kumar Jha 001; Rickard Ewetz (ICCAD, 2020)

Quantifying Membership Inference Vulnerability via Generalization Gap and Other Model Metrics. - Jason W. Bentley; Daniel Gibney; Gary Hoppenworth; Sumit Kumar Jha 001 (CoRR, 2020)

An Extension of Fano's Inequality for Characterizing Model Susceptibility to Membership Inference Attacks. - Sumit Kumar Jha 001; Susmit Jha; Rickard Ewetz; Sunny Raj; Alvaro Velasquez; Laura L. Pullum; Ananthram Swami (CoRR, 2020)

Attacking NIST biometric image software using nonlinear optimization. - Sunny Raj; Jodh S. Pannu; Steven Lawrence Fernandes; Arvind Ramanathan; Laura L. Pullum; Sumit Kumar Jha 001 (Pattern Recognit. Lett., 2020)

Design and Fabrication of Flow-Based Edge Detection Memristor Crossbar Circuits1. - Jodh S. Pannu; Sunny Raj; Steven Lawrence Fernandes; Dwaipayan Chakraborty; Sarah Rafiq; Nathaniel C. Cady; Sumit Kumar Jha 001 (IEEE Trans. Circuits Syst. II Express Briefs, 2020)

COMPACT: Flow-Based Computing on Nanoscale Crossbars with Minimal Semiperimeter. - Sven Thijssen; Sumit Kumar Jha 001; Rickard Ewetz (DATE, 2021)

Accelerating AI Applications using Analog In-Memory Computing: Challenges and Opportunities. - Shravya Channamadhavuni; Sven Thijssen; Sumit Kumar Jha 001; Rickard Ewetz (ACM Great Lakes Symposium on VLSI, 2021)

Hybrid Analog-Digital In-Memory Computing. - Muhammad Rashedul Haq Rashed; Sumit Kumar Jha 001; Rickard Ewetz (ICCAD, 2021)

On Smoother Attributions using Neural Stochastic Differential Equations. - Sumit Kumar Jha 001; Rickard Ewetz; Alvaro Velasquez; Susmit Jha (IJCAI, 2021)

Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and Decision Procedures. - Alvaro Velasquez; Sumit Kumar Jha 001; Rickard Ewetz; Susmit Jha (ISCAS, 2021)

Adversarial Attacks against AI-driven Experimental Peptide Design Workflows. - Arvind Ramanathan; Sumit Kumar Jha 001 (XLOOP@SC, 2021)

CrossedWires: A Dataset of Syntactically Equivalent but Semantically Disparate Deep Learning Models. - Max Zvyagin; Thomas S. Brettin; Arvind Ramanathan; Sumit Kumar Jha 001 (CoRR, 2021)

Protein Folding Neural Networks Are Not Robust. - Sumit Kumar Jha 001; Arvind Ramanathan; Rickard Ewetz; Alvaro Velasquez; Susmit Jha (CoRR, 2021)

Special Issue: 10th International Computational Advances in Bio and Medical Sciences (ICCABS 2020). - Sumit Kumar Jha 001; Ion I. Mandoiu; Sanguthevar Rajasekaran; Pavel Skums; Alexander Zelikovsky (J. Comput. Biol., 2021)

Investigation of ReRAM Variability on Flow-Based Edge Detection Computing Using HfO2-Based ReRAM Arrays. - Sarah Rafiq; Jubin Hazra; Maximilian Liehr; Karsten Beckmann; Minhaz Abedin; Jodh S. Pannu; Sumit Kumar Jha 001; Nathaniel C. Cady (IEEE Trans. Circuits Syst. I Regul. Pap., 2021)

Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations. - Sumit Kumar Jha 001; Rickard Ewetz; Alvaro Velasquez; Arvind Ramanathan; Susmit Jha (AAAI, 2022)

Deep Learning Toolkit-Driven Equivalence Checking of Flow-Based Computing Systems. - Suraj Singireddy; Rickard Ewetz; Sumit Kumar Jha 001 (AICAS, 2022)

STREAM: Towards READ-based In-Memory Computing for Streaming based Data Processing. - Muhammad Rashedul Haq Rashed; Sven Thijssen; Sumit Kumar Jha 001; Fan Yao; Rickard Ewetz (ASP-DAC, 2022)

Towards resilient analog in-memory deep learning via data layout re-organization. - Muhammad Rashedul Haq Rashed; Amro Awad; Sumit Kumar Jha 001; Rickard Ewetz (DAC, 2022)

PATH: evaluation of boolean logic using path-based in-memory computing. - Sven Thijssen; Sumit Kumar Jha 001; Rickard Ewetz (DAC, 2022)

Hybrid Digital-Digital In-Memory Computing. - Muhammad Rashedul Haq Rashed; Sumit Kumar Jha 001; Fan Yao; Rickard Ewetz (DATE, 2022)

Attribution-Based Confidence Metric for Detection of Adversarial Attacks on Breast Histopathological Images. - Steven Lawrence Fernandes; Senka Krivic; Poonam Sharma; Sumit Kumar Jha 001 (ECCV Workshops (1), 2022)

Logic Synthesis for Digital In-Memory Computing. - Muhammad Rashedul Haq Rashed; Sumit Kumar Jha 001; Rickard Ewetz (ICCAD, 2022)

Equivalence Checking for Flow-Based Computing. - Sven Thijssen; Sumit Kumar Jha 001; Rickard Ewetz (ICCD, 2022)

ExplainIt!: A Tool for Computing Robust Attributions of DNNs. - Sumit Kumar Jha 001; Alvaro Velasquez; Rickard Ewetz; Laura Pullum; Susmit Jha (IJCAI, 2022)

FAT-PIM: Low-Cost Error Detection for Processing-In-Memory. - Kazi Abu Zubair; Sumit Kumar Jha 001; David Mohaisen; Clayton Hughes; Amro Awad (CoRR, 2022)

A survey on the vulnerability of deep neural networks against adversarial attacks. - Andy Michel; Sumit Kumar Jha 001; Rickard Ewetz (Prog. Artif. Intell., 2022)

COMPACT: Flow-Based Computing on Nanoscale Crossbars With Minimal Semiperimeter and Maximum Dimension. - Sven Thijssen; Sumit Kumar Jha 001; Rickard Ewetz (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

XMAP: Programming Memristor Crossbars for Analog Matrix-Vector Multiplication: Toward High Precision Using Representable Matrices. - Necati Uysal; Baogang Zhang; Sumit Kumar Jha 001; Rickard Ewetz (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Discovering the in-Memory Kernels of 3D Dot-Product Engines. - Muhammad Rashedul Haq Rashed; Sumit Kumar Jha 001; Rickard Ewetz (ASP-DAC, 2023)

FLOW-3D: Flow-Based Computing on 3D Nanoscale Crossbars with Minimal Semiperimeter. - Sven Thijssen; Sumit Kumar Jha 001; Rickard Ewetz (ASP-DAC, 2023)

UpTime: Towards Flow-based In-Memory Computing with High Fault-Tolerance. - Sven Thijssen; Muhammad Rashedul Haq Rashed; Sumit Kumar Jha 001; Rickard Ewetz (DAC, 2023)

Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting. - Susmit Jha; Sumit Kumar Jha 001; Patrick Lincoln; Nathaniel D. Bastian; Alvaro Velasquez; Sandeep Neema (ICAA, 2023)

Automated Synthesis for In-Memory Computing. - Muhammad Rashedul Haq Rashed; Sven Thijssen; Sumit Kumar Jha 001; Rickard Ewetz (ICCAD, 2023)

Path-Based Processing using In-Memory Systolic Arrays for Accelerating Data-Intensive Applications. - Muhammad Rashedul Haq Rashed; Sven Thijssen; Sumit Kumar Jha 001; Hao Zheng 005; Rickard Ewetz (ICCAD, 2023)

Verification of Flow-Based Computing Systems Using Bounded Model Checking. - Sven Thijssen; Suraj Singireddy; Muhammad Rashedul Haq Rashed; Sumit Kumar Jha 001; Rickard Ewetz (ICCAD, 2023)

Input-Aware Flow-Based In-Memory Computing. - Suraj Singireddy; Muhammad Rashedul Haq Rashed; Sven Thijssen; Rickard Ewetz; Sumit Kumar Jha 001 (ICCD, 2023)

Neural SDEs for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions. - Sumit Kumar Jha 001; Susmit Jha; Rickard Ewetz; Alvaro Velasquez (MILCOM, 2023)

Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving. - Sumit Kumar Jha 001; Susmit Jha; Patrick Lincoln; Nathaniel D. Bastian; Alvaro Velasquez; Rickard Ewetz; Sandeep Neema (MILCOM, 2023)

Adversarial Pixel and Patch Detection Using Attribution Analysis. - Chase Walker; Dominic Simon; Sumit Kumar Jha 001; Rickard Ewetz (MILCOM, 2023)

On the Robustness of AlphaFold: A COVID-19 Case Study. - Ismail Alkhouri; Sumit Kumar Jha 001; Andre Beckus; George K. Atia; Alvaro Velasquez; Rickard Ewetz; Arvind Ramanathan; Susmit Jha (CoRR, 2023)

Neural Stochastic Differential Equations for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions. - Sumit Kumar Jha 001; Susmit Jha; Rickard Ewetz; Alvaro Velasquez (CoRR, 2023)

Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving. - Sumit Kumar Jha 001; Susmit Jha; Patrick Lincoln; Nathaniel D. Bastian; Alvaro Velasquez; Rickard Ewetz; Sandeep Neema (CoRR, 2023)

Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning. - Suraj Singireddy; Andre Beckus; George K. Atia; Sumit Kumar Jha 001; Alvaro Velasquez (CoRR, 2023)

STREAM: Toward READ-Based In-Memory Computing for Streaming-Based Processing for Data-Intensive Applications. - Muhammad Rashedul Haq Rashed; Sven Thijssen; Sumit Kumar Jha 001; Fan Yao; Rickard Ewetz (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its Decision. - Chase Walker; Sumit Kumar Jha 001; Kenny Chen; Rickard Ewetz (AAAI, 2024)

Towards Area-Efficient Path-Based In-Memory Computing using Graph Isomorphisms. - Sven Thijssen; Muhammad Rashedul Haq Rashed; Hao Zheng 005; Sumit Kumar Jha 001; Rickard Ewetz (ASPDAC, 2024)

READ-based In-Memory Computing using Sentential Decision Diagrams. - Sven Thijssen; Muhammad Rashedul Haq Rashed; Sumit Kumar Jha 001; Rickard Ewetz (ASPDAC, 2024)

On the Design of Novel Attention Mechanism for Enhanced Efficiency of Transformers. - Sumit Kumar Jha 001; Susmit Jha; Rickard Ewetz; Alvaro Velasquez (DAC, 2024)

Execution Sequence Optimization for Processing In-Memory using Parallel Data Preparation. - Muhammad Rashedul Haq Rashed; Sven Thijssen; Dominic Simon; Sumit Jha 001; Rickard Ewetz (DAC, 2024)

Synthesis of Compact Flow-based Computing Circuits from Boolean Expressions. - Sven Thijssen; Muhammad Rashedul Haq Rashed; Sumit Kumar Jha 001; Rickard Ewetz (DAC, 2024)

Towards a Game-Theoretic Understanding of Explanation-Based Membership Inference Attacks. - Kavita Kumari; Murtuza Jadliwala; Sumit Kumar Jha 001; Anindya Maiti (GameSec, 2024)

Solving Mystery Planning Problems Using Category Theory, Functors, and Large Language Models. - Sumit Kumar Jha 001; Susmit Jha; Rickard Ewetz; Alvaro Velasquez (ICAA, 2024)

Neuro-Symbolic Program Synthesis for Multi-Hop Natural Language Navigation. - William English; Dominic Simon; Md Rubel Ahmed; Sumit Kumar Jha 001; Rickard Ewetz (ICAA, 2024)

Equivalence Checking for Flow-Based Computing using Iterative SAT Solving. - Sven Thijssen; Muhammad Rashedul Haq Rashed; Md Rubel Ahmed; Suraj Singireddy; Sumit Kumar Jha 001; Rickard Ewetz (ICCAD, 2024)

NSP: A Neuro-Symbolic Natural Language Navigational Planner. - William English; Dominic Simon; Sumit Kumar Jha 001; Rickard Ewetz (ICMLA, 2024)

Out-of-Distribution Detection for Contrastive Models Using Angular Distance Measures. - M. Shifat Hossain; Sumit Kumar Jha 001; Chase Walker; Rickard Ewetz (ICMLA, 2024)

Neuro-symbolic Generative AI Assistant for System Design. - Susmit Jha; Sumit Kumar Jha 001; Alvaro Velasquez (MEMOCODE, 2024)

Co-Synthesis of Code and Formal Models Using Large Language Models and Functors. - Sumit Kumar Jha 001; Susmit Jha; Rickard Ewetz; Alvaro Velasquez (MILCOM, 2024)

Intelligence, Surveillance and Reconnaissance Task Specifications in Temporal Logics. - Laura L. Pullum; Sumit Kumar Jha 001; Rickard Ewetz (MILCOM, 2024)

AutoSafeCoder: A Multi-Agent Framework for Securing LLM Code Generation through Static Analysis and Fuzz Testing. - Ana Nunez; Nafis Tanveer Islam; Sumit Kumar Jha 001; Peyman Najafirad (CoRR, 2024)

Jailbreaking Large Language Models with Symbolic Mathematics. - Emet Bethany; Mazal Bethany; Juan Arturo Nolazco Flores; Sumit Kumar Jha 001; Peyman Najafirad (CoRR, 2024)

PATH: Evaluation of Boolean Logic Using Path-Based In-Memory Computing Systems. - Sven Thijssen; Muhammad Rashedul Haq Rashed; Sumit Kumar Jha 001; Rickard Ewetz (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Exploring the Predictive Capabilities of AlphaFold Using Adversarial Protein Sequences. - Ismail R. Alkhouri; Sumit Kumar Jha 001; Andre Beckus; George K. Atia; Susmit Jha; Rickard Ewetz; Alvaro Velasquez (IEEE Trans. Artif. Intell., 2024)

Explaining ViTs Using Information Flow. - Chase Walker; Md Rubel Ahmed; Sumit Kumar Jha 001; Rickard Ewetz (AISTATS, 2025)

Metric-Driven Attributions for Vision Transformers. - Chase Walker; Sumit Kumar Jha 001; Rickard Ewetz (ICLR, 2025)

Data Augmentation for Image Classification Using Generative AI. - Fazle Rahat; M. Shifat Hossain; Md Rubel Ahmed; Sumit Kumar Jha 001; Rickard Ewetz (WACV, 2025)

Zero-Shot Detection of Out-of-Context Objects Using Foundation Models. - Anirban Roy; Adam D. Cobb; Ramneet Kaur; Sumit Jha 001; Nathaniel D. Bastian; Alexander M. Berenbeim; Robert H. Thomson 001; Iain Cruickshank; Alvaro Velasquez; Susmit Jha (WACV, 2025)

LOGIC: Logic Synthesis for Digital In-Memory Computing. - Muhammad Rashedul Haq Rashed; Sven Thijssen; Sumit Jha 001; Rickard Ewetz (ACM Trans. Design Autom. Electr. Syst., 2025)

MORAL: A Multimodal Reinforcement Learning Framework for Decision Making in Autonomous Laboratories. - Natalie Tirabassi; Sathish A. P. Kumar; Sumit Jha 001; Arvind Ramanathan (CoRR, 2025)

Enhanced Penalty-based Bidirectional Reinforcement Learning Algorithms. - Sai Gana Sandeep Pula; Sathish A. P. Kumar; Sumit Jha 001; Arvind Ramanathan (CoRR, 2025)

DML-RAM: Deep Multimodal Learning Framework for Robotic Arm Manipulation using Pre-trained Models. - Sathish Kumar; Swaroop Damodaran; Naveen Kumar Kuruba; Sumit Jha 001; Arvind Ramanathan (CoRR, 2025)

ACE-RLHF: Automated Code Evaluation and Socratic Feedback Generation Tool using Large Language Models and Reinforcement Learning with Human Feedback. - Tasnia Rahman; Sathish A. P. Kumar; Sumit Kumar Jha 001; Arvind Ramanathan (CoRR, 2025)

Circuit Partitioning Using Large Language Models for Quantum Compilation and Simulations. - Pranav Sinha; Sumit Kumar Jha 001; Sunny Raj (CoRR, 2025)

PATCHOUT: Adversarial Patch Detection and Localization using Semantic Consistency. - Dominic Simon; Sumit Jha 001; Rickard Ewetz (Neural Process. Lett., 2025)

Verifiable Natural Language to Linear Temporal Logic Translation: A Benchmark Dataset and Evaluation Suite. - William English; Chase Walker; Dominic Simon; Sumit Kumar Jha 001; Rickard Ewetz (CoRR, 2025)